UndoEvent.java

package app.events;

/**
 * Event signalizing that an action is being undone in an arbitrary place in the UI
 */
public class UndoEvent extends Event {
  
}