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.
