2013/4/1 Terry Brown <[email protected]> > On Mon, 1 Apr 2013 14:20:16 -0300 > Haroldo Stenger <[email protected]> wrote: > > > I'd like to be able to do the same in Leo. So, I'll have to script a > > This would be an excellent feature to have. Sometimes making text > small can be useful too, to see the overall structure of output dumped > from something, for example. > > sure, that'd be very good too.
> Right now, I suspect this is hard to do, because the master stylesheet > is re-applied all the time. Is this why you made some 'gui-performance' tests a while ago ? I yesterday imported all .py's of Leo source code into an outline's node. Then, some of the 'open' (right arrow (excellent feature) or pointing the mouse on [+] and click) operations rendered slow. I wondered if that slowness had to do with the algorithms and data structures of the GUI, or of the outline and nodes. Now that you mention the repeated reapplication of the master stylesheet, I can imagine that making part of the slowness, perhaps. > Maybe we could look into this at the > sprint - let's see, I think that's about a months worth of full time > work proposed so far for that day and a bit :-) hahahha, take it easy !! > But if we get into the > recent theme work, this might be related. > > great. > So, best you can do now is set the font size you want in > $HOME/.leo/myLeoSettings.leo ... @settings ... > @data qt-gui-plugin-style-sheet > > great, I'll do. Anyway, I'll study and ask until I understand: > why > > c.frame.top.leo_ui.setStyleSheet(p.b) > > works? > :-) best, Haroldo -- 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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
