On Mon, Mar 20, 2023 at 9:32 AM Sven Schreiber <sven.schrei...@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 _______________________________________________ Gretl-devel mailing list -- gretl-devel@gretlml.univpm.it To unsubscribe send an email to gretl-devel-le...@gretlml.univpm.it Website: https://gretlml.univpm.it/postorius/lists/gretl-devel.gretlml.univpm.it/
