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();
}
