JSplitter v4.1.12

• [BUG] on_colours_changed and on_font_changed were not triggered in CUI when setting individual JSplitter colours and fonts (not common)
• [UPDATE] Updated source code editor to Scintilla 5.6.4