>There is no way I'm going to do any gui-based version of Leo's settings,
... newbie haz a sad.
>unless possibly the gui itself is generated by those same settings.
That's what I meant by a wrapper around leoBridge(settings file)
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
On Tue, Nov 19, 2013 at 10:16 AM, Edward K. Ream <[email protected]> wrote:
> On Tue, Nov 19, 2013 at 9:33 AM, Kent Tenney <[email protected]> wrote:
>
>> and it seems wrapping leoBridge(<settings file>) could offer
>> the convenience of point and click while retaining the richness
>> of @settings
>
>
> Kent, I have no idea what you mean. When that has happened in the past,
> it's sometimes been a sign of a brilliant idea that went completely over my
> head. Care to explain?
>
> Otoh, @button nodes in myLeoSettings.leo seems enough.
>
>
> 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 [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/groups/opt_out.
--
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/groups/opt_out.
