Hi Detlev and thank you for your quick reply,
2012/10/11 Detlev Offenbach det...@die-offenbachs.de
**
All stuff you asked for is used in the eric IDE. You may have a look at
the code or simply use it for your purpose.
I am working on development of a simple interactive python console [1] and
I would like
handle myself this settings by settings dialog base [2].
I am looking to ERIC code but I cannot find something help me !
Here [3] how I defined the settings for lexer !
How can I call pythonConsole/fontfamilytext key in readSettings and pass it
to setDefaultFont method?
and then How can I refresh properties for lexer so apply the changes ?
simply self.lexer.refreshProperties() ??
Any advice is appreciate !
Regards,
-SL
[1] - http://lrssvt.ns0.it/img/console.png
[2] - http://lrssvt.ns0.it/img/settings.png
[3] - https://gist.github.com/3855242
Regards,
Detlev
On Thursday 11 October 2012, 14:33:48 Salvatore Larosa wrote:
Hi all,
I would like to change font and fontsize (eventually API path too) in my
editor by using a setting dialog.
What I looking to do is on event click (accept) of settings dialog apply
the changes at the editor.
Any hint ?
Also, is there any useful resource on how can I use refreshProperties,
readSettings, writeSettings ?
Thanks in advance !
-SL
--
Salvatore Larosa
linkedIn: http://linkedin.com/in/larosasalvatore
twitter: @lrssvt
skype: s.larosa
IRC: lrssvt on freenode
--
Detlev Offenbach
det...@die-offenbachs.de
--
Salvatore Larosa
linkedIn: http://linkedin.com/in/larosasalvatore
twitter: @lrssvt
skype: s.larosa
IRC: lrssvt on freenode
___
PyQt mailing listPyQt@riverbankcomputing.com
http://www.riverbankcomputing.com/mailman/listinfo/pyqt
