public SourceEditorView(SourceEditorBuffer buf, SourceEditor parent) { this.ParentEditor = parent; this.TabWidth = 4; Buffer = this.buf = buf; AutoIndent = false; SmartHomeEnd = SourceSmartHomeEndType.Always; ShowLineNumbers = true; //FIXME GTKSV2 //ShowLineMarkers = true; controlsDrawer = new DrawControlCharacterImp(this); buf.PlaceCursor(buf.StartIter); GrabFocus(); buf.MarkSet += new MarkSetHandler(BufferMarkSet); buf.Changed += new EventHandler(BufferChanged); LoadEditActions(); this.Events = this.Events | EventMask.PointerMotionMask | EventMask.LeaveNotifyMask | EventMask.ExposureMask; InitAutoCorrectionValues(); }
public SourceEditorView (SourceEditorBuffer buf, SourceEditor parent) { this.ParentEditor = parent; this.TabWidth = 4; Buffer = this.buf = buf; AutoIndent = false; SmartHomeEnd = SourceSmartHomeEndType.Always; ShowLineNumbers = true; //FIXME GTKSV2 //ShowLineMarkers = true; controlsDrawer = new DrawControlCharacterImp (this); buf.PlaceCursor (buf.StartIter); GrabFocus (); buf.MarkSet += new MarkSetHandler (BufferMarkSet); buf.Changed += new EventHandler (BufferChanged); LoadEditActions (); this.Events = this.Events | EventMask.PointerMotionMask | EventMask.LeaveNotifyMask | EventMask.ExposureMask; InitAutoCorrectionValues(); }