[Gretl-devel] Re: glitch with switching decimal separator
On Mon, Mar 20, 2023 at 9:32 AM Sven Schreiber
<sven.schreiber(a)fu-berlin.de> wrote:
with a snapshot from March 11th, it seems that when (running in German
which natively would have a decimal comma) I switch off the comma in the
settings, it works, but when I try to switch it back _on_, then the
decimal point stays. Only a gretl restart corrects the issue. (Actually
I seem to remember that a restart was always required in the past, but
I'm not getting that alert message here.)
I'm talking about small scripts in the script editor which print out
decimal numbers.
Hmm, I can't replicate that. I run gretl with LANG=de_DE.UTF-8, select
the option of using the locale decimal character, and enter two lines
of code in the script editor:
x = 13.7
eval x
* I run the script and see "13,7" on output.
* I turn off the locale decimal character, run the script again, and see
"13.7".
* I turn the locale decimal character back on, run the script again,
and see "13,7".
In each case I'm using the Preferences dialog to toggle the locale
decimal option. The script editor stays open. In the script output
window I have the option to replace the previous output selected. This
is on Linux (of course) but I can't see why the result would differ by
platform.
Allin