Example #1
0
 public void Refresh() {
   if (Active_tab_is_null()) return;
   win.Page__refresh();
 }