subject:"Themes"

Re: Leo Themes - Tweaks and Comparisons

2023-02-27 Thread Thomas Passin

Looking at the images I just posted, they all have a slight lack of 
sharpness.  It must be something about resizing done by Google Groups, 
because the originals look sharper.

On Monday, February 27, 2023 at 9:18:45 PM UTC-5 Thomas Passin wrote:

> From time to time I revisit Leo's color themes.  It's not my idea of fun, 
> but sometimes I can make Leo a little more pleasant to work with by some 
> adjustments.
>
> I have just adjusted a few of my themes and added a new one, *tbp_light*, 
> which is basically a mildly adjusted solarized light theme.  The new theme 
> and the adjusted old ones are now in the devel branch. The *tbp_dark *and 
> *tbp_light* ones now have a bit more contrast between text color and 
> background.
>
> All of the five themes of mine in Leo's theme directory have "tbp" in 
> their names. One of their main features is that most of the elements use 
> what I call a "UI" font - that is, a non-monospaced font - that is easier 
> to read and more compact than the usual monospaced font used for the body 
> and log panes.  That works well for the tree pane, for example.
>
> Just now I prefer the *tbp_dark* theme, but that can change from time to 
> time.
>
> To make it easier for folks to look at and assess the various themes, I 
> have taken screen shots of most of them.  I have attached 11 of them to 
> this post.  Some of them have very large font sizes;  they must have been 
> developed by people who have more pixels than I.  One of them, *swotLight*, 
> does not use a mono-spaced font for the body, so I can't recommend it if 
> you plan to do programming.  I am working on a variant that will be better 
> for programming, and fixes a few problems this theme has.  If I like the 
> results, I'll post about it here.
>
> It's pretty easy to change the font sizes so don't despair if a theme you 
> like has the wrong size font for you.
>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/94394a3a-ecce-422a-8bc0-3e462bcc2368n%40googlegroups.com.

Re: Utility Method To Rescale Sizes In Stylesheets and Themes

2022-03-11 Thread tbp1...@gmail.com

Oops, the new method is named *rescale_sizes()* - a last-minute change - as 
correctly shown in my code example.  The PR has just been approved, so it 
should be in the latest version of the devel branch.

On Friday, March 11, 2022 at 12:10:44 AM UTC-5 tbp1...@gmail.com wrote:

> I have just submitted a PR for a new method to be added to Leo's 
> Stylesheet Manager  (g.app.gui.styleSheetManagerClass).  The new method 
> is named *rescale_fonts() *and it lets you easily rescale all the sizes 
> in a CSS stylesheet  or a Leo theme outline.  It rescales logical sizes 
> (like @string font-family-base = 10.6pt) and physical sizes (like font-size: 
> 10.6pt;)
>
> The background is that I have been struggling with coming up with a theme 
> that works on a small tablet I have.  I couldn't get it to be usable, and I 
> got tired of trying to hand-edit all those logical font-sizes, like 
> @font-family-basic 
> = 10.6pt.  Also, there are many other sizes that are not usually given 
> logical names, like the various paddings and margins that also need to be 
> changed.
>
> At the same time, I was becoming aware that my two plugins, VR3 and 
> Freewin, as well as a new thing I'm working on, don't adjust to changes in 
> theme font size, and I was wondering how to make them adapt more 
> automatically.  And I found that some of the standard plugins that I depend 
> on all the time, like the Find and Nav tabs, also don't scale with the 
> theme sizes.  How to fix all that?
>
> So I wrote a script that uses a regular expression to find all the size 
> instances in pt or px and resize them by a specified factor.  Non-integer 
> sizes are allowed (since I use them in places). Qt and browsers honor point 
> sizes to at least .5pt granularity, and possibly finer.  I'm not sure what 
> will happen for a size in fractional px, like 1.5px.  Presumably  the 
> nearest integer will be used, but it remains to be seen.  If necessary, I 
> could adapt the method to avoid fractional px values - that would be easy.
>
> Once I had this script, I thought that it could be useful to others, 
> especially plugin developers, and that the obvious home for it would be as 
> a new method on the style sheet manager. After all, the SSM already has a 
> node for "Computations on stylesheets themselves".
>
> Using the method to rescale a theme or stylesheet is this easy:
>
> # Input "theme" is a theme or css string
> SCALE = 1.25
> ssm = g.app.gui.styleSheetManagerClass(c)
> rescaled = ssm.rescale_sizes(theme, SCALE)
> # Save to a new theme file if desired, or load the 
> # changed stylesheet back into the master widget, etc.
>
> Assuming that @Edward agrees, the new method should show up on the devel 
> branch soon.  The PR is at Add new utility method to Qt styleSheetManager 
> class: rescale 
>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/19534e3a-82c2-43ce-9462-bc0a9918cba5n%40googlegroups.com.

Utility Method To Rescale Sizes In Stylesheets and Themes

2022-03-10 Thread tbp1...@gmail.com

I have just submitted a PR for a new method to be added to Leo's Stylesheet
Manager (g.app.gui.styleSheetManagerClass). The new method is named
*rescale_fonts() *and it lets you easily rescale all the sizes in a CSS
stylesheet or a Leo theme outline. It rescales logical sizes (like @string
font-family-base = 10.6pt) and physical sizes (like font-size: 10.6pt;)

The background is that I have been struggling with coming up with a theme
that works on a small tablet I have. I couldn't get it to be usable, and I
got tired of trying to hand-edit all those logical font-sizes, like
@font-family-basic
= 10.6pt. Also, there are many other sizes that are not usually given
logical names, like the various paddings and margins that also need to be
changed.

At the same time, I was becoming aware that my two plugins, VR3 and
Freewin, as well as a new thing I'm working on, don't adjust to changes in
theme font size, and I was wondering how to make them adapt more
automatically. And I found that some of the standard plugins that I depend
on all the time, like the Find and Nav tabs, also don't scale with the
theme sizes. How to fix all that?

So I wrote a script that uses a regular expression to find all the size
instances in pt or px and resize them by a specified factor. Non-integer
sizes are allowed (since I use them in places). Qt and browsers honor point
sizes to at least .5pt granularity, and possibly finer. I'm not sure what
will happen for a size in fractional px, like 1.5px. Presumably the
nearest integer will be used, but it remains to be seen. If necessary, I
could adapt the method to avoid fractional px values - that would be easy.

Once I had this script, I thought that it could be useful to others,
especially plugin developers, and that the obvious home for it would be as
a new method on the style sheet manager. After all, the SSM already has a
node for "Computations on stylesheets themselves".

Using the method to rescale a theme or stylesheet is this easy:

# Input "theme" is a theme or css string
SCALE = 1.25
ssm = g.app.gui.styleSheetManagerClass(c)
rescaled = ssm.rescale_sizes(theme, SCALE)
# Save to a new theme file if desired, or load the
# changed stylesheet back into the master widget, etc.

