///<summary> /// Callback for SwitchPage DataBook event ///</summary> void OnSwitchPage(object o, SwitchPageArgs args) { DataView dv = ((DataViewDisplay)dataBook.GetNthPage((int)args.PageNum)).View; UpdateWindowTitle(dv); dv.Display.GrabKeyboardFocus(); }
void OnSwitchPage(object o, SwitchPageArgs args) { DataView dv = ((DataViewDisplay)dataBook.GetNthPage((int)args.PageNum)).View; if (dv == null) { return; } if (!info.Contains(dv)) { info[dv] = new StatisticsInfo(); } UpdateStatistics(dv); }
void OnSwitchPage(object o, SwitchPageArgs args) { DataView dv = ((DataViewDisplay)dataBook.GetNthPage((int)args.PageNum)).View; UpdateBitwiseOperationsWidget(dv); }
void OnSwitchPage(object o, SwitchPageArgs args) { DataView dv = ((DataViewDisplay)dataBook.GetNthPage((int)args.PageNum)).View; UpdateActions(dv); }