Interface EditorStack

public interface EditorStack
The open editors, oldest first. The newest one gets the keyboard; a click outside every editor closes the newest.

  • Method Details

    • all

      List<GuiEditor> all()

    • top

      GuiEditor top()
      Returns:
      The newest editor, or null

    • isEmpty

      boolean isEmpty()

    • viewOf

      EditorView viewOf(GuiEditor editor)
      Returns:
      The view drawing editor

    • open

      void open(GuiEditor editor)
      Closes every editor, then opens this one.

    • push

      void push(GuiEditor editor)
      Opens an editor on top of the others.

    • pushAfter

      void pushAfter(GuiEditor source, GuiEditor editor)
      Closes every editor above source, then opens editor on top.

    • pop

      void pop()
      Closes the newest editor.

    • replaceTop

      void replaceTop(GuiEditor editor)
      Closes the newest editor and opens this one in its place.

    • closeAll

      void closeAll()