From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,a9cdc231f62826f1 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 Path: g2news2.google.com!news4.google.com!feeder.news-service.com!85.214.198.2.MISMATCH!eternal-september.org!.POSTED!not-for-mail From: Alexander Senier Newsgroups: comp.lang.ada Subject: Re: Two miscellaneous questions about GPS : Ada indentation and then SPARK integration Date: Tue, 1 Jun 2010 10:26:07 +0200 Organization: A noiseless patient Spider Message-ID: <20100601102607.4a9d140d@senier-offen> References: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Injection-Date: Tue, 1 Jun 2010 08:26:08 +0000 (UTC) Injection-Info: mx01.eternal-september.org; posting-host="XCWK5aQJ+ZBh2gl6Xv47Zg"; logging-data="20129"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/06pDCOPx7zJ4m+G0XWZPz" X-Newsreader: Claws Mail 3.7.2 (GTK+ 2.18.3; i486-pc-linux-gnu) Cancel-Lock: sha1:ANNhJ5d9VMgSZvTRfXuJCYFHTro= Xref: g2news2.google.com comp.lang.ada:12170 Date: 2010-06-01T10:26:07+02:00 List-Id: On Tue, 01 Jun 2010 09:20:45 +0200 Yannick Duch=C3=AAne (Hibou57) wrote: > I have an expected behavior with the editor : in the configuration, > Edit -> Preferences -> Editor -> Ada, I have disabled the check box > =E2=80=9CUse tabulations=E2=80=9D, to not have tab characters and just sp= aces. For =20 > =E2=80=9Ccontinuation lines=E2=80=9D, =E2=80=9CRecord indentations=E2=80= =9D, =E2=80=9CConditional > continuation lines=E2=80=9D and =E2=80=9CDefault indentation=E2=80=9D, I = have set 3 spaces, > for all. >=20 > Despite of that, when I hit the tab key, the editor still input a =20 > tabulation characters, moreover, this tabulation is 8 characters wide. >=20 > The three spaces (with no tab characters), only occurs when the > editor do automatic indent. >=20 > Did I miss something in the configuration or is this the expected > behavior ? To get the desired behavior, you have to assign the tab key to the "Editor -> Insert Tab With Spaces" action in the key shortcuts dialog (Edit -> Key Shortcuts). At least in GPS 4.4.1 this substitutes tabs by spaces also on manual indentations. HTH Alex