Re: About GPS IDE shortcuts and aggregate projects

--===============3144344779531410824==
Content-Type: multipart/alternative; boundary=f403043ee8f0ecb3a9054ec44569

--f403043ee8f0ecb3a9054ec44569
Content-Type: text/plain; charset=UTF-8

But what about the shortcuts issue? Where can I report it?

2017-05-02 21:52 GMT+03:00 Gautier de Montmollin <
[email protected]>:

> > Do you mean to open several GPS windows?
>
> Yep.
>
> _______________________________________________
> gps-users mailing list
> [email protected]
> http://lists.adacore.com/mailman/listinfo/gps-users
>



-- 
Regards, Denis Obrezkov

--f403043ee8f0ecb3a9054ec44569
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">But what about the shortcuts issue? Where can I report it?=
</div><div class=3D"gmail_extra"><br><div class=3D"gmail_quote">2017-05-02 =
21:52 GMT+03:00 Gautier de Montmollin <span dir=3D"ltr">&lt;<a href=3D"mail=
to:[email protected]" target=3D"_blank">gautier.de.montmollin=
@gmail.com</a>&gt;</span>:<br><blockquote class=3D"gmail_quote" style=3D"ma=
rgin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=3D=
"">&gt; Do you mean to open several GPS windows?<br>
<br></span>
Yep.<div class=3D"HOEnZb"><div class=3D"h5"><br>
______________________________<wbr>_________________<br>
gps-users mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">gps-users@=
lists.adacore.com</a><br>
<a href=3D"http://lists.adacore.com/mailman/listinfo/gps-users" rel=3D"nore=
ferrer" target=3D"_blank">http://lists.adacore.com/mailm<wbr>an/listinfo/gp=
s-users</a><br>
</div></div></blockquote></div><br><br clear=3D"all"><div><br></div>-- <br>=
<div class=3D"gmail_signature" data-smartmail=3D"gmail_signature">Regards, =
Denis Obrezkov</div>
</div>

--f403043ee8f0ecb3a9054ec44569--

--===============3144344779531410824==
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

--===============3144344779531410824==--