Hi,
I've just installed Leo 5 from git, having previously used 4.11. I'm
running a linux system, openSUSE 13.2. Leo is installed in
~/leo-editor and I had a settings file in ~/.leo/myLeoSettings.leo
carried over from the previous version.
I can't remember changing anything in myLeoSettings, but I might have
done - I'm not a power user!
After the upgrade to 5, I tried changing the @font-size-body setting
in myLeoSettings, but it had no effect. The file was being loaded, as
can be seen in the Log:
reading settings in /home/bob/leo-editor/leo/config/leoSettings.leo
reading settings in /home/bob/.leo/myLeoSettings.leo
reading settings in /home/bob/.leo/workbook.leo
traverse no settings tree for workbook.leo
Perhaps the format had changed between versions, I thought. So I moved
the old myLeoSettings.leo and copied the exampleSettings.leo file into
~/.leo, renaming it appropriately. I copied an example @data
qt-gui-plugin-style-sheet node to the @settings tree, but still no luck.
Is there some magic incantation to get these settings to work?
Thanks,
Bob
--
Bob Williams
System: Linux 3.16.6-2-desktop
Distro: openSUSE 13.2 (x86_64) with KDE Development Platform: 4.14.3
Uptime: 06:00am up 3 days 7:29, 6 users, load average: 0.00, 0.04, 0.05
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
