From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: GNAT GPL 2016 Editor Bugs?
Date: Wed, 8 Jun 2016 10:02:53 -0700
Date: 2016-06-08T10:02:53-07:00 [thread overview]
Message-ID: <nj9j3t$luv$1@dont-email.me> (raw)
In-Reply-To: <nj9hlu$1dtj$2@gioia.aioe.org>
On 06/08/2016 09:38 AM, Dmitry A. Kazakov wrote:
> On 2016-06-08 15:36, gautier_niouzes@hotmail.com wrote:
>>
>> - No easy way for indent / unindent a selection with a single key or some
>> ctrl-key
>
> Same for comment/uncomment. There are hot keys for, but only comment hot key works.
Both work for me.
--
Jeff Carter
"Unix and C are the ultimate computer viruses."
Richard Gabriel
99
next prev parent reply other threads:[~2016-06-08 17:02 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-06-06 22:12 GNAT GPL 2016 Editor Bugs? Eryndlia Mavourneen
2016-06-07 11:49 ` Simon Wright
2016-06-08 0:33 ` Eryndlia Mavourneen
2016-06-08 7:14 ` Simon Wright
2016-06-08 13:36 ` gautier_niouzes
2016-06-08 16:29 ` Egil H H
2016-06-08 16:38 ` Dmitry A. Kazakov
2016-06-08 17:02 ` Jeffrey R. Carter [this message]
2016-06-08 16:54 ` Jeffrey R. Carter
2016-06-09 17:47 ` gautier_niouzes
2016-06-09 18:43 ` Jeffrey R. Carter
2016-06-09 15:51 ` brbarkstrom
2016-06-10 8:41 ` Alejandro R. Mosteo
2016-06-14 14:25 ` gautier_niouzes
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox