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 &quot;warning:&quot;&#39;s and &quot;(style)&quot;&#39;s. The m=
entioned shortcuts as well (Alt-down, Alt-up).</div>
<div>NB: in the doc, a small mistake: &quot;Left-clicking on a line in the =
Location Tree [...]&quot; -&gt; should be &quot;Right-clicking&quot; (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==--