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 -- 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
