On Mon, 1 Apr 2013 14:20:16 -0300 Haroldo Stenger <[email protected]> wrote:
> hi again, > > One of the main usability issues for me is the ability to resize the font > of either the node I'm in, or the pane I'm at, or the whole screen's widget > containers (until I visit my eyes physician soon, and have a pair of lenses > done). Whenever I visit a web page, one of the first things I do is ctrl + > four or five times. Sometimes I realize that I went too far enlarging the > font, that I press ctrl - once or twice. > > 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. Right now, I suspect this is hard to do, because the master stylesheet is re-applied all the time. 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 :-) But if we get into the recent theme work, this might be related. 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 Cheers -Terry > little, build a proper template, maybe a parametered one based on current > font size setting, and have a key combination bound to that script action. > > While I think about it, some Leo programming questions, or scripting > questions, come to my head, which I couldn't for whatever reason solve by > reading the docs, or googling. > > Not long ago, Edward you told me about : > > @button set-style c.frame.top.leo_ui.setStyleSheet(p.b) > > which I learned later, was originally proposed by Terry, and later on, > taken again by ekr in order to eventually document about it, and also > suggested a way of modifying only the structure of a given widget instead > of the whole .leo file section; then he wrote: > > > 2012/1/22 Edward K. Ream <[email protected]> > > > As an alternative, if w is any Qt widget, w.setStyleSheet(p.b) will > > set the stylesheet for that widget only: the top-level stylesheet (the > > stylesheet for c.frame.top.leo_ui) remains unchanged. > > > > > which leads me to the question of: how to get the w? > > More deeply, I'm trying hard to understand why > c.frame.top.leo_ui.setStyleSheet(p.b) > works, and I can't realize myself. > > what does p.b contain that is relevant to set StyleSheet(), the template > that I want to use as the new one? How could I get the current template in > use, then modify it, even manually in a node, and the apply it back again? > > Last, I'd need to bind ctrl + to the enlarging font script. > > Has this issue ever been approched before ? > > thanks > > 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.
