From: Ian Douglas <ian@vionia.com>
Subject: Re: Newbie questions re Unicode (1)
Date: Sun, 12 Jul 2020 01:42:32 -0700 (PDT) [thread overview]
Message-ID: <a444b586-efd9-4461-b66f-4853ca15e967o@googlegroups.com> (raw)
In-Reply-To: <lyd051cf7b.fsf@pushface.org>
On Sunday, 12 July 2020 10:25:48 UTC+2, Simon Wright wrote:
>
> Edit. Project Properties, Build, Switches, Ada
>
I only have Pretty Printer under switches.
I did try putting the switch in there (since was only place I could find, and that was only by accidental mouse-over ... they could add a label there...) but it didn't stick. And no effect.
https://imgur.com/vyxaCng
Am using Gentoo Linux, GPS is :
GPS 0.0 (unknown date) hosted on x86_64-pc-linux-gnu
GNAT Community 2019 (20190517-83)
Thanks, Ian
next prev parent reply other threads:[~2020-07-12 8:42 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-07-12 8:14 Newbie questions re Unicode (1) Ian Douglas
2020-07-12 8:25 ` Simon Wright
2020-07-12 8:42 ` Ian Douglas [this message]
2020-07-12 18:43 ` Simon Wright
2020-07-12 20:08 ` Ian Douglas
2020-07-18 12:20 ` Bob Goddard
2020-07-21 19:57 ` Ian Douglas
2020-07-25 11:44 ` 196...@googlemail.com
2020-07-27 13:46 ` Ian Douglas
2020-07-27 20:26 ` Simon Wright
2020-07-29 7:28 ` Ian Douglas
2020-07-29 7:34 ` Ian Douglas
2020-07-29 15:26 ` J-P. Rosen
2020-07-13 15:28 ` Shark8
2020-07-13 16:59 ` Simon Wright
2020-07-21 15:36 ` Shark8
2020-07-21 19:54 ` Ian Douglas
2020-07-21 20:11 ` J-P. Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox