"Go To Error Shift-Ctrl-E" does not work in W32-port

Sergey R. Grigoriev Serguei.Grigoriev@Physik.Uni-Augsburg.DE
Tue Jul 25 06:25:00 GMT 2000


Hallo,

"Go To Error Shift-Ctrl-E" does not work in W32-port - cursor shows
"busy" and a little bit later "arrow", but nothing happens...

Serge


More information about the Sourcenav mailing list