little problem with saved sessions and local decimal separator settings
- First Post
- Replies
- Stats
-
Go to
- ----- 2024 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2023 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2022 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2021 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2020 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2019 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2018 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2017 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2016 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2015 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2014 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2013 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2012 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2011 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2010 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2009 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2008 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2007 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2006 -----
- December
- November
- October
- September
- August
- July
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
On Thu, 25 Nov 2021, Sven Schreiber wrote:
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.
It's by design that when you open a session file we restore gretl's
state as of the time when the file was saved, including the decimal
comma choice.
However, there was a "gotcha" with the decimal choice: a change took
effect only on restarting gretl. So if you opened a session with
decimal comma you couldn't get rid of it while the session file was
open. That's now fixed in git: we activate the changed preference
right away.
Allin
1111
days inactive
1111
days old
1 comments
2 participants
tags (0)
participants (2)
-
Allin Cottrell -
Sven Schreiber