Re: Working Dark Theme in a Windows 10 Environment?

2017-11-26 Thread Edward K. Ream 
On Sun, Nov 26, 2017 at 1:12 PM, Terry Brown  wrote:

I've attached my dark theme as a .zip file here:
> https://github.com/leo-editor/leo-editor/issues/595


​Thanks Terry.

Initially, this didn't work for me, but it was a good clue.

I moved various theme-related tress to *before* the @settings tree,
ensuring that they could not possibly affect settings.  After doing that,
both your theme (@theme leo_dark theme 0)_ and mine (@theme windows ekr
dark theme) worked.

In short: to completely disable settings, move them *in front of* the
@settings node.

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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Working Dark Theme in a Windows 10 Environment?

2017-11-26 Thread Terry Brown 
On Sun, 26 Nov 2017 10:34:21 -0600
"Edward K. Ream"  wrote:

> On Sun, Nov 26, 2017 at 8:00 AM, Terry Brown 
> wrote:
> 
> > Remember that Qt is broken, 5.8 and above dont render the stylesheet
> > right. I bumped the bug report just a week or so ago, no response.
> >  
> 
> ​Thanks for the reminder.  I had forgotten all about it.​
> 
> If that's not the problem, I have a working theme I can share.
> >  
> 
> ​Please do. The present reference them fails on Windows 10 for Python
> 3.5.3, PyQt version 5.6.2
> 
> ​Edward​
> 

I've attached my dark theme as a .zip file here:
https://github.com/leo-editor/leo-editor/issues/595

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Working Dark Theme in a Windows 10 Environment?

2017-11-26 Thread Edward K. Ream 
On Sun, Nov 26, 2017 at 8:00 AM, Terry Brown  wrote:

> Remember that Qt is broken, 5.8 and above dont render the stylesheet
> right. I bumped the bug report just a week or so ago, no response.
>

​Thanks for the reminder.  I had forgotten all about it.​

If that's not the problem, I have a working theme I can share.
>

​Please do. The present reference them fails on Windows 10 for Python
3.5.3, PyQt version 5.6.2

​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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Working Dark Theme in a Windows 10 Environment?

2017-11-26 Thread Terry Brown 
Remember that Qt is broken, 5.8 and above dont render the stylesheet right. I 
bumped the bug report just a week or so ago, no response.

If that's not the problem, I have a working theme I can share.

Cheers - Terry 

On November 26, 2017 6:15:27 AM CST, "Edward K. Ream"  
wrote:
>On Sat, Nov 25, 2017 at 2:54 AM, Viktor Ransmayr
>
>wrote:
>
>Has anyone succeeded in getting one of the dark themes provided with
>the
>> Leo Sources into a usable appearance?
>>
>
>​The dark theme on windows appears broken.
>
>I have just created #595
> for this.
>
>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 leo-editor+unsubscr...@googlegroups.com.
>To post to this group, send email to leo-editor@googlegroups.com.
>Visit this group at https://groups.google.com/group/leo-editor.
>For more options, visit https://groups.google.com/d/optout.

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Working Dark Theme in a Windows 10 Environment?

2017-11-26 Thread Edward K. Ream 
On Sat, Nov 25, 2017 at 2:54 AM, Viktor Ransmayr 
wrote:

Has anyone succeeded in getting one of the dark themes provided with the
> Leo Sources into a usable appearance?
>

​The dark theme on windows appears broken.

I have just created #595
 for this.

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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Working Dark Theme in a Windows 10 Environment?

2017-11-25 Thread Viktor Ransmayr 
Hello Leo Community,

Has anyone suceeded in getting one of the dark themes provided with the Leo 
Sources into a usable appearance?

In my environment, see log, they are unusable.



Leo Log Window
Leo 5.6, build 20171105131700, Sun Nov  5 13:17:00 PST 2017
Not running from a git repo
Python 3.6.3, PyQt version 5.9.3
Windows 10 AMD64 (build 10.0.16299) SP0
isPython3: True
caching enabled
reading: C:\Users\Viktor\worklogs\WL2017-B.leo
read outline in 0.37 seconds



Thanks for any help & hints!

With kind regards,

Viktor

-- 
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.