com.vaadin.base.devserver.themeeditor.utils.ThemeEditorHistory API 24.3.3 | Vaadin

You're viewing an older version of Vaadin JavaDoc. Please see version 24.7.0 for the latest.

com.vaadin.base.devserver.themeeditor.utils.

java.lang.Object

com.vaadin.base.devserver.themeeditor.utils.ThemeEditorHistory

public class ThemeEditorHistory extends Object

Method Summary

Modifier and Type

Method

Description

void

clean()

boolean

containsKey(String requestId)

static ThemeEditorHistory

forUi(Integer uiId)

MessageHandlerCommand

getExecuteCommand(String requestId)

Optional<MessageHandlerCommand>

getUndoCommand(String requestId)

void

put(String requestId, MessageHandler.ExecuteAndUndo executeAndUndo)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- forUi
  
  public static ThemeEditorHistory forUi(Integer uiId)
- clean
  
  public void clean()
- put
  
  public void put(String requestId, MessageHandler.ExecuteAndUndo executeAndUndo)
- containsKey
  
  public boolean containsKey(String requestId)
- getExecuteCommand
  
  public MessageHandlerCommand getExecuteCommand(String requestId)
- getUndoCommand
  
  public Optional<MessageHandlerCommand> getUndoCommand(String requestId)