Assuming that @Edward agrees, the new method should show up on the devel
branch soon. The PR is at Add new utility method to Qt styleSheetManager
class: rescale

--
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/003a9df2-80d3-461d-a39d-3535c562f6ffn%40googlegroups.com.

Re: Color Themes for Windows Console

2021-07-13 Thread tbp1...@gmail.com

Here's a doskey macro to set a console to solarized dark (the Colortool 
directory is in c:\utility) (all on one line):

doskey solardark=C:\utility\ColorTool\ColorTool.exe 
C:\utility\ColorTool\schemes\solarized_dark.itermcolors ^& cls

If you haven't used the doskey command before,  I keep the aliases (called 
"macros") in a batch file called *aliases.cmd*.  I usually start a console 
with the command cmd /k aliases.  This loads all the aliases.  One of mine 
is named *ea *(*E*dit *A*liases) and it loads the aliases into my text 
editor so I can easily add a new one.

With this scheme, you can open a console, type solardark, and you are ready 
to go.  Or you can just use a pair of batch files.

On Wednesday, July 14, 2021 at 12:17:02 AM UTC-4 tbp1...@gmail.com wrote:

> Hmm, I thought that all console windows would use the new scheme, but 
> maybe not.  You might have to invoke the command for each one.  That 
> shouldn't be very hard - a batch file or doskey command would do it.
>
> On Wednesday, July 14, 2021 at 12:14:34 AM UTC-4 tbp1...@gmail.com wrote:
>
>> Now that I've been using the new solarized themes for Leo, I wanted to 
>> use them for the Windows console, too.  It turns out that the Windows 
>> terminal group has developed a tool to set other color themes for the 
>> console.  There is a link on this page:
>>
>> ColorTool 
>> <https://github.com/microsoft/terminal/tree/main/src/tools/ColorTool>
>>
>> You unzip the zip file.  There will be the colortool executable and a 
>> schemes folder with some color schemes, including a light and dark 
>> solarized scheme.  These are the real thing, using the real published 
>> solarized colors.
>>
>> You run the tool with the name of the scheme, e.g.
>>
>> ColorTool.exe schemes\solarized_dark.itermcolors
>>
>> You will get a window with a whole lot of colors.  Don't worry, it is 
>> only showing the various colors it uses.  You can clear the screen with the 
>> cls command if you like.
>>
>> The new color scheme will stick until you set a new one or change some 
>> color(s) in the Properties dialog.
>>
>>
>>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/3a193f1a-d8c6-423a-8b74-2f246733c604n%40googlegroups.com.

Re: Color Themes for Windows Console

2021-07-13 Thread tbp1...@gmail.com

Hmm, I thought that all console windows would use the new scheme, but maybe 
not.  You might have to invoke the command for each one.  That shouldn't be 
very hard - a batch file or doskey command would do it.

On Wednesday, July 14, 2021 at 12:14:34 AM UTC-4 tbp1...@gmail.com wrote:

> Now that I've been using the new solarized themes for Leo, I wanted to use 
> them for the Windows console, too.  It turns out that the Windows terminal 
> group has developed a tool to set other color themes for the console.  
> There is a link on this page:
>
> ColorTool 
> <https://github.com/microsoft/terminal/tree/main/src/tools/ColorTool>
>
> You unzip the zip file.  There will be the colortool executable and a 
> schemes folder with some color schemes, including a light and dark 
> solarized scheme.  These are the real thing, using the real published 
> solarized colors.
>
> You run the tool with the name of the scheme, e.g.
>
> ColorTool.exe schemes\solarized_dark.itermcolors
>
> You will get a window with a whole lot of colors.  Don't worry, it is only 
> showing the various colors it uses.  You can clear the screen with the cls 
> command if you like.
>
> The new color scheme will stick until you set a new one or change some 
> color(s) in the Properties dialog.
>
>
>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/2af19857-efe5-4e7b-9938-2708e374553an%40googlegroups.com.

Color Themes for Windows Console

2021-07-13 Thread tbp1...@gmail.com

Now that I've been using the new solarized themes for Leo, I wanted to use 
them for the Windows console, too.  It turns out that the Windows terminal 
group has developed a tool to set other color themes for the console.  
There is a link on this page:

ColorTool 
<https://github.com/microsoft/terminal/tree/main/src/tools/ColorTool>

You unzip the zip file.  There will be the colortool executable and a 
schemes folder with some color schemes, including a light and dark 
solarized scheme.  These are the real thing, using the real published 
solarized colors.

You run the tool with the name of the scheme, e.g.

ColorTool.exe schemes\solarized_dark.itermcolors

You will get a window with a whole lot of colors.  Don't worry, it is only 
showing the various colors it uses.  You can clear the screen with the cls 
command if you like.

The new color scheme will stick until you set a new one or change some 
color(s) in the Properties dialog.


-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/5168bb8f-37cd-4e55-ba04-93055441a648n%40googlegroups.com.

Re: Four New Themes For Leo

2021-07-12 Thread tbp1...@gmail.com

: ) You are welcome!

On Monday, July 12, 2021 at 12:59:27 AM UTC-4 tickli...@gmail.com wrote:

> The themes are so great! Thank you!
>
> On Saturday, July 10, 2021 at 9:06:25 PM UTC+7 tbp1...@gmail.com wrote:
>
>> The themes have already been merged into today's *devel* branch.
>>
>> On Saturday, July 10, 2021 at 9:14:33 AM UTC-4 tbp1...@gmail.com wrote:
>>
>>> Thanks, @gar!  I asked a while ago if changing the theme on the fly 
>>> could be done.  It can already almost be done.  When I open a theme file - 
>>> as an outline, I mean - Leo's colors mostly change to match the theme.  But 
>>> not in the log pane.  That seems to get a mix of old and new colors.  
>>> That's often unpleasant and sometime unreadable.  I wonder if the log 
>>> pane's styling doesn't set all the colors but leaves some of them at 
>>> previous values.
>>>
>>> Let me know if you would like the theme files sooner than the PR gets 
>>> approved, and I'll post them here.  It might be some time for the PR, since 
>>> @ekr is busy getting the beta of v6.4 ready for release.
>>>
>>> On Saturday, July 10, 2021 at 2:41:48 AM UTC-4 gar wrote:
>>>
>>>> tbp1, 
>>>> your themes are great. For my own need I changed the ekr's ones - but 
>>>> in a some ugly manner like change the colors for more bright for fonts and 
>>>> so one. Original ones seemed too poor for me. My changes made them 
>>>> slightly 
>>>> ugly.
>>>> Yours are quite balanced and look pretty.
>>>>
>>>> By the way, can Leo change the theme on the fly? AFAIR it never could, 
>>>> so changing a theme always was a challenge. 
>>>>
>>>>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/81915280-6d41-4c71-923b-0513c757b449n%40googlegroups.com.

Re: Four New Themes For Leo

