Thanks for the help. I installed the dejavu fonts, which didn't come with
Windows 7. That solved the mono space fonts issue. The fonts look a bit
peculiar on Windows, but I will either get used to it or find some other
fixed width fonts, now that you showed me where the font settings are made.
On Tuesday, July 3, 2012 5:03:34 AM UTC-7, Terry wrote:
>
> On Mon, 2 Jul 2012 22:13:36 -0700 (PDT)
> "F.S." <speech.f...@gmail.com> wrote:
>
> > Also in 4.7 the log pane used monospace fonts so one can print out a
> table
> > nicely using Python print formatting but in 4.10 the log pane seems to
> > default to a proportional font.
>
> You can copy the node `@data qt-gui-plugin-style-sheet` from
> leoSettings.py to myLeoSettings.py, and look for
>
> /* The log panes */
> QTextEdit#log-widget {
> background-color: #ffffec; /* #f2fdff; */
> selection-color: white;
> selection-background-color: blue;
> /* font-family: Courier New; */
> font-family: DejaVu Sans Mono;
> font-size: 16px;
> font-weight: normal; /* normal,bold,100,..,900 */
> font-style: normal; /* normal, italic,oblique */
> }
>
> ... hmm, this is my version but it seems the default is DejaVu Sans
> Mono in leoSettings.py as well. So I wonder if that font exists on
> your system? Font-family should probably be
>
> font-family: DejaVu Sans Mono, monospace;
>
> Not sure about the extra newlines, that sounds like a bug.
>
> Cheers -Terry
>
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To view this discussion on the web visit
https://groups.google.com/d/msg/leo-editor/-/rSbEEmj7FeQJ.
To post to this group, send email to leo-editor@googlegroups.com.
To unsubscribe from this group, send email to
leo-editor+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/leo-editor?hl=en.
