It seems that Terry and I have duplicated each others work. I'm not sure why Terry jumped in, but now I have some merging to do.
There are problems with Terry's code: 1. Settings should always use c.config, not g.app.config. That way per-.leo-file settings will work properly. 2. I want to avoid from stylesheet-centric code when possible. The settings I use specify the color and border width directly, leaving the border-related code to create the stylesheet behind the scenes. I'll say more about this preference in another thread. It's debatable, but for now I prefer my code :-) I'll pay attention to Terry's fix: that is, I'll make sure to call str on w.stylesheet(). In short, I'll choose my code in qtGui.py and leoSettings.leo, but add Terry's fix. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