2021-07-11 Thread Alexey Tikhonov

The themes are so great! Thank you!

On Saturday, July 10, 2021 at 9:06:25 PM UTC+7 tbp1...@gmail.com wrote:

> The themes have already been merged into today's *devel* branch.
>
> On Saturday, July 10, 2021 at 9:14:33 AM UTC-4 tbp1...@gmail.com wrote:
>
>> Thanks, @gar!  I asked a while ago if changing the theme on the fly could 
>> be done.  It can already almost be done.  When I open a theme file - as an 
>> outline, I mean - Leo's colors mostly change to match the theme.  But not 
>> in the log pane.  That seems to get a mix of old and new colors.  That's 
>> often unpleasant and sometime unreadable.  I wonder if the log pane's 
>> styling doesn't set all the colors but leaves some of them at previous 
>> values.
>>
>> Let me know if you would like the theme files sooner than the PR gets 
>> approved, and I'll post them here.  It might be some time for the PR, since 
>> @ekr is busy getting the beta of v6.4 ready for release.
>>
>> On Saturday, July 10, 2021 at 2:41:48 AM UTC-4 gar wrote:
>>
>>> tbp1, 
>>> your themes are great. For my own need I changed the ekr's ones - but in 
>>> a some ugly manner like change the colors for more bright for fonts and so 
>>> one. Original ones seemed too poor for me. My changes made them slightly 
>>> ugly.
>>> Yours are quite balanced and look pretty.
>>>
>>> By the way, can Leo change the theme on the fly? AFAIR it never could, 
>>> so changing a theme always was a challenge. 
>>>
>>>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/3ac70897-4299-4ef3-b045-42afcf72846cn%40googlegroups.com.

Re: Four New Themes For Leo

2021-07-10 Thread tbp1...@gmail.com

The themes have already been merged into today's *devel* branch.

On Saturday, July 10, 2021 at 9:14:33 AM UTC-4 tbp1...@gmail.com wrote:

> Thanks, @gar!  I asked a while ago if changing the theme on the fly could 
> be done.  It can already almost be done.  When I open a theme file - as an 
> outline, I mean - Leo's colors mostly change to match the theme.  But not 
> in the log pane.  That seems to get a mix of old and new colors.  That's 
> often unpleasant and sometime unreadable.  I wonder if the log pane's 
> styling doesn't set all the colors but leaves some of them at previous 
> values.
>
> Let me know if you would like the theme files sooner than the PR gets 
> approved, and I'll post them here.  It might be some time for the PR, since 
> @ekr is busy getting the beta of v6.4 ready for release.
>
> On Saturday, July 10, 2021 at 2:41:48 AM UTC-4 gar wrote:
>
>> tbp1, 
>> your themes are great. For my own need I changed the ekr's ones - but in 
>> a some ugly manner like change the colors for more bright for fonts and so 
>> one. Original ones seemed too poor for me. My changes made them slightly 
>> ugly.
>> Yours are quite balanced and look pretty.
>>
>> By the way, can Leo change the theme on the fly? AFAIR it never could, so 
>> changing a theme always was a challenge. 
>>
>>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/ed8ef7c6-6b04-457d-b56b-8a535b22f539n%40googlegroups.com.

Re: Four New Themes For Leo

2021-07-10 Thread tbp1...@gmail.com

Thanks, @gar!  I asked a while ago if changing the theme on the fly could 
be done.  It can already almost be done.  When I open a theme file - as an 
outline, I mean - Leo's colors mostly change to match the theme.  But not 
in the log pane.  That seems to get a mix of old and new colors.  That's 
often unpleasant and sometime unreadable.  I wonder if the log pane's 
styling doesn't set all the colors but leaves some of them at previous 
values.

Let me know if you would like the theme files sooner than the PR gets 
approved, and I'll post them here.  It might be some time for the PR, since 
@ekr is busy getting the beta of v6.4 ready for release.

On Saturday, July 10, 2021 at 2:41:48 AM UTC-4 gar wrote:

> tbp1, 
> your themes are great. For my own need I changed the ekr's ones - but in a 
> some ugly manner like change the colors for more bright for fonts and so 
> one. Original ones seemed too poor for me. My changes made them slightly 
> ugly.
> Yours are quite balanced and look pretty.
>
> By the way, can Leo change the theme on the fly? AFAIR it never could, so 
> changing a theme always was a challenge. 
>
>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/8db3f887-ec71-4d66-8758-bd81ff0c33a7n%40googlegroups.com.

Re: Four New Themes For Leo

2021-07-09 Thread gar

tbp1,
your themes are great. For my own need I changed the ekr's ones - but in a
some ugly manner like change the colors for more bright for fonts and so
one. Original ones seemed too poor for me. My changes made them slightly
ugly.
Yours are quite balanced and look pretty.

By the way, can Leo change the theme on the fly? AFAIR it never could, so
changing a theme always was a challenge.

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAC%2B8SVwDUf_x2bDqCg9HFEOZ3tnfVCHer9m-F-prCW0teiNy6Q%40mail.gmail.com.

Re: leo + mac: Old light themes and shortcut for edit headline?

2021-05-15 Thread Satheesh Vattekkat

I realized that in OSX, this solution doesn't paint the tree open/closed 
icons making it a bit difficult to figure out whether a node has children 
or not.

I tried adding in myLeoSettings: @string tree-image-open = 
nodes-light/triangles/open.png; looking at the code, it does read this 
file, but icons are not drawn. Could be an OSX specific things.

Anyway, found a solution that goes with my preferred light gray background 
schemes. All nice light colors; arrow icons back etc.

Header edit shortcut is still a problem - since my workflow involves making 
outline first, edits of the text is not that much and living with it now.

@string theme-name = NullTheme
@string font-family = Fira Code,Droid Sans Mono
@string font-size-body = 14pt
@data qt-gui-user-style-sheet
  QWidget {
  background:  #e5e9f0;
  font-family: @font-family;
  font-size: @font-size-body;
  }
  QTextEdit {
  background: #e5e9f0;
  font-family: @font-family;
  }


On Thursday, May 13, 2021 at 10:22:11 AM UTC+5:30 Satheesh Vattekkat wrote:

> 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 tbp1...@gmail.com 
> 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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/7c06582a-eeac-4795-9f4d-a8f630fdabf7n%40googlegroups.com.

Re: leo + mac: Old light themes and shortcut for edit headline?

2021-05-12 Thread Satheesh Vattekkat

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

Re: leo + mac: Old light themes and shortcut for edit headline?

2021-05-12 Thread tbp1...@gmail.com

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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/df340108-66b2-4b48-a900-f0b0bef71f04n%40googlegroups.com.

leo + mac: Old light themes and shortcut for edit headline?

2021-05-12 Thread Satheesh Vattekkat

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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/98f65fbe-9804-49ec-854a-357d3410b895n%40googlegroups.com.

