Re: Font settings are not honored

2018-03-15 Thread Chris George
That is strange. The "i" lights up with an underline for me. There doesn't appear to be anything special about the menu item. Chris On Thu, Mar 15, 2018 at 4:56 PM, Xavier G. Domingo (xgid) wrote: >> Is it persistent or does it clear when you close then open the file? > >

Re: Font settings are not honored

2018-03-15 Thread Xavier G. Domingo (xgid)
> > Is it persistent or does it clear when you close then open the file? > OK, it clears when I close then open again the file. So these are good news. Thaks for your help! > When you press Alt it should underline the shortcut. You can also run > Alt-x, reload-style-sheets from the

Re: Font settings are not honored

2018-03-15 Thread Chris George
On Thursday, March 15, 2018 at 1:45:20 PM UTC-7, Xavier G. Domingo (xgid) wrote: > > Thanks Chris. FYI, this *kind of* worked for me, except for the rendering > of the body pane: > > >

Re: Font settings are not honored

2018-03-15 Thread Xavier G. Domingo (xgid)
Thanks Chris. FYI, this *kind of* worked for me, except for the rendering of the body pane: In fact the body pane was also

Re: Font settings are not honored

2018-03-15 Thread Edward K. Ream
On Thu, Mar 15, 2018 at 1:58 PM, rengel wrote: Just what is the 'entire @theme tree'? > ​For a settings file, it's the @theme tree in that file.​ ​There may be other settings in the @settings tree, but you should not copy them. Edward -- You received this

Re: Font settings are not honored

2018-03-15 Thread Terry Brown
On Thu, 15 Mar 2018 12:28:30 -0700 (PDT) Chris George wrote: > To change fonts sizes, open @theme Breeze Dark-->Settings for Leo > Breeze Dark-->Fonts & text sizes and you can change font sizes for > the three panes. I haven't abstracted the "default" font size that >

Re: Font settings are not honored

2018-03-15 Thread Chris George
Part of each theme are the images. You can either pull the latest Leo (git clone https://github.com/leo-editor/leo-editor.git) and checkout the devel branch or you can place these two images in the folder ../leo/themes/dark. Chris On Thursday, March 15, 2018 at 12:28:31 PM UTC-7, Chris

Re: Font settings are not honored

2018-03-15 Thread Chris George
Part of each theme are the images. You can either pull the latest Leo (git clone https://github.com/leo-editor/leo-editor.git) and checkout the devel branch or you can place these two images in the folder ../leo/themes/dark. Chris On Thursday, March 15, 2018 at 12:28:31 PM UTC-7, Chris

Re: Font settings are not honored

2018-03-15 Thread Chris George
Theming machinery is currently in flux. To change fonts sizes, open @theme Breeze Dark-->Settings for Leo Breeze Dark-->Fonts & text sizes and you can change font sizes for the three panes. I haven't abstracted the "default" font size that applies to a few things yet, but when I do font sizes

Re: Font settings are not honored

2018-03-15 Thread Chris George
In the Leo file are three top level nodes; Read me, Tests, and @settings. Open @settings. The first child is the theme. Select @theme Breeze Dark Theme. Ctrl-Shift-C to copy the node. Go into your myLeoSettings.leo file and Ctrl-Shift-V to paste the node. Use Shift-Arrow keys to position this

Re: Font settings are not honored

2018-03-15 Thread rengel
Figured it out. For anybody interested: Open 'Breeze Dark Theme.leo' in Leo. Copy the node '@theme Breeze Dark'. Open 'myLeoSettings.leo'. Paste the node as the

Re: Font settings are not honored

2018-03-15 Thread rengel
On Thursday, March 15, 2018 at 1:33:12 PM UTC+1, Edward K. Ream wrote: > > > > On Thu, Mar 15, 2018 at 4:23 AM, rengel > wrote: > >> >> What would be the correct storage place and syntax? >> > > ​At present you have to copy the entire @theme tree to the end of your >

Re: Font settings are not honored

2018-03-15 Thread Edward K. Ream
On Thu, Mar 15, 2018 at 7:24 AM, lewis wrote: Am I supposed to delete the old @theme nodes > ​It suffices to ignore them: @ignore @theme whatever. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe

Re: Font settings are not honored

2018-03-15 Thread Edward K. Ream
On Thu, Mar 15, 2018 at 4:23 AM, rengel wrote: > > What would be the correct storage place and syntax? > ​At present you have to copy the entire @theme tree to the end of your @settings tree. I am presently working on ways of incorporating themes using paths to

Re: Font settings are not honored

2018-03-15 Thread lewis
I must admit I am not clear on how to apply a theme in Leo, and would appreciate some guidance. My current myLeoSettings file has several theme nodes filled with loads of settings, stylesheets and optional icons. One theme is active and working. I want to have a clean slate for the new theme

Re: Font settings are not honored

2018-03-15 Thread rengel
Thanks for answering! BTW, that's my first time trying to use a theme with Leo. What would be the correct storage place and syntax? I stored the themes file to \python-3.6\Lib\site-packages\leo\themes\Breeze Dark Theme.leo In myLeoSettings.leo, I tried: @theme Breeze Dark @theme Breeze Dark

Re: Font settings are not honored

2018-03-14 Thread Chris George
This is the result of a Qt bug. I have attached a new theme that incorporates the workaround. Load the @theme Breeze Dark node as the very last node of your myLeoSettings.leo. If this theme works for you, let me know. Chris On Wed, Mar 14, 2018 at 12:56 PM, rengel

Font settings are not honored

2018-03-14 Thread rengel
Leo 5.7 final, 2018-02-17 I wanted to change the font-size, but the changes are not honored. -- You received this message because you are subscribed to