public DisassemblyView () { ContentName = GettextCatalog.GetString ("Disassembly"); sw = new Gtk.ScrolledWindow (); editor = new TextEditor (); editor.Document.ReadOnly = true; editor.Options = new CommonTextEditorOptions { ShowLineNumberMargin = false, }; sw.Add (editor); sw.HscrollbarPolicy = Gtk.PolicyType.Automatic; sw.VscrollbarPolicy = Gtk.PolicyType.Automatic; sw.ShowAll (); sw.Vadjustment.ValueChanged += OnScrollEditor; sw.VScrollbar.ButtonPressEvent += OnPress; sw.VScrollbar.ButtonReleaseEvent += OnRelease; sw.VScrollbar.Events |= Gdk.EventMask.ButtonPressMask | Gdk.EventMask.ButtonReleaseMask; sw.ShadowType = Gtk.ShadowType.In; sw.Sensitive = false; currentDebugLineMarker = new CurrentDebugLineTextMarker (editor); DebuggingService.StoppedEvent += OnStop; }
public DisassemblyView() { UntitledName = GettextCatalog.GetString("Disassembly"); sw = new Gtk.ScrolledWindow(); editor = new Mono.TextEditor.TextEditor(); editor.Document.ReadOnly = true; editor.Options = new MonoDevelop.Ide.Gui.CommonTextEditorOptions() { ShowEolMarkers = false, ShowInvalidLines = false, ShowLineNumberMargin = false, }; sw.Add(editor); sw.HscrollbarPolicy = Gtk.PolicyType.Automatic; sw.VscrollbarPolicy = Gtk.PolicyType.Automatic; sw.ShowAll(); sw.Vadjustment.ValueChanged += OnScrollEditor; sw.VScrollbar.ButtonPressEvent += OnPress; sw.VScrollbar.ButtonReleaseEvent += OnRelease; sw.VScrollbar.Events |= Gdk.EventMask.ButtonPressMask | Gdk.EventMask.ButtonReleaseMask; sw.ShadowType = Gtk.ShadowType.In; sw.Sensitive = false; currentDebugLineMarker = new CurrentDebugLineTextMarker(editor); DebuggingService.StoppedEvent += OnStop; }
public DisassemblyView () { UntitledName = GettextCatalog.GetString ("Disassembly"); sw = new Gtk.ScrolledWindow (); editor = new Mono.TextEditor.TextEditor (); editor.Document.ReadOnly = true; TextEditorOptions options = new TextEditorOptions (); options.CopyFrom (TextEditorOptions.DefaultOptions); options.ShowEolMarkers = false; options.ShowInvalidLines = false; options.ShowLineNumberMargin = false; editor.Options = options; sw.Add (editor); sw.HscrollbarPolicy = Gtk.PolicyType.Automatic; sw.VscrollbarPolicy = Gtk.PolicyType.Automatic; sw.ShowAll (); sw.Vadjustment.ValueChanged += OnScrollEditor; sw.VScrollbar.ButtonPressEvent += OnPress; sw.VScrollbar.ButtonReleaseEvent += OnRelease; sw.VScrollbar.Events |= Gdk.EventMask.ButtonPressMask | Gdk.EventMask.ButtonReleaseMask; sw.ShadowType = Gtk.ShadowType.In; sw.Sensitive = false; currentDebugLineMarker = new CurrentDebugLineTextMarker (editor); DebuggingService.StoppedEvent += OnStop; }