~yrke/tapaal/slimImageIcons-2

package pipe.gui;

 

import dk.aau.cs.gui.TabContent;

import dk.aau.cs.gui.TabContentActions;

import net.tapaal.helpers.Reference.Reference;

 

import java.awt.*;

 

/**

 * Used to delegate control of the state of AppGUI to tabs

 * control accessible functions -- kyrke - 2019-07-08

 */

public interface GuiFrameActions {

 

    void updateZoomCombo();

 

    void setRedoActionEnabled(boolean b);

 

    void setUndoActionEnabled(boolean b);

 

    void setWindowSize(Dimension dimension);

 

    void attachTabToGuiFrame(TabContent tab);

 

    void detachTabFromGuiFrame(TabContent tab);

 

    void setGUIMode(GuiFrame.GUIMode animation);

 

    //XXX temp while refactoring, kyrke - 2019-07-25

    void updateMode(Pipe.ElementType mode);

 

    void registerController(GuiFrameControllerActions guiFrameController, Reference<TabContentActions> currentTab);

 

    void changeToTab(TabContent tab);

 

    //Actions for controller

    void setShowComponentsSelected(boolean b);

    void setShowConstantsSelected(boolean b);

    void setShowQueriesSelected(boolean b);

    void setShowEnabledTransitionsSelected(boolean b);

    void setShowDelayEnabledTransitionsSelected(boolean b);

    void setShowToolTipsSelected(boolean b);

    void setShowZeroToInfinityIntervalsSelected(boolean b);

    void setShowTokenAgeSelected(boolean b);

 

}