void setCurrentProfile(StatechartProfilePtr currentProfile)
void originalZoomCurrentState()
void connectOverviewToTab(int tabIndex)
void setVariantInfo(VariantInfoPtr variantInfo)
Ui::StatechartEditorMainWindow * getUI() const
~StatechartEditorMainWindow() override
StateTabWidget * getStateTabWidget() const
void setCommunicator(Ice::CommunicatorPtr communicator)
StatechartEditorMainWindow(QWidget *parent=0)
void layoutState(statechartmodel::StateInstancePtr instance=statechartmodel::StateInstancePtr())
void setTipDialog(QPointer< TipDialog > tipDialog)