On Tue, 12 Nov 2013 00:37:35 -0800 Matt Wilkie <[email protected]> wrote:
> On Sun, Nov 10, 2013 at 10:39 AM, Viktor Ransmayr <[email protected] > > wrote: > > > 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 > > ... > > > > Same here, Win7. myLeoSettings.leo only has 2 nodes "@settings --> > @enabled-plugins", no theme or font stuff. > > Curiously, adding a single headline named "@data qt-gui-plugin-style-sheet" > with NO content and restarting caused the outline pane font to revert to a > smaller size, while continuing to show log pane and body text in much > oversized font. see attached. I think there's a mixture of styling with the stylesheet, and styling things directly at the widget code level, and we should probably be trying to eliminate the latter. So a blank @data qt-gui-plugin-style-sheet sets all stylesheet derived visuals to system default, but doesn't impact direct widget @settings / set<X>() calls. Cheers -Terry > Bzr says I'm on rev 6276, while Leo says build 6240. > > QQQ > Leo Log Window > Leo 4.11 final, build 6240, 2013-11-06 > Python 2.7.4, qt version 4.7.1 > Windows 6, 1, 7601, 2, Service Pack 1 > Abbreviations off > reading: C:\Users\Matt\Dropbox\.leo\myLeoSettings.leo > QQQ > > QQQ > Run command: bzr version-info > > revision-id: [email protected] > > date: 2013-11-11 21:27:45 -0600 > > build-date: 2013-11-12 00:36:23 -0800 > > revno: 6276 > > branch-nick: trunk > QQQ > -- 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.
