Awesome! This worked exactly like what I wanted. I tried using NoneTheme 
and spent lot of time tweaking the settings - duh moment, didn't think of 
giving a wrong theme name at all :)


On Wednesday, May 12, 2021 at 11:07:02 PM UTC+5:30 [email protected] wrote:

> About themes, what I do is to specify a non-existent theme, then add a few 
> settings to tweak the appearance, which is much like the old one.
>
> Here is what I put in MyLeoSettings.leo:
>
> @settings
>     @string theme-name = xxtbp_default_theme
>     No-theme Appearance Settings
>         @string font-size = 10pt 
>         @string font-family = Consolas, Droid Sans Mono, DejaVu Sans Mono, 
> sans-serif
>     Gutter Settings
>         @bool use_gutter = True
>         @int gutter-y-adjust = 5
>
> You will probably want to change the font to something that is on the Mac 
> that you like.  I only have all those fonts to be able to get something 
> reasonable on a variety of Windows and Linux machines I sometimes use (I 
> copy the file to each of them when I set them up with Leo).  You might need 
> to tweak the gutter-y-adjust to suit your font.
>
> The theme name points to a theme file that doesn't exist.  Leo doesn't use 
> the default theme if it can't find the one you specify here, and instead 
> gives you the old appearance. That seems a bit odd, but I'm very glad of 
> it.  I hope that Edward doesn't decide to change it.
> On Wednesday, May 12, 2021 at 8:07:11 AM UTC-4 Satheesh Vattekkat wrote:
>
>> Got a new macbook (work policy:)) and I had to get this all setup again.
>>
>> Installed Leo from git and two things I am finding it difficult on how to 
>> handle (I was on an older version of Leo on Linux so far).
>>
>> 1. How do I get the old light color scheme. Couldn't see any @theme files 
>> for that. Dark DefaultTheme is too dark for me and PaperLight and EKRLight 
>> are, well not something I am used to yet.
>> 2. Cmd-H is reserved by Apple. Saw EKR's post about this. Is there any 
>> way we can set a shortcut for this? I tried @shortcut in myLocalSettings 
>> for edit-headline and it always shows up as an error.
>>
>> edit-headline = Alt-h  for example didn't work.
>>
>> Any help will be great... I did search around in groups and in 
>> documentation - made a new theme, but it is not really as good as the old 
>> one.
>>
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/af92af12-d958-4c99-bdd5-7d38d1cd52e0n%40googlegroups.com.

Reply via email to