Hello Edward,
I should have given more information: For me the problem/ magic was in:
<Log>
...
2017-03-11 ~ 17:50
Performing "Settings -> Open Personal Settings" from the menu ...
::
no local @settings tree.
saved: wl2017.leo
2017-03-11 ~ 17:55
Restart Leo & perform "Settings -> Open Personal Settings" a second time
from the menu ...
::
Leo Log Window
Leo 5.4, build 20170304105326, Sat Mar 4 10:53:26 CST 2017
Not running from a git repo
Python 3.6.0, PyQt version 5.7.1
Windows 10 AMD64 (build 10.0.14393) SP0
leoID=VIRA2017 (in C:\Users\Viktor\.leo)
load dir: C:\Users\Viktor\Programs\Leo-20170304\leo\core
global config dir: C:\Users\Viktor\Programs\Leo-20170304\leo\config
home dir: C:\Users\Viktor
reading settings in
C:\Users\Viktor\Programs\Leo-20170304\leo\config\leoSettings.leo
reading settings in C:\Users\Viktor\.leo\myLeoSettings.leo
reading settings in C:\Users\Viktor\worklogs\wl2017.leo
reading: C:\Users\Viktor\worklogs\wl2017.leo
read outline in 0.11 seconds
reading settings in C:\Users\Viktor\.leo\myLeoSettings.leo
and
::
Leo Log Window
Leo 5.4, build 20170304105326, Sat Mar 4 10:53:26 CST 2017
Not running from a git repo
Python 3.6.0, PyQt version 5.7.1
Windows 10 AMD64 (build 10.0.14393) SP0
reading: C:\Users\Viktor\.leo\myLeoSettings.leo
read outline in 0.07 seconds
...
</Log>
In other words I had expected that I could change back the 'new' to the
'old' theme without restarting Leo - but - only changing myLeoSettings back
to the old state ...
With kind regards,
VR
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
