hades.gui
Interface EditorMenuInteraction
- All Known Implementing Classes:
- EditFrame, JEditFrame
- public interface EditorMenuInteraction
specify the dependecies between the editor and its menu bar.
This interface lists all the methods the editor needs to call on
the editor's menu and menu bar in order to provide consistency
between the editor's internal state and the (checkbox) menu items
on the menu.
For example, we want that the "glow mode" menu item is updated
whenever a script changes glow mode.
As a side effect of the clear interface between editor and menu,
we can also provide separate implementations, e.g. AWT and Swing
versions of the GUI.
getUndoMenuItem
public java.lang.Object getUndoMenuItem()
getRedoMenuItem
public java.lang.Object getRedoMenuItem()
setEnableCloseWindowMenuItem
public void setEnableCloseWindowMenuItem(boolean b)
isViewModeSelected
public boolean isViewModeSelected()
setViewModeSelected
public void setViewModeSelected(boolean b)
isGlowModeSelected
public boolean isGlowModeSelected()
setGlowModeSelected
public void setGlowModeSelected(boolean b)
isRtlibAnimationSelected
public boolean isRtlibAnimationSelected()
setRtlibAnimationSelected
public void setRtlibAnimationSelected(boolean b)
isInverseCanvasSelected
public boolean isInverseCanvasSelected()
setInverseCanvasSelected
public void setInverseCanvasSelected(boolean b)
isEnableAntialiasSelected
public boolean isEnableAntialiasSelected()
setEnableAntialiasSelected
public void setEnableAntialiasSelected(boolean b)
isRenderQualitySelected
public boolean isRenderQualitySelected()
setRenderQualitySelected
public void setRenderQualitySelected(boolean b)
isEnableToolTipsSelected
public boolean isEnableToolTipsSelected()
setEnableToolTipsSelected
public void setEnableToolTipsSelected(boolean b)
isEnableSplitSignalsSelected
public boolean isEnableSplitSignalsSelected()
setEnableSplitSignalsSelected
public void setEnableSplitSignalsSelected(boolean b)
isEnableCreateSignalsSelected
public boolean isEnableCreateSignalsSelected()
setEnableCreateSignalsSelected
public void setEnableCreateSignalsSelected(boolean b)
updateLayerMenuItems
public void updateLayerMenuItems(java.lang.Object arg)
saveRecentFilesList
public void saveRecentFilesList(java.lang.String filename)
addRecentFile
public void addRecentFile(java.lang.String filename)
getRecentFile
public java.lang.String getRecentFile(int index)