Uses of Class
org.vaadin.aceeditor.client.GwtTextDiff.Patch

Packages that use GwtTextDiff.Patch

Package	Description
org.vaadin.aceeditor.client

Uses of GwtTextDiff.Patch in org.vaadin.aceeditor.client

Methods in org.vaadin.aceeditor.client that return types with arguments of type GwtTextDiff.Patch

Modifier and Type	Method and Description
List<GwtTextDiff.Patch>	GwtTextDiff.getPatches()
com.google.gwt.core.client.JsArray<GwtTextDiff.Patch>	DiffMatchPatchJSNI.patch_fromText(String text)
com.google.gwt.core.client.JsArray<GwtTextDiff.Patch>	DiffMatchPatchJSNI.patch_make_diff_main(String text1, String text2)
com.google.gwt.core.client.JsArray<GwtTextDiff.Patch>	DiffMatchPatchJSNI.patch_make(String text1, String text2)

Method parameters in org.vaadin.aceeditor.client with type arguments of type GwtTextDiff.Patch

Modifier and Type	Method and Description
int	DiffMatchPatchJSNI.diff_xIndex_patches(com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patches, int pos)
String	DiffMatchPatchJSNI.patch_apply(com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patches, String text)
String	DiffMatchPatchJSNI.patch_toText(com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patches)