On Thu, Sep 11, 2014 at 7:08 AM, Fidel N <[email protected]> wrote:
> - I would go further and make the options as headers of children of the > @style node. ... > This would avoid two problems i experienced: > -having to know which color names are possible > -having to know which option names are possible, and figure out if spaces or > syntax matters. I don't see how your proposal helps. Imo, links to the Qt documentation in the (Python) comments for each node should suffice. Let's start with the simplest thing that could possibly work, as I have just described in a reply to myself. It will be challenging enough to compose the stylesheet to be passed to Qt widgets. 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/d/optout.
