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]
> <javascript:>> 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.
