From: Eryndlia Mavourneen <eryndlia@gmail.com>
Subject: GNAT GPL 2016 Editor Bugs?
Date: Mon, 6 Jun 2016 15:12:01 -0700 (PDT)
Date: 2016-06-06T15:12:01-07:00 [thread overview]
Message-ID: <b9f18b79-76de-41a5-926c-60e43f9710ff@googlegroups.com> (raw)
I checked for a couple of annoying editor bugs that have been around for a couple of releases, and they are still there:
1)
type A is new B with
record
C : D;
end record;
After this type declaration, the editor apparenty has lost track of the indentation level and auto-indents everything afterwards to the beginning of "end record". The only "fix" I have found is to set my preferences to indent records 0 spaces. This, of course, causes other problems -- just not as bad ones.
2) The "refill" command, "Ctrl+=", does not work. It used to, once upon a time. This means I have to have either ragged comments or spend a fair amount of time smoothing them out.
next reply other threads:[~2016-06-06 22:12 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-06-06 22:12 Eryndlia Mavourneen [this message]
2016-06-07 11:49 ` GNAT GPL 2016 Editor Bugs? 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
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