[Gretl-devel] little problem with saved sessions and local decimal separator settings

Hi, working with the local decimal comma, I saved a session file. Then I changed the settings to not use the decimal comma, and restarted gretl. I reloaded the saved session, and then in the settings dialog I saw a comma for example in the numeric field for "standard plot scaling". Restarting gretl again and _not_ loading the session worked as expected, i.e. no decimal comma anymore. Somehow the session settings seem to override the global user switch. thanks sven