public WorkbenchView CreateWorkbenchView() { WorkbenchView view = new WorkbenchView (controller); views.Add (view); activeView = view; Logger.Debug ("Created new top level view"); return view; }
public void DeclareParentViewActive(object obj) { activeView = null; Widget widget = obj as Widget; Logger.Assert (widget != null, "object is not a widget"); Gtk.Widget window = GetToplevelWidget (widget); foreach (WorkbenchView view in views) { if (window == view.Window) { activeView = view; Logger.Debug ("Found active view for " + obj.GetType() + " : " + view.Window.Title); return; } } Logger.Debug ("Did not find the active view"); }
public void RemoveWorkbenchView(WorkbenchView view) { if (view == null) { Logger.Debug ("Active window is null - cannot remove"); return; } if (views.Count == 1) { Quit (); } else { views.Remove (view); Logger.Debug ("Removed view " + view.Window.Title); view.Window.Destroy (); Logger.Debug (views.Count + " views left"); } }