Re: Progress re themes. Theme devs, pls read

2020-12-26 Thread gar

>
> How a new user would know about any of this is hard for me to see.  At a
> minimum, a menu item that offers to change the font size would be easy to
> find and use.  Changing the font is probably what many new users will want
> to do soon after opening Leo.  It's easy to think of ways this could be
> implemented, some more of a hack than others.
>
> Absolutely true!
Also I noticed that when theme outline is loaded - Leo applies the theme.
So why not implement a dropdown menu with all found themes so users can
change look and feel on the fly?

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAC%2B8SVwwF%2BTY7ozewB7gMvo5nN1bzv_AZQF4dvzz0-kFtLHDBA%40mail.gmail.com.

Re: Progress re themes. Theme devs, pls read

2020-12-26 Thread tbp1...@gmail.com

On Saturday, December 26, 2020 at 9:10:39 AM UTC-5 gar wrote:

> It's a matter of adding or changing a setting in *myLeoSettings.leo* vs 
>> changing a setting in a theme outline.  Not much different.  More of a 
>> difficulty is knowing what particular settings to change.
>>
> Great difference actually. When you setup a fresh computer - you need to 
> copy not a single file but a bulk of them. And somehow remember that you 
> cannot easily change the settings - you must change the theme itself. And 
> do it for every theme you're going to use. Good deal, yeah?
>

Not that I like the new design all that much (I mean not being able to 
override at least a few key settings using *myLeoSettings*), but I don't 
think the fresh computer aspect itself is very unpleasant.  That's because 
I already copy my *workbook.leo* from an existing Leo installation when I 
set up a new virtual machine.  When I'm looking at *~/.leo*, I notice the 
*themes 
*directory and that reminds me to copy it.  And I generally copy 
*myLeoSettings.leo*, too, or at least some of its settings.  So I get a 
second reminder about my theme file.

How a new user would know about any of this is hard for me to see.  At a 
minimum, a menu item that offers to change the font size would be easy to 
find and use.  Changing the font is probably what many new users will want 
to do soon after opening Leo.  It's easy to think of ways this could be 
implemented, some more of a hack than others.

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/aa440011-4ae0-4719-b4b6-154ed0efdcb9n%40googlegroups.com.

Re: Progress re themes. Theme devs, pls read

2020-12-26 Thread gar

>
> It's a matter of adding or changing a setting in *myLeoSettings.leo* vs
> changing a setting in a theme outline.  Not much different.  More of a
> difficulty is knowing what particular settings to change.
>
Great difference actually. When you setup a fresh computer - you need to
copy not a single file but a bulk of them. And somehow remember that you
cannot easily change the settings - you must change the theme itself. And
do it for every theme you're going to use. Good deal, yeah?

In my case, I copied one of the dark themes and used that renamed copy to
> try to reduce the font size and one or two other items, like font family
> and gutter settings.  I put it into my *.leo/themes* directory, where Leo
> will look for it.  Usually on a Linux system *.leo/themes* is at
> *~/.leo/themes* and on a Windows system it's at
> *%USERPROFILE%/.leo/themes*. Either is not hard to navigate to.  You do
> need to create the *themes *directory yourself.
>
compare with ":colorsheme ".

Alternatively if you don't use any theme (set it to None or a non-existent
> theme), you get the old Leo color scheme, and you can still modify that in 
> *myLeoSettings
> *- although changing all the settings one by one over to a dark theme,
> say, would be an unpleasantly long and difficult task.
>
Well.. Default settings operate with  one set of options, whilst themes -
with another. This concerns fonts at least. And theme's set cannot be
overridden on myLeoSettings.
Oh, that's a nightmare.  Actually, leo's learning curve is much longer then
vim's one. Nothing works out of the box intuitively.

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAC%2B8SVxqShsLiRH2%2Beq%2BLj4XnKrrXmkWC1oy%2BBKQ%3DiBrg-6%3D7A%40mail.gmail.com.

Re: Progress re themes. Theme devs, pls read

2020-12-26 Thread tbp1...@gmail.com

It's a matter of adding or changing a setting in *myLeoSettings.leo* vs 
changing a setting in a theme outline.  Not much different.  More of a 
difficulty is knowing what particular settings to change.

In my case, I copied one of the dark themes and used that renamed copy to 
try to reduce the font size and one or two other items, like font family 
and gutter settings.  I put it into my *.leo/themes* directory, where Leo 
will look for it.  Usually on a Linux system *.leo/themes* is at 
*~/.leo/themes* and on a Windows system it's at *%USERPROFILE%/.leo/themes*. 
Either is not hard to navigate to.  You do need to create the *themes 
*directory 
yourself.

Alternatively if you don't use any theme (set it to None or a non-existent 
theme), you get the old Leo color scheme, and you can still modify that in 
*myLeoSettings 
*- although changing all the settings one by one over to a dark theme, say, 
would be an unpleasantly long and difficult task.

On Saturday, December 26, 2020 at 4:09:12 AM UTC-5 Edward K. Ream wrote:

> On Sat, Dec 26, 2020 at 2:18 AM gar  wrote:
>
>> But still, how can I reduce leo's font size with a theme applied w/o 
>> modifying the theme outline itself?
>>
>
> You can't, because the setting is in the theme file.
>
> Yes, I know this isn't optimal. The question is, do we want to force 
> everyone to change their present workflow. It's a close call.
>
> Edward
>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/4837e918-03da-4b52-8202-99312ef6cacbn%40googlegroups.com.

Re: Progress re themes. Theme devs, pls read

2020-12-26 Thread Edward K. Ream

On Sat, Dec 26, 2020 at 2:18 AM gar  wrote:

> But still, how can I reduce leo's font size with a theme applied w/o
> modifying the theme outline itself?
>

You can't, because the setting is in the theme file.

Yes, I know this isn't optimal. The question is, do we want to force
everyone to change their present workflow. It's a close call.

Edward

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS1eoKMFes5rXpxWrx191Y_bc7%2BXuntJRxR1k3TV%3D5yepg%40mail.gmail.com.

Re: Progress re themes. Theme devs, pls read

2020-12-26 Thread gar

But still, how can I reduce leo's font size with a theme applied w/o
modifying the theme outline itself?
Playing with `@string font-size`is still gives absolutely nothing.
In my opinion the inability to change font size easily is the great miss of
leo's styling. Cause default fonts are INCREDIBLY huge.

вт, 22 дек. 2020 г. в 22:35, Edward K. Ream :

