public class JmixVerticalSplitPanelWidget
extends com.vaadin.client.ui.VSplitPanelVertical
Modifier and Type | Class and Description |
---|---|
protected static class |
JmixVerticalSplitPanelWidget.DockButtonState |
com.vaadin.client.ui.VAbstractSplitPanel.SplitterMoveHandler
com.google.gwt.user.client.ui.UIObject.DebugIdImpl, com.google.gwt.user.client.ui.UIObject.DebugIdImplEnabled
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
beforeDockPosition |
protected java.util.function.Consumer<java.lang.String> |
beforeDockPositionHandler |
protected static int |
BUTTON_HEIGHT_SPACE |
protected java.lang.String |
defaultPosition |
protected JmixVerticalSplitPanelWidget.DockButtonState |
dockButtonState |
protected boolean |
docked |
protected SplitPanelDockMode |
dockMode |
protected boolean |
reversed |
protected static java.lang.String |
SP_DOCK_BUTTON
Styles for widget
|
protected static java.lang.String |
SP_DOCK_BUTTON_DOWN |
protected static java.lang.String |
SP_DOCK_BUTTON_UP |
protected static java.lang.String |
SP_DOCK_DOWN |
protected static java.lang.String |
SP_DOCK_UP |
protected static java.lang.String |
SP_DOCKABLE_DOWN |
protected static java.lang.String |
SP_DOCKABLE_UP |
protected int |
splitWidth |
Constructor and Description |
---|
JmixVerticalSplitPanelWidget() |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
checkSplitPositionLimits(java.lang.String pos) |
protected JmixPlaceHolderWidget |
createDockButton() |
protected com.google.gwt.dom.client.Element |
createDockButtonContainer() |
int |
getAbsoluteBottom() |
boolean |
isDockable() |
protected boolean |
isDocked() |
protected boolean |
isExtremePosition(java.lang.String pos) |
protected boolean |
isMaxPositionSet() |
protected boolean |
isMinPositionSet() |
protected boolean |
isSplitterInBottomChangeArea() |
protected boolean |
isSplitterInTopChangeArea() |
protected void |
onDetach() |
void |
onMouseDown(com.google.gwt.user.client.Event event) |
void |
onMouseUp(com.google.gwt.user.client.Event event) |
void |
setDockable(boolean dockable) |
protected void |
setDocked(boolean docked) |
void |
setDockMode(SplitPanelDockMode dockMode) |
void |
setPositionReversed(boolean reversed) |
void |
setSplitPosition(java.lang.String pos) |
protected void |
updateDockButtonPosition() |
void |
updateSizes() |
constructDom, getFirstContainer, getFirstWidget, getSecondContainer, getSecondWidget, getSplitterPosition, getSplitterSize, isEnabled, makeScrollable, onBrowserEvent, onMouseMove, remove, setEnabled, setFirstWidget, setLocked, setSecondWidget, setStylenames
add, add, adjustIndex, checkIndexBoundsForAccess, checkIndexBoundsForInsertion, getChildren, getWidget, getWidgetCount, getWidgetIndex, getWidgetIndex, insert, insert, iterator, remove
add, add, adopt, clear, doAttachChildren, doDetachChildren, orphan, remove
addAttachHandler, addBitlessDomHandler, addDomHandler, addHandler, asWidget, asWidgetOrNull, createHandlerManager, delegateEvent, fireEvent, getHandlerCount, getLayoutData, getParent, isAttached, isOrWasAttached, onAttach, onLoad, onUnload, removeFromParent, setLayoutData, sinkEvents, unsinkEvents
addStyleDependentName, addStyleName, ensureDebugId, ensureDebugId, ensureDebugId, getAbsoluteLeft, getAbsoluteTop, getElement, getOffsetHeight, getOffsetWidth, getStyleElement, getStyleName, getStyleName, getStylePrimaryName, getStylePrimaryName, getTitle, isVisible, isVisible, onEnsureDebugId, removeStyleDependentName, removeStyleName, resolvePotentialElement, setElement, setElement, setHeight, setPixelSize, setSize, setStyleDependentName, setStyleName, setStyleName, setStyleName, setStyleName, setStylePrimaryName, setStylePrimaryName, setTitle, setVisible, setVisible, setWidth, sinkBitlessEvent, toString
protected static final java.lang.String SP_DOCK_BUTTON
protected static final java.lang.String SP_DOCK_BUTTON_UP
protected static final java.lang.String SP_DOCK_BUTTON_DOWN
protected static final java.lang.String SP_DOCK_UP
protected static final java.lang.String SP_DOCK_DOWN
protected static final java.lang.String SP_DOCKABLE_UP
protected static final java.lang.String SP_DOCKABLE_DOWN
protected static final int BUTTON_HEIGHT_SPACE
protected boolean reversed
protected boolean docked
protected int splitWidth
protected JmixVerticalSplitPanelWidget.DockButtonState dockButtonState
protected SplitPanelDockMode dockMode
protected java.util.function.Consumer<java.lang.String> beforeDockPositionHandler
protected java.lang.String defaultPosition
protected java.lang.String beforeDockPosition
public boolean isDockable()
public void setDockable(boolean dockable)
protected JmixPlaceHolderWidget createDockButton()
protected com.google.gwt.dom.client.Element createDockButtonContainer()
public void setDockMode(SplitPanelDockMode dockMode)
protected void updateDockButtonPosition()
protected boolean isSplitterInBottomChangeArea()
protected boolean isSplitterInTopChangeArea()
public int getAbsoluteBottom()
public void updateSizes()
updateSizes
in class com.vaadin.client.ui.VAbstractSplitPanel
public void onMouseDown(com.google.gwt.user.client.Event event)
onMouseDown
in class com.vaadin.client.ui.VAbstractSplitPanel
public void setSplitPosition(java.lang.String pos)
setSplitPosition
in class com.vaadin.client.ui.VAbstractSplitPanel
protected boolean isMinPositionSet()
protected boolean isMaxPositionSet()
protected boolean isExtremePosition(java.lang.String pos)
public void onMouseUp(com.google.gwt.user.client.Event event)
onMouseUp
in class com.vaadin.client.ui.VAbstractSplitPanel
protected void onDetach()
onDetach
in class com.google.gwt.user.client.ui.Widget
protected java.lang.String checkSplitPositionLimits(java.lang.String pos)
checkSplitPositionLimits
in class com.vaadin.client.ui.VAbstractSplitPanel
public void setPositionReversed(boolean reversed)
setPositionReversed
in class com.vaadin.client.ui.VAbstractSplitPanel
protected void setDocked(boolean docked)
protected boolean isDocked()