Part of each theme are the images. You can either pull the latest Leo (git clone https://github.com/leo-editor/leo-editor.git) and checkout the devel branch or you can place these two images in the folder ../leo/themes/dark.
Chris On Thursday, March 15, 2018 at 12:28:31 PM UTC-7, Chris George wrote: > > Theming machinery is currently in flux. > > To change fonts sizes, open @theme Breeze Dark-->Settings for Leo Breeze > Dark-->Fonts & text sizes and you can change font sizes for the three > panes. I haven't abstracted the "default" font size that applies to a few > things yet, but when I do font sizes will be changeable in the same place. > > Chris > > On Thursday, March 15, 2018 at 12:19:55 PM UTC-7, rengel wrote: >> >> >> <https://lh3.googleusercontent.com/-nUKEbBk5QGA/WqrHK0wNXkI/AAAAAAAAAIA/h5TXM1lJlRoQzxoqGVcbeTg4IHnBKKrqQCLcBGAs/s1600/BreezeDark.png> >> >> Figured it out. >> For anybody interested: >> Open 'Breeze Dark Theme.leo' in Leo. >> Copy the node '@theme Breeze Dark'. >> Open 'myLeoSettings.leo'. >> Paste the node as the last child of '@settings'. >> Save and restart. >> >> Still, no the results expected. Font sizes are different, but don't have >> the values set under 'Basic Fonts' and the icons/arrows to open/close nodes >> are invisible. >> >> >> >> >> -- 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.
