Package de.eldoria.schematicbrush.brush.history

Interface BrushHistory

public interface BrushHistory

  • Method Details

    • previous

      Optional<Pair<SchematicSet,Schematic>> previous()
      Get and remove the head of the history.
      Returns:
      current head of the history if present

    • push

      void push(SchematicSet set, Schematic schematic)
      Push a new entry into the registry. The element will become the new head of the history if it is not the head already.
      Parameters:
      set - set
      schematic - schematic

    • push

      default void push(Pair<SchematicSet,Schematic> pair)
      Push a new entry into the registry. The element will become the new head of the history if it is not the head already.
      Parameters:
      pair - set and schematic pair