Package io.jmix.ui.widget.client.addon.aceeditor

Class GwtTextDiff.Patch

java.lang.Object

com.google.gwt.core.client.JavaScriptObject

io.jmix.ui.widget.client.addon.aceeditor.GwtTextDiff.Patch

Enclosing class:

GwtTextDiff

public static final class GwtTextDiff.Patch
extends com.google.gwt.core.client.JavaScriptObject

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Patch()

Method Summary

Modifier and Type	Method	Description
List<GwtTextDiff.Diff>	getDiffs()
com.google.gwt.core.client.JsArray<GwtTextDiff.Diff>	getDiffsJsArray()

Methods inherited from class com.google.gwt.core.client.JavaScriptObject

cast, createArray, createArray, createFunction, createObject, equals, hashCode, toSource, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Patch

protected Patch()

Method Details

getDiffsJsArray

public com.google.gwt.core.client.JsArray<GwtTextDiff.Diff> getDiffsJsArray()

getDiffs

public List<GwtTextDiff.Diff> getDiffs()