Interface EditorView

All Superinterfaces:
GuiView

public interface EditorView extends GuiView
A view of one editor. Each frame the theme's EditorLayout measures the open editors, places the ones it shows, and those are rendered.
  • Method Details

    • editor

      GuiEditor editor()
    • measure

      void measure(GuiFrame frame, double maxWidth, double maxHeight, boolean fill)
      Works out width() and height() for this frame.
      Parameters:
      maxWidth - Widest the editor may be
      maxHeight - Tallest the editor may be
      fill - Whether to take all of that space instead of the editor's own size
    • width

      double width()
    • height

      double height()
    • x

      double x()
    • y

      double y()
    • setPosition

      void setPosition(double x, double y)
    • contains

      default boolean contains(double mouseX, double mouseY)