diff --git a/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/builder/impl/GLayoutOptions.java b/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/builder/impl/GLayoutOptions.java index a2bc04c5..980ab16d 100644 --- a/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/builder/impl/GLayoutOptions.java +++ b/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/builder/impl/GLayoutOptions.java @@ -38,6 +38,8 @@ public class GLayoutOptions extends LinkedHashMap { public static final String KEY_MIN_HEIGHT = "minHeight"; public static final String KEY_PREF_WIDTH = "prefWidth"; public static final String KEY_PREF_HEIGHT = "prefHeight"; + public static final String KEY_H_GRAB = "hGrab"; + public static final String KEY_V_GRAB = "vGrab"; public GLayoutOptions() {} @@ -147,6 +149,20 @@ public GLayoutOptions prefHeight(final Number minHeight) { public Double getPrefHeight() { return getDouble(KEY_PREF_HEIGHT); } + public GLayoutOptions vGrab(final Number vGap) { + putOrRemove(KEY_V_GRAB, vGap); + return this; + } + + public String getVGrab() { return getString(KEY_V_GRAB); } + + public GLayoutOptions hGrab(final Number hGap) { + putOrRemove(KEY_H_GRAB, hGap); + return this; + } + + public String getHGrab() { return getString(KEY_H_GRAB); } + protected void putOrRemove(final String key, final Object value) { if (value != null) { put(key, value);