>
>
> On Tue, Dec 22, 2020 at 11:21 AM tbp1...@gmail.com 
> wrote:
>
>> I'm currently using
>>
>> @string font-family = Consolas, Droid Sans Mono, DejaVu Sans Mono
>>
>> I think that that Consolas comes with Windows and I like it better than
>> some of the alternatives.  Apparently it can be installed on Linux in some
>> manner.  I should probably move the DajaVu font ahead of the Droid, but at
>> any rate this setting seems to work all right on both Windows and Linux.
>>
>
> Thanks for these comments. Consolas does look fairly good.
>
> Devs, please feel free to change the font setting as you please in your
> own themes.
>
> Edward
>
> --
> 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 leo-editor+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/leo-editor/CAMF8tS0woyZXozs7YMwwpLdri9-Uf4p6%2Bg_TExMevotVmygnWw%40mail.gmail.com
> <https://groups.google.com/d/msgid/leo-editor/CAMF8tS0woyZXozs7YMwwpLdri9-Uf4p6%2Bg_TExMevotVmygnWw%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAC%2B8SVwNjwz3vqTmE7%2BYQcROhqO9UnoxW%3D_q7vrji%3DDboQL-Lw%40mail.gmail.com.

Re: Themes: What is the setting to change the gutter font size?

2020-12-24 Thread Edward K. Ream

On Thu, Dec 24, 2020 at 8:33 AM tbp1...@gmail.com 
wrote:


>> I suspect that your theme's stylesheet doesn't support gutter-font-size.
>> My personal style sheet contained:
>>
>> QFrame#gutter {
>>   background: gray;
>> }
>>
>
> I did find that one, but didn't know what should be in there. I'm not
> clear if it's a standard css stylesheet or whether Leo processes it in some
> way.   Can it use one of the parameterized values, like @medium-font-size?
>

The fragment is part of a standard stylesheet, and Leo does pre-process
that sheet, substituting parameterized values.

When in doubt, use the show-settings and show-stylesheet commands.

Edward

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS2kgWe79dCRKwNFttZAG2P9VStC0o5L_FdQwxuCesN95A%40mail.gmail.com.

Re: Themes: What is the setting to change the gutter font size?

2020-12-24 Thread tbp1...@gmail.com



On Thursday, December 24, 2020 at 6:43:31 AM UTC-5 Edward K. Ream wrote:

> On Wed, Dec 23, 2020 at 11:24 PM tbp1...@gmail.com  
> wrote:
>
> I haven't been able to find a setting for specifying the gutter font 
>> size.  
>>
>
> leoSettings.leo contains a "Gutter Fonts" node, with four settings, but 
> you probably already know that. 
>
> One of those settings is @string gutter-font-size = @small-font-size. Did 
> you change this setting?
>

No, I thought all theme settings have been moved into the theme outline, 
and I didn't think to look there. 
 

> Searching through Leo's core sources, I see that Leo only uses the @bool 
> use-gutter setting.
>
> I suspect that your theme's stylesheet doesn't support gutter-font-size. 
> My personal style sheet contained:
>
> QFrame#gutter {
>   background: gray;
> } 
>

I did find that one, but didn't know what should be in there. I'm not clear 
if it's a standard css stylesheet or whether Leo processes it in some way. 
  Can it use one of the parameterized values, like @medium-font-size?
 

> Changing this to the following worked for me:
>
> QFrame#gutter {
>   font-size: 20pt;
>   background: gray;
> } 
>
> HTH.
>
> Edward
>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/9d6a8081-a5d0-40d8-aa88-db3bdc64e3c1n%40googlegroups.com.

Re: Themes: What is the setting to change the gutter font size?

2020-12-24 Thread Edward K. Ream

On Wed, Dec 23, 2020 at 11:24 PM tbp1...@gmail.com 
wrote:

I haven't been able to find a setting for specifying the gutter font size.
>

leoSettings.leo contains a "Gutter Fonts" node, with four settings, but you
probably already know that.

One of those settings is @string gutter-font-size = @small-font-size. Did
you change this setting?

Searching through Leo's core sources, I see that Leo only uses the @bool
use-gutter setting.

I suspect that your theme's stylesheet doesn't support gutter-font-size. My
personal style sheet contained:

QFrame#gutter {
  background: gray;
}

Changing this to the following worked for me:

QFrame#gutter {
  font-size: 20pt;
  background: gray;
}

HTH.

Edward

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS3sH4whwHX%3DEiEkWE08p3ByMk3GDmdpyb7m6xKZkK_qjQ%40mail.gmail.com.

Themes: What is the setting to change the gutter font size?

2020-12-23 Thread tbp1...@gmail.com

I haven't been able to find a setting for specifying the gutter font size.  
When I change the default theme to use 10pt text, the gutter numbers look 
like they stay at 12 pt (although they line up properly).  I have searched 
both the default theme  and LeoPyRef, and haven't found it so far.

Pre-themes, I think it used the body font size.

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/78f6b384-e678-4c12-94e8-e028030ac346n%40googlegroups.com.

Re: Progress re themes. Theme devs, pls read

2020-12-22 Thread Edward K. Ream

On Tue, Dec 22, 2020 at 11:21 AM tbp1...@gmail.com 
wrote:

> I'm currently using
>
> @string font-family = Consolas, Droid Sans Mono, DejaVu Sans Mono
>
> I think that that Consolas comes with Windows and I like it better than
> some of the alternatives.  Apparently it can be installed on Linux in some
> manner.  I should probably move the DajaVu font ahead of the Droid, but at
> any rate this setting seems to work all right on both Windows and Linux.
>

Thanks for these comments. Consolas does look fairly good.

Devs, please feel free to change the font setting as you please in your own
themes.

Edward

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS0woyZXozs7YMwwpLdri9-Uf4p6%2Bg_TExMevotVmygnWw%40mail.gmail.com.

Re: Progress re themes. Theme devs, pls read

2020-12-22 Thread tbp1...@gmail.com

I'm currently using

@string font-family = Consolas, Droid Sans Mono, DejaVu Sans Mono

I think that that Consolas comes with Windows and I like it better than 
some of the alternatives.  Apparently it can be installed on Linux in some 
manner.  I should probably move the DajaVu font ahead of the Droid, but at 
any rate this setting seems to work all right on both Windows and Linux.
On Tuesday, December 22, 2020 at 10:28:00 AM UTC-5 Edward K. Ream wrote:

> On Tuesday, December 22, 2020 at 5:46:37 AM UTC-6 Edward K. Ream wrote:
>
> 2. All theme files now specify font sizes in points (pt) rather than 
>> pixels (px). Using pixels to specify font sizes is brain dead. I am 
>> responsible for this, and I fear theme devs followed my lead.
>>
>
> How did I ever live without the git-diff-pr command? It reminds me that I 
> did make another significant change to text settings:
>
> Old: @string font-family = Inconsolata, Droid Sans Mono, DejaVu Sans Mono
> New: @string font-family = DejaVu Sans Mono
>
> I did this because Inconsolata is unacceptable on my Windows machine.
>
> The fundamental problem is that there is no way to select fonts based on 
> the platform. As I write this, I see that the workaround will be to change 
> the load order:
>
> @string font-family = DejaVu Sans Mono, Inconsolata,  Droid Sans Mono 
>
> I'll do this today. 
>
> Edward
>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/d436d41d-aeb4-4b6d-92ff-41851a3ba4a2n%40googlegroups.com.

