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/df340108-66b2-4b48-a900-f0b0bef71f04n%40googlegroups.com.
