Update scintilla to [12a3a0].