On Thu, Apr 11, 2013 at 2:01 PM, Terry Brown <[email protected]>wrote:
>
> I know the current implementation replaces a previous implementation
> which was implicated in the scroll jumping bug, but the point is there
> should be no implementation at all, it should be pure style sheet, with
> no .setStyleSheet calls required (apart from the initial one of course).
>
> This achieves that:
>
> @focused-border-style = none or solid or whatever
> @focused-border-width = 1px
> @focused-border-focus-color = blue
> @focused-border-unfocus-color = gray
>
> QTextEdit#log-widget, LeoQTreeWidget#treeWidget, QTextEdit#richTextEdit {
> border-style: @focused-border-style;
> border-width: @focused-border-width;
> border-color: @focused-border-unfocus-color;
> }
> QTextEdit:focus#log-widget, LeoQTreeWidget:focus#treeWidget,
> QTextEdit:focus#richTextEdit {
> border-style: @focused-border-style;
> border-width: @focused-border-width;
> border-color: @focused-border-focus-color;
> }
>
> Just wanted to get that out there... :)
>
I'm reading Getting Things Done,
http://www.amazon.com/Getting-Things-Done-Stress-Free-Productivity/dp/0142000280,
and it's helping.
The main idea so far is that one has to *think* about what *actions* to
take. In my present situation, it involves resolving emails, either by
completing them immediately, or by filing them in such a way that I can get
to them as needed later.
In this case, I don't understand the @ stuff. I assume it's some
macro-like thing you added. Right? I don't think it's part of qt
stylesheets.
I don't care much what you do, so long as focus borders work. If you can
get rid of all the w.setStyleSheet calls, so much the better.
Just let us know when you push what you have.
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
