Locations view - navigation
Gautier de Montmollin <[email protected]> Fri, 24 Aug 2012 15:45:58 +0200
| Newsgroups | gmane.comp.ide.gps.user |
|---|---|
| Message-ID | <CALOqzKxh2YbizXHafLR3jhN5ndr=5Nkr+Y2j9XvoQb=BNnOLcw@mail.gmail.com> |
--===============5778460960184937373== Content-Type: multipart/alternative; boundary=047d7b15a8051f334304c803327b --047d7b15a8051f334304c803327b Content-Type: text/plain; charset=ISO-8859-1 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 --047d7b15a8051f334304c803327b Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hello,<div><br></div><div>The Locations view is very handy, especially the = magic wrench.</div><div><br></div><div>I miss the unambiguous keyboard shor= tcuts in AdaGIDE, that allow(ed) to jump to next/previous error/warning eve= n with the focus on an editor window.</div> <div>Do other people have the same impression ?<br><div>A small panel with= =A0buttons like a=A0media=A0player would be nice (First, Previous error, Pr= evious, Next, Next error, Last).=A0The Previous error / Next error would ju= mp over the "warning:"'s and "(style)"'s. The m= entioned shortcuts as well (Alt-down, Alt-up).</div> <div>NB: in the doc, a small mistake: "Left-clicking on a line in the = Location Tree [...]" -> should be "Right-clicking" (on st= andard mice ;-) )</div><div><br></div></div><div>Cheers</div><div>Gautier</= div> --047d7b15a8051f334304c803327b-- --===============5778460960184937373== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ gps-users mailing list [email protected] http://lists.adacore.com/mailman/listinfo/gps-users --===============5778460960184937373==--