public void EnableLineNumbers()
{
// set up line numbers in left margin
int marginWidth = this.scintillaControl1.TextWidth((int)StylesCommon.Default, "12345");
this.scintillaControl1.SetMarginType(0, MarginType.Number);
this.scintillaControl1.SetMarginWidth(0, marginWidth + 4);
}