On Mon, 18 Nov 2013 13:55:51 +0100
Jerry <[email protected]> wrote:
> On Mon, Nov 18, 2013 at 1:39 PM, Edward K. Ream <[email protected]> wrote:
>
> > Terry, we've got to remove this advice. It tends to destroy
> > myLeoSettings.leo.
>
> Do you mean that the script-based generation will be eliminated?
I'm not seeing a problem with it. Leo's stylesheet is quite large and
will probably grow a bit. Leo edits things in outlines. It should be
able to edit the stylesheet in an outline.
I don't know what Edward did with myLeoSettings.leo a couple of weeks
back, but you, Jerry, I think were just reporting that the menu
(non)highlighting bug returned when you compiled the stylesheet from
the outline with the script? I'll look in to that.
I think there's a problem with stylesheet rules of the form
#objectName { border: chartreuse; }
because config.getData() eats lines starting with #, but you can work
around that with
QWidget#objectName { border: chartreuse; }
There was also an issue with line continuation, which might still be
kicking around.
Cheers -Terry
--
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.