Re: Progress re themes. Theme devs, pls read

2020-12-22 Thread Edward K. Ream

On Tuesday, December 22, 2020 at 5:46:37 AM UTC-6 Edward K. Ream wrote:

2. I have used the preferred names for settings in theme files. Settings 
> names have the form x-y-z rather than x_y_z.
>

Only in a few places. Style sheets refer to settings with underscores, and 
I'm not sure whether Leo's stylesheet machinery could handle a change. 
Safer not to find out. I have chosen to leave underscores alone.

I plan no further work on @1792. I'll wait at least a week to merge 
ekr-theme into devel. Now is the time for testing.

Edward

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/839f8470-0368-4447-99be-264bd98cd2fcn%40googlegroups.com.

Re: Progress re themes. Theme devs, pls read

2020-12-22 Thread Edward K. Ream

On Tuesday, December 22, 2020 at 5:46:37 AM UTC-6 Edward K. Ream wrote:

2. All theme files now specify font sizes in points (pt) rather than pixels 
> (px). Using pixels to specify font sizes is brain dead. I am responsible 
> for this, and I fear theme devs followed my lead.
>

How did I ever live without the git-diff-pr command? It reminds me that I 
did make another significant change to text settings:

Old: @string font-family = Inconsolata, Droid Sans Mono, DejaVu Sans Mono
New: @string font-family = DejaVu Sans Mono

I did this because Inconsolata is unacceptable on my Windows machine.

The fundamental problem is that there is no way to select fonts based on 
the platform. As I write this, I see that the workaround will be to change 
the load order:

@string font-family = DejaVu Sans Mono, Inconsolata,  Droid Sans Mono 

I'll do this today. 

Edward

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/8f7b4e8e-0644-4457-a813-0c9778d1bd7fn%40googlegroups.com.

Re: Progress re themes. Theme devs, pls read

2020-12-22 Thread Edward K. Ream

On Tue, Dec 22, 2020 at 5:46 AM Edward K. Ream  wrote:

*Functional changes to theme files*
>
> When I started this project I said that I would make no "real" changes to
> theme files. This is mostly still true, with the following important
> exceptions:
>

I should emphasize that I made *zero* changes to style sheets.

I did change the various EKR dark themes so that the trailing whitespace
indicator is visible This was a buglet in the themes. Otoh, I disabled it
after about 30 seconds of usage :-) I find it way too annoying.

Edward

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS2FOnaq1N3Nz4p5i%2BESX2sxXg8ywfWs2AZna0ASD4kSgQ%40mail.gmail.com.

Progress re themes. Theme devs, pls read

2020-12-22 Thread Edward K. Ream

Yesterday saw breakthroughs and simplifications regarding Leo's theme 
files, .leo files in the leo/themes folders. This post summarizes 
yesterday's work, all contained in the ekr-theme branch. See #1792 
<https://github.com/leo-editor/leo-editor/issues/1792>.

*Aha re testing themes*

Leo loads the settings in theme files second-to-last, that is, just before 
loading the actual .leo file being loaded. This means leoSettings.leo and 
myLeoSettings.leo affect theme files.

Theme files can (and must) deal with the environment leoSettings.leo 
provides, but theme files (and their devs) can't know what will be in 
myLeoSettings.leo.

In the past, I have disabled myLeoSettings.leo completely while testing 
theme files, but this is clumsy: I lose useful settings that won't affect 
theme files, settings such as abbreviations, @command scripts, split 
direction, and find-panel settings.

*Aha*: test theme files with a minimal @settings node in myLeoSettings.leo.

So simple: Replace my usual @settings tree with a minimal @settings tree. 
As an aid to doing this, Leo's code (in ekr-theme) ignores comments after 
@settings. So during testing my two @settings trees look like this:

- @@@settings (full)
- @settings (minimal)

*Simplifying theme files*

Previously, theme files contained @theme trees. Iirc, only settings 
contained within an @theme tree actually took effect.

Looking at theme files with fresh eyes, I suddenly realized that the @theme 
is a (confusing!) holdover from the bad old early days, when users were 
told to cut and paste @theme nodes into their myLeoSettings.leo. Now, these 
nodes are not needed.

Leo's settings node (in ekr-theme) no longer treats @theme nodes as a 
special case. This means:

- All settings in theme nodes have effect.
- Settings nodes should contain only settings that affect Leo's appearance.
- There is no need for @theme nodes.
- There is no need for the confusing distinction between theme settings and 
other settings.

These simplifications cascade into further simplifications. Confusing 
organizer nodes disappear, and a simpler organization presents itself, as 
you can see by looking at the new theme files.

*Functional changes to theme files*

When I started this project I said that I would make no "real" changes to 
theme files. This is mostly still true, with the following important 
exceptions:

1. Theme files no longer contain the @string theme-name setting. This 
setting serves no purpose at all within theme files. In fact, this setting 
can only have effect within myLeoSettings.leo. This setting causes Leo to 
load the theme file, and does *nothing* else.

2. All theme files now specify font sizes in points (pt) rather than pixels 
(px). Using pixels to specify font sizes is brain dead. I am responsible 
for this, and I fear theme devs followed my lead.

3. At present, all theme files use 12 point fonts everywhere, except 
possibly for the so-called small fonts, which use 10 points. This new 
"policy" may not be what some theme devs want. If not, let me know. I'll be 
happy to change any theme so it uses different sizes.

*Additional changes*

The following changes do not have any functional effect on themes, but they 
are worth mentioning:

1. Theme files *must not* set @string target-language. That would 
invalidate the corresponding setting in myLeoSettings.leo.  Instead, theme 
files now use @language rest (or @language md) to specify coloring.

2. I have used the preferred names for settings in theme files. Settings 
names have the form x-y-z rather than x_y_z.

3. The @string color-theme setting is no longer considered a "theme related 
setting". Indeed, that distinction no longer exists. Comments in the 
setting node make clear that this setting specifies the path to a folder 
containing icons. The name "color-theme" is poorly chosen, but I don't dare 
change it now. Understand?

*Testing*

The ekr-theme branch is ready for testing. I will work on it further today. 

Theme devs, please ensure that your theme looks as you want it to. If not, 
please let me know.

*Summary*

Using a minimal @settings tree in myLeoSettings.leo simplifies the 
(complex!) task of developing theme files. Leo now ignores comments in 
@settings nodes, which helps keep track of multiple @settings nodes.

Leo no longer special cases @theme trees within @settings files. As a 
result, theme files no longer use @theme trees.

*All settings in theme files now have effect.* Theme files should contain 
*only* appearance-related settings. In particular, theme files no longer 
contain @string target-language settings.

The result of all these changes is a collapse in the complexity of theme 
files. Apart from font sizes, all themes should behave exactly as before. 
If not, please let me know immediately.

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-ed

