comp.lang.ada
 help / color / mirror / Atom feed
From: gautier_niouzes@hotmail.com
Subject: Re: LEA - Lightweight Editor for Ada - First (early) binary release, v 0.5.
Date: Fri, 17 Nov 2017 20:26:49 -0800 (PST)
Date: 2017-11-17T20:26:49-08:00	[thread overview]
Message-ID: <9e23d08c-845f-423c-a9eb-d076dc108499@googlegroups.com> (raw)
In-Reply-To: <ouin1j$fft$1@franka.jacob-sparre.dk>

Le jeudi 16 novembre 2017 01:44:37 UTC+1, Randy Brukardt a écrit :

Hi Randy,

Actually tabs are preserved. You can see them with the "Show special symbols" menu command (or the paragraph button). They are just displayed too short. If you choose 8 as indentation it will (hopefully) work exactly as the DOS tabs.
I see I should dissociate tab size setting and indentation setting...
I hope I can retrieve an Ada.Text_IO tool which got rid of all tabs - correctly...
Otherwise Notepad++ provides such conversions (I've not tested).

> P.S. I've posted it on AdaIC.

Thanks!
G.


  reply	other threads:[~2017-11-18  4:26 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-11-04 19:11 LEA - Lightweight Editor for Ada - First (early) binary release, v 0.5 gautier_niouzes
2017-11-05  2:06 ` gautier_niouzes
2017-11-07 18:30   ` gautier_niouzes
2017-11-06 10:17 ` Stephen Leake
2017-11-06 10:40   ` Lucretia
2017-11-06 10:50   ` gautier_niouzes
2017-11-07 17:56     ` Stephen Leake
2017-11-06 11:14   ` Dmitry A. Kazakov
2017-11-06 16:20     ` Olivier Henley
2017-11-17 22:28   ` Lionel Draghi
2017-11-18  4:04     ` gautier_niouzes
2017-11-06 19:25 ` Olivier Henley
2017-11-07  9:40 ` Stéphane Rivière
2017-11-07 17:58   ` Stephen Leake
2017-11-08 10:40     ` Stéphane Rivière
2017-11-14 12:45 ` Vincent
2017-11-14 14:39   ` gautier_niouzes
2017-11-14 18:56 ` Aurele
2017-11-16  0:44 ` Randy Brukardt
2017-11-18  4:26   ` gautier_niouzes [this message]
2017-11-28 17:16   ` 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