protected virtual void OnActiveViewContentChanged(ActiveViewContentEventArgs e) { if (ActiveViewContentChanged != null) { ActiveViewContentChanged(this, e); } }
void OnActiveViewContentChanged (object o, ActiveViewContentEventArgs e) { if (WorkbenchWindow.ActiveViewContent == this) OnPageShown (0); else { TabView tab = WorkbenchWindow.ActiveViewContent as TabView; if (tab != null) { int n = tabs.IndexOf (tab); if (n != -1) OnPageShown (n + 1); } } }
void HandleActiveViewContentChanged (object o, ActiveViewContentEventArgs e) { widget.UpdateLineCol (); }
protected virtual void OnActiveViewContentChanged (ActiveViewContentEventArgs e) { if (ActiveViewContentChanged != null) ActiveViewContentChanged (this, e); }