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.

Reply via email to