[gps-users] Locations view - navigation

[Gautier de Montmollin]

Hello,

The Locations view is very handy, especially the magic wrench.

I miss the unambiguous keyboard shortcuts in AdaGIDE, that allow(ed) to
jump to next/previous error/warning even with the focus on an editor window.
Do other people have the same impression ?
A small panel with buttons like a media player would be nice (First,
Previous error, Previous, Next, Next error, Last). The Previous error /
Next error would jump over the "warning:"'s and "(style)"'s. The mentioned
shortcuts as well (Alt-down, Alt-up).
NB: in the doc, a small mistake: "Left-clicking on a line in the Location
Tree [...]" -> should be "Right-clicking" (on standard mice ;-) )

Cheers
Gautier
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/gps-users/attachments/20120824/4eb8e147/attachment.html>