Re: Themes documentation

2020-11-14 Thread Edward K. Ream

On Mon, Nov 9, 2020 at 3:27 PM Thomas Passin  wrote:


I think underscore vs dash does not matter.  When Leo imports the settings,
> both of them are removed.
>

That's correct.

Edward

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS3kJ8EjKNvc4g3jNg6XX3biT7i60k7wA3UrC5g19173mQ%40mail.gmail.com.

Re: Themes documentation

2020-11-14 Thread Edward K. Ream

On Mon, Nov 9, 2020 at 2:22 PM Rob  wrote:

> Having trouble loading different themes, so checking the online
> documentation here <http://leoeditor.com/customizing.html#theme-files> as
> well as looking at the main LeoSettings.leo and other theme files, I'm
> confused.
>
> Quoting from the web site:
>
> To enable a theme, put the following setting in myLeoSettings.leo:
> @string theme-name 
>
> First question is shouldn't that read: @string theme-name =
> ? (Missing `=`)
>

Fixed in devel.

Edward

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS3yJbZhhVby%2Bd%3DWmThE75Zxw5%3D9yCPhz1KN9FdvhHZzjg%40mail.gmail.com.

Re: Themes documentation

2020-11-09 Thread Thomas Passin

On Monday, November 9, 2020 at 3:22:04 PM UTC-5, Rob wrote:
>
> Having trouble loading different themes, so checking the online 
> documentation here <http://leoeditor.com/customizing.html#theme-files> as 
> well as looking at the main LeoSettings.leo and other theme files, I'm 
> confused.
>
> Quoting from the web site:
>
> To enable a theme, put the following setting in myLeoSettings.leo:
> @string theme-name 
>
> First question is shouldn't that read: @string theme-name = 
> ? (Missing `=`)
>

Right.
 

> Then later:
>
> Theme files should contain three settings that describe the theme:
> @bool color_theme_is_dark # True for dark themes 
> @string color_theme = name # Used to find icons 
> @string theme_name # Used to find other graphics elements.
>
> Second question, is which syntax is correct theme_name or theme-name 
> (underscore or dash)? I see both used. Does it matter?
>

I think underscore vs dash does not matter.  When Leo imports the settings, 
both of them are removed (as I'm pretty sure I saw somewhere in the code).

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/1963842d-32de-44aa-a884-a835887dffb1o%40googlegroups.com.

Re: Themes documentation

2020-11-09 Thread Rob

Ignore the third question as I had the setting in the wrong place.


On Monday, November 9, 2020 at 3:22:04 PM UTC-5 Rob wrote:

> Having trouble loading different themes, so checking the online 
> documentation here <http://leoeditor.com/customizing.html#theme-files> as 
> well as looking at the main LeoSettings.leo and other theme files, I'm 
> confused.
>
> Quoting from the web site:
>
> To enable a theme, put the following setting in myLeoSettings.leo:
> @string theme-name 
>
> First question is shouldn't that read: @string theme-name = 
> ? (Missing `=`)
>
> Then later:
>
> Theme files should contain three settings that describe the theme:
> @bool color_theme_is_dark # True for dark themes 
> @string color_theme = name # Used to find icons 
> @string theme_name # Used to find other graphics elements.
>
> Second question, is which syntax is correct theme_name or theme-name 
> (underscore or dash)? I see both used. Does it matter?
>
> Third question is even trying both syntaxes, I can't get a different theme 
> to load. I continue to get the '*expand_css_constants Unresolved 
> @constants*' errors from before and don't know if those are theme related.
>
> Rob...
>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/d781c11a-f1c5-4f13-b78f-e243cf1a2927n%40googlegroups.com.

Themes documentation

2020-11-09 Thread Rob

Having trouble loading different themes, so checking the online 
documentation here <http://leoeditor.com/customizing.html#theme-files> as 
well as looking at the main LeoSettings.leo and other theme files, I'm 
confused.

Quoting from the web site:

To enable a theme, put the following setting in myLeoSettings.leo:
@string theme-name 

First question is shouldn't that read: @string theme-name = 
? (Missing `=`)

Then later:

Theme files should contain three settings that describe the theme:
@bool color_theme_is_dark # True for dark themes 
@string color_theme = name # Used to find icons 
@string theme_name # Used to find other graphics elements.

Second question, is which syntax is correct theme_name or theme-name 
(underscore or dash)? I see both used. Does it matter?

Third question is even trying both syntaxes, I can't get a different theme 
to load. I continue to get the '*expand_css_constants Unresolved @constants*' 
errors from before and don't know if those are theme related.

Rob...

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/2b19b175-036e-4f11-8d6e-d974f5856be0n%40googlegroups.com.

Re: Leo Themes with VR3

2020-11-06 Thread Thomas Passin

That's not a message from VR3.  The stylesheets for VR3 are contained in 
the leo/plugins/viewrendered3 directory.  You can override that by the 
setting @string vr3-rst-stylesheet, or vr3-md-stylesheet for Markdown,  so 
you could check to see if that setting exists in your myLeoSettings.leo 
file.  I have not checked the VR source code to see what css stylesheet it 
normally uses.

As for disabling the VR plugin, if I understand correctly, Edward has 
arranged that it gets loaded even if not listed in @enabled-plugins so that 
it will be available to display help and plugin information.  If VR3 has 
been loaded, it will be used instead used.

However, I noticed just now that if I remove VR and VR3 from the enabled 
list, and VR still pops up to display plugin info, that my key binding to 
it doesn't work. (it also popped up as a freestanding window, not what one 
really wants in most cases).

