Scintilla iOS port