Hide the Scintilla margin, since we are not using it for anything. For now, I'd rather maintain backward compatability in the UI until there's a compelling use case for the margin.
Authored by: david_costanzo 2009-06-25
Parent: [r2854]
Child: [r2856]
