I am on Leo 5.8 on a Linux box and cannot change the font of the Outline Pane. If I change the basic @font-size, the Body Pane and the Log Pane change, but not so the Outline Pane (which originally pointed to @font-size), no matter how (directly or by Settings -> Edit Settings -> Fonts -> Outline pane fonts etc.) I change the following settings:
@string tree-font-size @string head-font-size @string edit-label-font-size All three point to @medium-font-size. Any change of @medium-font-size is not honoured. I do all changes in myLeoSettings.leo Is there a known issue with Outline Pane Fonts or what am I doing wrong? Cheers Paul -- 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.
