[Gretl-devel] Re: glitch with switching decimal separator

Am 30.03.2023 um 20:06 schrieb Cottrell, Allin: > On Thu, Mar 30, 2023 at 10:27 AM Sven Schreiber > <sven.schreiber(a)fu-berlin.de&gt; wrote: >> Am 20.03.2023 um 23:05 schrieb Sven Schreiber: >>> Am 20.03.2023 um 20:25 schrieb Cottrell, Allin: >>> >>> I can replicate your behavior when I set the language explicitly to >>> German (and restarting gretl). But I see the problem previously >>> described when my setting is "auto" (on a German Windows installation, >>> or rather: Windows set to German). >>> >> So is this a confirmed but now, or has it even been fixed already? > I can't confirm this myself, but I can take your word for it. Also, > after some investigation it seems plausible that we might not revert > to the locale decimal separator if the language setting in gretl is > "Automatic" and there's no LANG in the environment on Windows. > > This would help: If you run gretl.exe --debug on German Windows with > language "Automatic", what string do you see for "Windows locale"? German_Germany.1252