Hello Edward, Am Montag, 11. November 2013 12:34:27 UTC+1 schrieb Edward K. Ream: > > On Sun, Nov 10, 2013 at 12:39 PM, Viktor Ransmayr > <[email protected]<javascript:> > > wrote: > > >> My suggestions: >>>> >>>> - Use pt for fonts; use px for borders, margins, etc. >>>> - Use 14pt as default for most panes. >>>> - Use 12pt for text in the Find Panel, and for QLabels. >>>> - Use 5px solid blue for the focus border. >>>> It's always helpful (especially for newbies!) to see at a glace where >>>> focus resides. >>>> - Use white, not light pink, for the background of the body pane. >>>> >>> >>> These are now on the trunk at rev 6250. One addition: use 14pt for the >>> status line. >>> >> >> The out of the box experience for Leo on Windows (8 only?) has >> deteriorated after that change! >> >> Both the headline, body & log pane is using a font that is (much) to big >> ... >> > > Thanks for your feedback. This may be tricky to resolve. What settings > do you use? >
The only font-related setting in the 'myLeoSettings' outline is "@font url font" - It has the following content: url_font_family = DejaVu Sans Mono url_font_size = 10 url_font_slant = None url_font_weight = bold HTH. With kind regards, Viktor -- 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
