I guess google groups doesn't support animated gifs as attachments. You can still view the MP4 and if you expand the quoted text for the previous post there is an embedded animated gif. Learned my lesson there...
On Thursday, April 9, 2015 at 8:42:49 AM UTC-4, john lunzer wrote: > > I made a demonstration of my recent style sheet work. My work adds focus > borders to both the minibuffer (which I think is awesome) and to the find > pane. Additionally it disables hover focus borders. > > You will also see my stylized scroll bars that have rounded ends. > > If there is any interest in this I would be glad to provide my full style > sheet changes. > > Please see attached files for full animation. > > > <https://lh3.googleusercontent.com/-5bji70x9LsA/VSZxqbEcJII/AAAAAAAAAzU/mRy7tq_5SSk/s1600/output_small.gif> > > > On Wednesday, April 8, 2015 at 10:26:08 AM UTC-4, john lunzer wrote: >> >> That code block is found in the @data qt-gui-plugin-style-sheet node for >> a theme. >> >> On Wednesday, April 8, 2015 at 10:25:15 AM UTC-4, john lunzer wrote: >>> >>> They aren't on by default, you have to enable them with these theme >>> settings: >>> >>> @string focused-border-style = solid >>> @string focused-border-width = <greater than 0> >>> >>> I believe by default the border-width setting is set to 0. >>> >>> Here is my recent work on using borders in more places: >>> >>> /*### Non-color styles (fonts etc.):1-->border:0 >>> ############################*/ >>> >>> /* alternative active pane highlighting */ >>> >>> QTextEdit#log-widget, QLineEdit#lineEdit, QScrollArea#findScrollArea, >>> QLineEdit#findPattern, QLineEdit#findChange, LeoQTreeWidget#treeWidget, >>> QTextEdit#richTextEdit { >>> >>> border-style: @focused-border-style; >>> >>> border-width: @focused-border-width; >>> >>> border-color: @focused-border-unfocus-color; >>> >>> } >>> >>> QTextEdit:focus#log-widget, >>> QLineEdit:focus#lineEdit,QScrollArea:focus#findScrollArea, >>> QLineEdit:focus#findPattern, QLineEdit:focus#findChange, >>> LeoQTreeWidget:focus#treeWidget, QTextEdit:focus#richTextEdit { >>> >>> border-color: @focused-border-focus-color; >>> >>> } >>> >>> QTextEdit:hover#log-widget, LeoQTreeWidget:hover#treeWidget, >>> QTextEdit:hover#richTextEdit { >>> >>> } >>> >>> My additions specifically were for: >>> >>> QLineEdit#lineEdit, QScrollArea#findScrollArea, QLineEdit#findPattern, >>> QLineEdit#findChange >>> >>> You may notice this includes the *minibuffer*! >>> >>> QScrollArea#findScrollArea doesn't really work well because if you >>> click on any of the boxes or radios you're no longer focused in the scroll >>> area >>> >>> I'm very happy with the effect as I can easily tell where I am even >>> when coming back to the Leo window after a long time. >>> >>> On Wednesday, April 8, 2015 at 9:48:03 AM UTC-4, Edward K. Ream wrote: >>>> >>>> >>>> >>>> On Wed, Apr 8, 2015 at 6:00 AM, john lunzer <[email protected]> wrote: >>>> >>>>> There are three types of borders. Focused, Unfocused, and Hover. A >>>>> focused borders is drawn around the pane where Leo is accepting keyboard >>>>> input, unfocused borders are drawn around panes where Leo is not >>>>> accepting >>>>> keyboard input, and a hover border is drawn around a pane where your >>>>> mouse >>>>> is within the bounds of. Hover borders override the other types of >>>>> borders. >>>>> >>>> >>>> I never see hover borders. They can't be on by default, can they? >>>> >>>> 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.
