Hi Detlev and thank you for your quick reply,<br><br><div class="gmail_quote">2012/10/11 Detlev Offenbach <span dir="ltr"><<a href="mailto:detlev@die-offenbachs.de" target="_blank">detlev@die-offenbachs.de</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><u></u>
<div style="font-family:'Sans Serif';font-size:9pt;font-weight:400;font-style:normal">
<p style="margin-top:0px;margin-bottom:0px;margin-left:0px;margin-right:0px;text-indent:0px">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.</p>
<p style="margin-top:0px;margin-bottom:0px;margin-left:0px;margin-right:0px;text-indent:0px"> </p></div></blockquote><div><br>I am working on development of a simple interactive python console [1] and I would like<br>handle myself this settings by settings dialog base [2].<br>
<br>I am looking to ERIC code but I cannot find something help me !<br>Here [3] how I defined the settings for lexer !<br><br>How can I call pythonConsole/fontfamilytext key in readSettings and pass it to setDefaultFont method?<br>
and then How can I refresh properties for lexer so apply the changes ? simply self.lexer.refreshProperties() ??<br><br>Any advice is appreciate !<br><br>Regards,<br><br>-SL<br><br><br>
[1] - <a href="http://lrssvt.ns0.it/img/console.png">http://lrssvt.ns0.it/img/console.png</a><br>[2] - <a href="http://lrssvt.ns0.it/img/settings.png">http://lrssvt.ns0.it/img/settings.png</a><br>[3] - <a href="https://gist.github.com/3855242">https://gist.github.com/3855242</a><br>
 </div><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="font-family:'Sans Serif';font-size:9pt;font-weight:400;font-style:normal">

<p style="margin-top:0px;margin-bottom:0px;margin-left:0px;margin-right:0px;text-indent:0px">Regards,</p>
<p style="margin-top:0px;margin-bottom:0px;margin-left:0px;margin-right:0px;text-indent:0px">Detlev</p><div><div class="h5"><br><br>On Thursday 11 October 2012, 14:33:48 Salvatore Larosa wrote:<br></div></div><p></p><div>
<div class="h5">
<p style="margin-top:12px;margin-bottom:12px;margin-left:40px;margin-right:40px;text-indent:0px">Hi all,<br>I would like to change font and fontsize (eventually API path too) in my editor by using a setting dialog.<br>What I looking to do is on event click (accept) of settings dialog apply the changes at the editor.<br>
<br>Any hint ?<br><br>Also, is there any useful resource on how can I use refreshProperties, readSettings, writeSettings ?<br><br>Thanks in advance !<br><br>-SL<br><br>-- <br>Salvatore Larosa<br>linkedIn: <a href="http://linkedin.com/in/larosasalvatore" target="_blank"><span style="text-decoration:underline;color:#0057ae">http://linkedin.com/in/larosasalvatore</span></a><br>
twitter: @lrssvt<br>skype: s.larosa<br>IRC: lrssvt on freenode<br><br></p>
</div></div><p style="margin-top:0px;margin-bottom:0px;margin-left:0px;margin-right:0px;text-indent:0px"><br><br>-- </p>
<p style="margin-top:12px;margin-bottom:0px;margin-left:0px;margin-right:0px;text-indent:0px"><span style="font-size:11pt;font-weight:600">Detlev Offenbach</span></p>
<p style="margin-top:0px;margin-bottom:0px;margin-left:0px;margin-right:0px;text-indent:0px"><a href="mailto:detlev@die-offenbachs.de" target="_blank">detlev@die-offenbachs.de</a></p></div></blockquote></div><br><br clear="all">
<br>-- <br>Salvatore Larosa<br>linkedIn: <a href="http://linkedin.com/in/larosasalvatore" target="_blank">http://linkedin.com/in/larosasalvatore</a><br>twitter: @lrssvt<br>skype: s.larosa<br>IRC: lrssvt on freenode<br><br>