I am trying to change the selection background color setting in the body pane to something a bit more sticking out than the light gray it is now, but seem unable to do so. Perhaps it is just my setup, but I tried to set:
@color body_text_selection_background_color = Yellow somewhere inside the @settings tree in myLeoSettings.leo and nothing changes. I even tried to set this in leoSettings.leo, but no effect. I also tried to restart Leo, just in case someone wonders. When printing the settings I get: [M] bodytextselectionbackgroundcolor = yellow but the selection background is still light gray. So, what am I missing here? - Josef -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
