On Tue, Nov 19, 2013 at 10:49 AM, Kent Tenney
State of affairs
> - the settings live in a specialized Leo file
> - newbies hope for a familiar gui
> - leonistas require the power of the special settings file
>
> Maybe make a gui which reads and writes the settings file
>
> settings_bridge = leoBridge.open('myLeoSettings.leo')
> settings = leoSettings(settings_bridge)
>
> If font size is changed to 9:
> the back end would call settings.font_size(9)
>
> the font_size method would know what value to change in 'myLeoSettings.leo'
>
> This would require one more step, an "Apply changes" button which would
> - write the new version of myLeoSettings.leo
> - save the current file and
> - do 'Revert to Saved' (or another way to apply the changed settings)
>
> It seems this layer could be fairly simple
>
Let's start with the simplest thing that could possibly work: helper
buttons in myLeoSettings.leo.
- Press the button that makes the desired change.
- Reload *another* (test) .leo file.
- Repeat until blissful.
Edward
--
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/groups/opt_out.
