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 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.
