On Fri, 16 May 2014 02:10:14 -0700 (PDT) duf...@gmail.com wrote: > Thanks indeed, Terry, for picking up and fulfilling my request so > soon! > > Could you please provide some basic step-by-step instructions on how > to apply these changes?
So to get the new code you just need to be running the latest version from: http://leoeditor.com/download.html option 2. (when Edward next updates the documentation the information will all be on that page, currently it's still popping out to the old page, http://www.greygreen.org/leo/http://www.greygreen.org/leo/ but that page has the current info., so that's ok. Then Settings -> Open Personal Settings Under the @settings node, create a node `@data qt-gui-user-style-sheet` In that, put something like: /* focused pane border highlight */ QTextEdit#log-widget, LeoQTreeWidget#treeWidget, QTextEdit#richTextEdit { background: blue; } QTextEdit:focus#log-widget, LeoQTreeWidget:focus#treeWidget, QTextEdit:focus#richTextEdit { background: red; } Also, to be sure the old red-border code's not running, create a node under @settings, `@bool use_focus_border = False` I think you mentioned changing the background color, as shown above, but if you want to change the border, you can Settings -> Open Global Settings find the node there, `active frame border styles` and copy it and its children under your @settings node in your personal settings, and edit the values in the children as needed, they're: @string focused-border-style = solid @string focused-border-width = 1px @string focused-border-focus-color = red @string focused-border-unfocus-color = white Two notes: - long term this should just be a matter of going to the menu item `Settings -> Appearance -> Active pane` or something, but we're not there yet. - if you want the full flexibility of and appearance tweaks Qt allows, you're always going to have to deal with some complexity, knowing the style-sheet syntax, essentially. http://qt-project.org/doc/qt-4.8/stylesheet-reference.html 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
