On Friday, November 15, 2013 11:41:57 AM UTC-6, Edward K. Ream wrote:

leo/config now contains leo12-10pt.leo, and I am about use those settings 
> in leoSettings.leo.
>
... 

> leoSettings.leo should have disabled copies of all the
>
>     @data qt-gui-plugin-style-sheet
>
> settings from all the leo-x-pt.leo files in leo/config.  Having separate 
> files in leo/config is useful, but having easy access to all @data nodes is 
> also useful.
>

Done at rev 6309.  I've done pretty thorough testing.  Let me know 
immediately if there are any problems.

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.

Reply via email to