On Fri, May 18, 2012 at 5:24 AM, Steve Litt <[email protected]> wrote: > Hi all,
Hi Steve. So glad to have you with us here. > I couldn't find anything in the leoSettings.leo outline to enlarge the > font until I googled and discovered Candidates for settings in > myLeoSettings.leo->Appearance->@data qt-gui-plugin-style-sheet. Even > after that, the code in the body text for @data > qt-gui-plugin-style-sheet wasn't informative enough for me to figure > out which went with which part of the screen, and given that you must > restart to have it take effect, experimentation was difficult. I just > set a whole bunch of 12's to 16's and could read it comfortably, but I > still don't know exactly what I did :-) In the immortal words of Alan Greenspan, "I'm shocked, shocked" that you should have any problem whatever with Leo's oh-so-intuitively-obvious configuration system. In other words, I apologize for writing such crappy software ;-) One trick I highly recommend is to set up a very easy way to run a smallish .leo file. I have a script called just "e" that brings up my ~/ekr.leo file. So I can make changes to Leo in my *big* leoPy.leo file and test it with ekr.leo. This saves a *lot* of time. More details at: http://webpages.charter.net/edreamleo/FAQ.html#how-can-i-use-leo-to-develop-leo-itself > I'd suggest more comments in @data qt-gui-plugin-style-sheet, as well > as an "Absolute Newbie's Section" in the quickstart, which contains > absolutely nothing about using Leo for programming. I recommend two places for introductions to Leo programming. - Leo's Tutorial: http://webpages.charter.net/edreamleo/intro.html - The quickstart.leo file, in leo/docs, does say a bit about programming. But if you have questions, the best place to ask is right here. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
