void WorkspaceWatcher::change()
{
  bool wasDirty = m_dirty;
  m_dirty = true;

  if (enabled()){
    if (!wasDirty){
      onBecomeDirty();
    }
    onChangeWorkspace();
  }
}
void SANSEventSlicing::showEvent(QShowEvent * ev ){
  if (ui.run_opt->count() > 0)
    onChangeWorkspace(ui.run_opt->currentText()); 
  UserSubWindow::showEvent(ev);
}