scintilla: bgo #664514 - view->editor->* margin doesn't work
commit1816a9f64d59e72a2192f6c9b52934d34969249e
authorSébastien Granjoux <seb.sfo@free.fr>
Mon, 19 Dec 2011 20:38:40 +0000 (19 21:38 +0100)
committerSébastien Granjoux <seb.sfo@free.fr>
Mon, 19 Dec 2011 20:38:40 +0000 (19 21:38 +0100)
treefcd7192b229bd141ea91937eb9c85310c8329e66
parent02caef1f4d9956f9794275cc39d823f7f7c840c5
scintilla: bgo #664514 - view->editor->* margin doesn't work
plugins/scintilla/aneditor.cxx
plugins/scintilla/properties.h
plugins/scintilla/text_editor.h