I have thought about this. It's certainly a possibility. One reason I didn't put effort into it is that, if you open a theme outline while Leo is already open, its colors take over even for outlines that are already open. But the name of the theme that Leo reports back to a program does not change to match. So the only way to be sure of choosing a reasonable highlight color for the theme in effect is to take the actual colors from the body pane, and compute the color based on them.
I could look into it further, though. On Saturday, May 14, 2022 at 6:54:32 AM UTC-4 jkn wrote: > Would it be a good idea to have the highlight colour as an (overridable) > setting within themes? > > > On Monday, May 9, 2022 at 8:12:07 PM UTC+1 tbp1...@gmail.com wrote: > >> : ) >> >> On Monday, May 9, 2022 at 3:09:41 PM UTC-4 jkn wrote: >> >>> ... and I have just come across this and will find it useful - thanks! >>> >>> J^n >>> >>> >>> On Friday, March 4, 2022 at 3:09:53 PM UTC tbp1...@gmail.com wrote: >>> >>>> Leo can highlight the current cursor line in the body. If you haven't >>>> tried this out yet, there is an item in the *Help/Open Help Topics* >>>> menu that tells you what settings to use. >>>> >>>> The code tries to compute a reasonable highlight color based on the >>>> theme in use. You can override this color with your own choice using a >>>> setting. But previously, if you opened a theme's outline, say if you >>>> wanted to edit it, that theme's color would become used by all open >>>> outlines but the highlight code would not change to match. This could >>>> produce unreadable text if you were unlucky. >>>> >>>> With today's devel branch, the highlighting code notices the change in >>>> colors and recomputes the highlight color. The new highlight color will >>>> be >>>> applied the next time you move the cursor. >>>> >>> -- 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/6015ae7c-825d-4d32-b37d-03eba1e6b7d3n%40googlegroups.com.
