Thank you, Chris, for the quick reply.
I didn't do anything with themes, so no idea which one is active. This
themes thingy looks strange to me anyway: Why settings if you have to edit
themes?!
Anyway, this is what I did in repsonse to your post:
Open a theme from the settings menu: Does not work, i.e. nothing happens.
Copy the whole folder to .leo. Change owner (permmissions!) to my user.
Choose old_themes from there by File -> Open-outline. Colours look good (no
dark theme or the like, phew).
Goto "Outline pane (change default path)" (path? What the heck...)
Find
QTreeWidget::item:selected {
/* Headlines when they selected but *not* edited. */
color: @edit-label-fg;
background-color: @edit-label-bg;
font-family: @edit-label-font-family;
font-size: @edit-label-font-size;
font-weight: @edit-label-font-weight;
font-style: @edit-label-font-style;
}
in the node @data qt-gui-plugin-style-sheet.
Change e.g. "@edit-label-bg" to "lightgray" w/o the quotes. BTW, where are
these values defined? In the settings? So the settings ask the theme for
figures and the theme asks the settings for the numbers?
Line is now
" background-color: lightgray; //@edit-label-bg;" (w/o the quotes).
Open myLeoSettings.leo and add at the bottom as the last node:
@string theme-name = old_themes
Close Leo and reopen it.
Result negative: Selected nodes's background colour is still blue.
Cheers Paul
P.S.: As it seems this group editor offers only to post replies to my own
posts. Actually, wanted to post a reply to Chris' post. How is this done?
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
