<div dir="ltr"><div class="gmail_default" style="font-size:small">How do you like these apples?</div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">I have edited and re-compiled 3 gambas controls on 3 gambas versions to enable shell highlights on older gambas because they're pretty unlikely to be updated by the busy dev team on 3.15.90..<br>
gb.eval.highlight<br>
gb.form.editor<br>
gb.form.terminal.<br>
<br>
TerminalView is recompiled from the latest version and has all the latest 
official bug-fixes from 3.15.90 (like 'clear' not giving errors)<br>
<br>
The other 2 enable shell highlighting for TextEditor.<br>
<br>
I've recompiled on Gambas 3.12.2 / 3.14.3 and 3.15.2-stable<br>
Goto here...<br>
<a href="https://gitlab.com/bsteers4/gambas3-shell-highlighting" class="gmail-postlink">https://gitlab.com/bsteers4/gambas3-shell-highlighting</a><br>
Select the branch relevant to your version and clone the whole dir.<br>
(the whole gambas source files were not really needed but i thought to 
include them in case anyone wanted to do further modifications/bug-fixes)<br>
Repository contains a bash installer to copy the .gambas components to /usr/lib/gambas3/ <br></div><div class="gmail_default" style="font-size:small">or do it yourself. init.<br>
<br></div><div class="gmail_default" style="font-size:small">if you find it's not working the install can be quickly restored by typing something like..<br>
sudo apt reinstall gambas3-gb-eval-highlight gambas3-gb-form-editor gambas3-gb-form-terminal</div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">I've only done this to get my script editor working better on older gambas.<br></div><div class="gmail_default" style="font-size:small">All the best.</div><div class="gmail_default" style="font-size:small">Bruce</div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small"># if you want something done , do it yourself.<br>
</div></div>