On Mon, 2 Jul 2012 22:13:36 -0700 (PDT)
"F.S." <[email protected]> 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 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.
