update Scintilla to 7a1ce5