On Mon, 1 Apr 2013 14:52:55 -0300 Haroldo Stenger <[email protected]> wrote:
> 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 Not sure what you did - if you imported all the .py text into the body of a single node, the syntax colorizer would slow things down, I seem to remember it spends up to n microseconds coloring a node before bailing, did it end up that way? Anyway, extremely long nodes full of highlightable text are slow - @nocolor at the top helps. Cheers -Terry > 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.
