Body pane to be 14pt or 16pt?

[Satheesh Vattekkat]

Sorry, this looks like a stupid question -- but I've been struggling for 2 days to get this working.

Got a new laptop with 14" with 1440x900 resolution; running Linux Mint 17.3. Installed leo from git, python 2, pyQT etc. All is good, except...

1. Love the gray color scheme of leo10pt.leo. Copied @data qt-gui-plugin-style-sheet into myLeoSettings.leo => @settings => path

2. Colors are all good.

3. Want to change the font to 14pt. Tried various things - hard coding, changing @font-size-body = 14pt to some 22pt; save, restart etc. But it is always at some 10pt.

4. Added a @data qt-user-style-sheet also; wherein I tried various settings. No luck.

Note - these are the last two nodes in my @settings. There are no errors on startup. I remove this node, it goes back to old look and feel and even zoom-in/zoom-out works. I also put in content from leo14pt.leo instead of 10pt.leo; no impact on font-size.

I hadn't done any of these since it was a happy world in 1366x768 laptop I had before. This small font everywhere else is fantastic for me. But body text is too small for eyes :( I've enabled VIM plugin and I can open the body in GVIM which is set to 14pt -- but that is a bit of a nuisance when all I want is to read quickly and also is a pain in tiling window manager I usually use.

Any help? I'm assuming that this is going to be a "aah, silly me" kind of issue; but just not able to figure out.

[Terry Brown]

On Wed, 30 Dec 2015 02:10:15 -0800 (PST)
Satheesh Vattekkat <vsb...@gmail.com> wrote:

> Sorry, this looks like a stupid question -- but I've been struggling
> for 2 days to get this working.

Did you try this menu item:

Settings -> Edit Settings -> Fonts -> Body fonts -> Size

I'm not sure how it would interact with leo10pt.leo though, not
familiar with that. Also the above menu thing tries to be clever, but
can't guarantee results in an environment with unknown changes.

For quick relief, you should be able to use Ctrl-Mousewheel to change
the font size in the body.

Cheers -Terry

[Satheesh Vattekkat]

Did you try this menu item:

Settings -> Edit Settings -> Fonts -> Body fonts -> Size

This didn't work; I think it is something to do with leo10pt.leo. Even zoom-in doesn't work when I use any of the leo*pt.leo data nodes. If I don't have that node in my settings, then this Edit Settings  thing works. 

I will work backwards by adding my own custom gui css node with basic things first... Thanks for the tip.

PS: To most colleagues, the original Tk colorscheme invokes an instant dislike; when I change to these gray color schemes, people find it very professional and in tune with modern UI themes. Just a side note.

[Satheesh Vattekkat]

I ended up removing the @data node; and added @font-size setting; Copied Colors node into my settings and changed to what I liked. 

Problem solved. However, having all those things in one single node as CSS to edit was way too tempting to try :)

[Richard Andersen]

Hi Satheesh.

I'm new to Leo, but am really impressed by it.

I found this note...

C:\Program Files (x86)\Leo-5.1-final\leo\config\leoSettings.leo#About this file, leoSettings.leo--> Basic setting nodes-->@font

... where it says...

    **Important**: these nodes **only** specify fonts used by Leo's syntax colorizer.

    

    To set fonts in Leo's widgets, change Leo's master style sheet::

        

        @data qt-gui-plugin-style-sheet 

    

    Valid values for the body of @font nodes::

        

        family: a font family name

        size:   an integer

        weight: bold, normal, None

        slant: roman, italic, None

    

    Use the show-fonts command to pick fonts, then copy the values shown by the

    show-fonts command to the values here.

... and also ...

C:\Program Files (x86)\Leo-5.1-final\leo\config\leoSettings.leo#About myLeoSettings.leo

... where it says...

@language rest

myLeoSettings.leo contains your personal settings.

Settings in myLeoSettings.leo override the settings in this file.

Put myLeoSettigns.leo in your home (~) directory or in the ~/.leo directory.

Distributions of Leo do not contain myLeoSettings.leo; Leo never

changesyour personal myLeoSettings.leo file.

... but have not made any changes to my system yet.    Would be great to reform the fonts and other settings to be closer to what you have described.   

Cheers.

-Richard

[Satheesh Vattekkat]

Hi Richard,

I found this note...

C:\Program Files (x86)\Leo-5.1-final\leo\config\leoSettings.leo#About this file, leoSettings.leo--> Basic setting nodes-->@font

Yes, thanks! That is what I ended up reading and getting some ideas. Couldn't make it work with css file, but by changing only few settings, I was able to get a look I needed. I've attached my LeoSettings.leo. If you just copy Fonts and Colors node from this to your myLeoSettings.leo (Settings -> Personal Settings), save and restart, you should get the same look. I added two color variables viz., manjarogreen (my preferred setup in linux) and cupertinoblue (dull blue background for my Mac) and another variable highlightbg which just points to one of these. Note that I've not put ALL fonts and color settings available on leoSettings.leo global file, but just the ones I needed to override for getting my preferred look.

I am also mostly a newbie on inner workings of Leo - I've been using it for documentation and organized thinking for some years now, but that's about it - don't know how I can choose variable based on os.version automatically; but one time manual fix in each machine is good enough for me :)

HTH

[Richard Andersen]

Thank you, Satheesh.

 I will be giving your configuration settings a try.   I continue to be very impressed with all the capabilities of Leo as I inch my way up the learning curve.   The quickstart.leo file has been very helpful as well.

-Richard

--
You received this message because you are subscribed to a topic in the Google Groups "leo-editor" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/leo-editor/-4M0Y9tmIcE/unsubscribe.
To unsubscribe from this group and all its topics, send an email to leo-editor+...@googlegroups.com.
To post to this group, send email to leo-e...@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.