<div dir="ltr">Thanks Sven.<br><div class="gmail_extra"><br><div class="gmail_quote"><span class="gmail-">>> The variable triggerCharacters is not defined in the python indenter.</span><br><span class="gmail-"></span><span class="gmail-">>> Any clues what has changed here?</span><br><span class="gmail-"></span><span class="gmail-"></span>> I think the underlying JS engine changed. That probably broke this.</div><div class="gmail_quote">> Where should the value of the variable come from?<br><div><br></div><div>Unfortunately, I don't know (yet). Had a look at the source tree and stumbled across</div><div>ktexteditor/src/script/data/indentation_template.js</div><div><br></div><div>which contains</div><div>"""<br></div><div>// specifies the characters which should trigger indent, beside the default '\n'<br>triggerCharacters = "{}/:;";<br>"""<br></div><div>didn't go through the cpp source yet to figure out more<br></div><div> <span class="gmail-"></span><br><span class="gmail-"></span><span class="gmail-">>> Related question: I was trying to locate the python.js indenter of my local</span><br><span class="gmail-"></span><span class="gmail-">>> installation.</span><br><span class="gmail-"></span><span class="gmail-"></span>> It's in a qrc and built into the ktexteditor shared library.<br>
</div></div><br></div><div class="gmail_extra">Thanks a lot, good to know. Has been a while since I last contributed. Will have to get into it again :)</div><div class="gmail_extra">/g<br clear="all"></div><div class="gmail_extra"><br>-- <br><div class="gmail_signature">Gerald Senarclens de Grancy<br><a href="http://senarclens.eu/%7Egerald/" target="_blank">http://senarclens.eu/~gerald/</a><br>Open minds on open source!</div>
</div></div>