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

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

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

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"

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

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