I poked around the code to see if there was a way to change on the fly
the font size in the body pane. I believe the @int qt-rich-text-zoom-
in = 10 will change things (but maybe that is the wrong setting?).
Can the text zoom be changed on the fly?
I'm want to be able to increase the font size when my eyes begin to
fail -- I am used to doing that under a browser.
I did find that the getters work for settings:
qt = c.config.getInt('qt-rich-text-zoom-in')
g.es('qt-rich-text-zoom-in',qt)
=====
qt-rich-text-zoom-in 10.
But the setters don't. There are no setters in the configSettings
class. From the doc:
for val in (False,True):
c.config.set(p,'rst3_format_headlines',val)
format_headlines = c.config.getBool('rst3_format_headlines')
print('format_headlines',format_headlines)
=====
exception executing script
AttributeError: configSettings instance has no attribute 'set'
--------------------
line 18: for val in (False,True):
* line 19: c.config.set(p,'rst3_format_headlines',val)
line 20: format_headlines =
c.config.getBool('rst3_format_headlines')
line 21: print('format_headlines',format_headlines)
--
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.