On Friday, November 6, 2020 at 2:50:38 PM UTC-5, Viktor Ransmayr wrote:
>
> Hello Thomas,
>
> tbp1...@gmail.com schrieb am Mittwoch, 4. November 2020 um 23:26:18 UTC+1:
>
>> It has been pointed out that VR3 does not pick up dark Leo themes, like 
>> the current default EKRDark.  Viewrendered, on the other hand, does.  I've 
>> been looking at addressing this, and could use some help on a few things.
>>
>> First of all, I haven't been able to see how the Leo theme gets applied 
>> to VR.  So far as I can see, VR emits html that has no css styling at all; 
>> presumably the pane somehow uses the theme's style sheet.  But when I 
>> disable the normal stylesheet in VR3, the dark theme is not applied.  You 
>> can see that it is applied to the overall pane itself (for example the 
>> toolbar, which is a QT Widget), but as the browser first paints you can see 
>> the background change from the theme's dark to the usual light background.  
>> Yet the code for loading and displaying the browser in the pane is 
>> basically identical between the two plugins.
>>
>> Somewhere I'm overlooking a difference.  If anyone can help with this, 
>> I'd much appreciate it.
>>
>
>  *Disclaimer: I have not done any check at the source code level of both 
> plugins.*
>
> However, I'd like to make you aware of an error message from the log-pane, 
> when executing the 'rst3' command, which as far as I understand it, does 
> require 'some' rendering (?VR plugin?) capabilities:
>
> ###
>
> Leo Log Window
> Leo 6.2.1 final
> Python 3.8.6, PyQt version 5.15.0
> linux
> setting leoID from os.getenv('USER'): 'user'
> current dir: /home/user/PyVE/PyPI/Leo-stable
>
> load dir: 
> /home/user/PyVE/PyPI/Leo-stable/lib64/python3.8/site-packages/leo/core
>
> global config dir: 
> /home/user/PyVE/PyPI/Leo-stable/lib64/python3.8/site-packages/leo/config
> home dir: /home/user
>
> reading settings in 
> /home/user/PyVE/PyPI/Leo-stable/lib64/python3.8/site-packages/leo/config/leoSettings.leo
> reading settings in /home/user/.leo/myLeoSettings.leo
> reading settings in /home/user/Documents/SL2020.leo
> read outline in 0.29 seconds
>
> wrote recent file: /home/user/.leo/.leoRecentFiles.txt
>  saved: SL2020.leo
> wrote: /home/user/Documents/SL/2020/11/CW45/LE-2020-11-06.html.txt
> stylesheet not found <- !!!
>  /home/user/Documents/default.css <- !!!
> @path: /home/user/Documents
> open path: /home/user/Documents
> wrote: /home/user/Documents/SL/2020/11/CW45/LE-2020-11-06.html
> rst3: 1 files in 0.05 sec.
> ###
>
> I've tried to attempt to disable any renderer, i.e. the 'VR' as well as 
> the 'VR3' plugin in the 'myLeoSettings' file.
>
> The result was somewhat surprising (at least to me) in that the menu / 
> user action 'Help > Open help Topics > Help' continues to work.
>
> My current working theory is that as a user I can't disable **each & 
> every** plugins.
>
> That is, there's still a set of '?mandatory core?' plugins, which Leo 
> keeps active at all time.
>
> That's all that I can provide as a response from my side for now.
>
> With kind regards,
>
> Viktor
>
>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/a2a3bafe-f9fa-4285-96dc-c4535d495461o%40googlegroups.com.

Re: Leo Themes with VR3

2020-11-06 Thread Viktor Ransmayr

Hello Thomas,

tbp1...@gmail.com schrieb am Mittwoch, 4. November 2020 um 23:26:18 UTC+1:

> It has been pointed out that VR3 does not pick up dark Leo themes, like 
> the current default EKRDark.  Viewrendered, on the other hand, does.  I've 
> been looking at addressing this, and could use some help on a few things.
>
> First of all, I haven't been able to see how the Leo theme gets applied to 
> VR.  So far as I can see, VR emits html that has no css styling at all; 
> presumably the pane somehow uses the theme's style sheet.  But when I 
> disable the normal stylesheet in VR3, the dark theme is not applied.  You 
> can see that it is applied to the overall pane itself (for example the 
> toolbar, which is a QT Widget), but as the browser first paints you can see 
> the background change from the theme's dark to the usual light background.  
> Yet the code for loading and displaying the browser in the pane is 
> basically identical between the two plugins.
>
> Somewhere I'm overlooking a difference.  If anyone can help with this, I'd 
> much appreciate it.
>

 *Disclaimer: I have not done any check at the source code level of both 
plugins.*

However, I'd like to make you aware of an error message from the log-pane, 
when executing the 'rst3' command, which as far as I understand it, does 
require 'some' rendering (?VR plugin?) capabilities:

###

Leo Log Window
Leo 6.2.1 final
Python 3.8.6, PyQt version 5.15.0
linux
setting leoID from os.getenv('USER'): 'user'
current dir: /home/user/PyVE/PyPI/Leo-stable
load dir: /home/user/PyVE/PyPI/Leo-stable/lib64/python3.8/site-packages/leo/core
global config dir: 
/home/user/PyVE/PyPI/Leo-stable/lib64/python3.8/site-packages/leo/config
home dir: /home/user
reading settings in 
/home/user/PyVE/PyPI/Leo-stable/lib64/python3.8/site-packages/leo/config/leoSettings.leo
reading settings in /home/user/.leo/myLeoSettings.leo
reading settings in /home/user/Documents/SL2020.leo
read outline in 0.29 seconds

wrote recent file: /home/user/.leo/.leoRecentFiles.txt
 saved: SL2020.leo
wrote: /home/user/Documents/SL/2020/11/CW45/LE-2020-11-06.html.txt
stylesheet not found <- !!!
 /home/user/Documents/default.css <- !!!
@path: /home/user/Documents
open path: /home/user/Documents
wrote: /home/user/Documents/SL/2020/11/CW45/LE-2020-11-06.html
rst3: 1 files in 0.05 sec.
###

I've tried to attempt to disable any renderer, i.e. the 'VR' as well as the 
'VR3' plugin in the 'myLeoSettings' file.

The result was somewhat surprising (at least to me) in that the menu / user 
action 'Help > Open help Topics > Help' continues to work.

My current working theory is that as a user I can't disable **each & 
every** plugins.

That is, there's still a set of '?mandatory core?' plugins, which Leo keeps 
active at all time.

That's all that I can provide as a response from my side for now.

With kind regards,

Viktor

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/b67feff3-fa06-4b44-bf93-471cfa13c40cn%40googlegroups.com.

Leo Themes with VR3

2020-11-04 Thread Thomas Passin

It has been pointed out that VR3 does not pick up dark Leo themes, like the
current default EKRDark. Viewrendered, on the other hand, does. I've been
looking at addressing this, and could use some help on a few things.

First of all, I haven't been able to see how the Leo theme gets applied to
VR. So far as I can see, VR emits html that has no css styling at all;
presumably the pane somehow uses the theme's style sheet. But when I
disable the normal stylesheet in VR3, the dark theme is not applied. You
can see that it is applied to the overall pane itself (for example the
toolbar, which is a QT Widget), but as the browser first paints you can see
the background change from the theme's dark to the usual light background.
Yet the code for loading and displaying the browser in the pane is
basically identical between the two plugins.

Somewhere I'm overlooking a difference. If anyone can help with this, I'd
much appreciate it.

Second, even if the theme were to be applied, VR3 colorizes code blocks
using pygments. One would have to programmatically switch css style sheets
for pygments to be something compatible with a dark theme. There are dark
pygmentize themes out there, though I don't know if they cover all the
languages that VR3 can render. Probably they do but it needs checking.

With this route, VR3 could have a dark theme and a light theme, but it
couldn't adjust to an arbitrary user-supplied Leo theme. I'm thinking that
this would be acceptable. I'd like some guidance here - am I on track
with this way of thinking?

Tom

--
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/fc3feb6e-943f-496e-9c82-0c71108483d2o%40googlegroups.com.

1 2 >

1 - 100 of 181 matches

Mail list logo