com.vaadin.base.devserver.themeeditor.messages.HistoryRequest 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.messages.

java.lang.Object

com.vaadin.base.devserver.themeeditor.messages.BaseRequest

com.vaadin.base.devserver.themeeditor.messages.HistoryRequest

All Implemented Interfaces:

public class HistoryRequest extends BaseRequest

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor

Description

HistoryRequest()
Method Summary

Modifier and Type

Method

Description

String

getRedo()

String

getUndo()

void

setRedo(String redo)

void

setUndo(String undo)

Methods inherited from class com.vaadin.base.devserver.themeeditor.messages.BaseRequest
getNodeId, getRequestId, getUiId, isInstanceRequest, setNodeId, setRequestId, setUiId

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

Constructor Details
- HistoryRequest
  
  public HistoryRequest()
Method Details
- getUndo
  
  public String getUndo()
- setUndo
  
  public void setUndo(String undo)
- getRedo
  
  public String getRedo()
- setRedo
  
  public void setRedo(String redo)