edu.stanford.smi.protegex.widget.contains
Class VerticalWidgetWrapperHolder
java.lang.Object
edu.stanford.smi.protegex.widget.contains.WidgetWrapperHolder
edu.stanford.smi.protegex.widget.contains.VerticalWidgetWrapperHolder
- All Implemented Interfaces:
- WidgetWrapperActionProcessor
- public class VerticalWidgetWrapperHolder
- extends WidgetWrapperHolder
Description of the Class
- Author:
- William Grosso
Fields inherited from class edu.stanford.smi.protegex.widget.contains.WidgetWrapperHolder |
_activeWidgetWrapper, _defaultBorder, _horizontalScrollIncrement, _scrollPaneAroundWidgetBox, _selection, _selectionBorder, _selectionRectangle, _verticalScrollIncrement, _viewport, _widgetBox, BORDER_THICKNESS, DEFAULT_HORIZONTAL_SCROLL_INCREMENT, DEFAULT_SEPARATION_DISTANCE, DEFAULT_USE_SEPARATORS, DEFAULT_VERTICAL_SCROLL_INCREMENT, TWO_TIMES_BORDER_THICKNESS |
Methods inherited from class edu.stanford.smi.protegex.widget.contains.WidgetWrapperHolder |
addWidgetWrapper, addWidgetWrapperActionListener, clearSelection, getSpacerSize, getUserInterface, getUseSeparators, isUseSeparators, removeAllWidgetWrappers, removeWidgetWrapper, removeWidgetWrapperActionListener, setSelection, setSpacerSize, setUseSeparators, unselectWidgetWrapper |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
VerticalWidgetWrapperHolder
public VerticalWidgetWrapperHolder()
VerticalWidgetWrapperHolder
public VerticalWidgetWrapperHolder(int spacerSize,
boolean useSpacers)
VerticalWidgetWrapperHolder
public VerticalWidgetWrapperHolder(int spacerSize,
boolean useSpacers,
int verticalScrollIncrement,
int horizontalScrollIncrement)
getWidgetBox
protected WidgetBox getWidgetBox(int spacerSize,
boolean useSpacers)
- Specified by:
getWidgetBox
in class WidgetWrapperHolder
scrollToCorrectLocation
protected void scrollToCorrectLocation()
- Specified by:
scrollToCorrectLocation
in class WidgetWrapperHolder
Submit a bug report or feature request