/patch-gtk_ScintillaGTK.cxx/1.1/Thu Dec 15 23:51:03 2016//
D