gphpedit/src/gtkscintilla2/scintilla
