edu.stanford.smi.protegex.widget.contains
Class WidgetWrapperHolder
java.lang.Object
edu.stanford.smi.protegex.widget.contains.WidgetWrapperHolder
- All Implemented Interfaces:
- WidgetWrapperActionProcessor
- Direct Known Subclasses:
- HorizontalWidgetWrapperHolder, VerticalWidgetWrapperHolder
- public abstract class WidgetWrapperHolder
- extends Object
- implements WidgetWrapperActionProcessor
Description of the Class
- Author:
- William Grosso
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
_verticalScrollIncrement
protected int _verticalScrollIncrement
_horizontalScrollIncrement
protected int _horizontalScrollIncrement
_selection
protected WidgetWrapper _selection
_activeWidgetWrapper
protected WidgetWrapper _activeWidgetWrapper
_defaultBorder
protected Border _defaultBorder
_selectionBorder
protected Border _selectionBorder
_scrollPaneAroundWidgetBox
protected JScrollPane _scrollPaneAroundWidgetBox
_widgetBox
protected WidgetBox _widgetBox
_viewport
protected JViewport _viewport
_selectionRectangle
protected Rectangle _selectionRectangle
BORDER_THICKNESS
public static final int BORDER_THICKNESS
- See Also:
- Constant Field Values
TWO_TIMES_BORDER_THICKNESS
public static final int TWO_TIMES_BORDER_THICKNESS
- See Also:
- Constant Field Values
DEFAULT_USE_SEPARATORS
public static final boolean DEFAULT_USE_SEPARATORS
- See Also:
- Constant Field Values
DEFAULT_SEPARATION_DISTANCE
public static final int DEFAULT_SEPARATION_DISTANCE
- See Also:
- Constant Field Values
DEFAULT_VERTICAL_SCROLL_INCREMENT
public static final int DEFAULT_VERTICAL_SCROLL_INCREMENT
- See Also:
- Constant Field Values
DEFAULT_HORIZONTAL_SCROLL_INCREMENT
public static final int DEFAULT_HORIZONTAL_SCROLL_INCREMENT
- See Also:
- Constant Field Values
WidgetWrapperHolder
public WidgetWrapperHolder()
WidgetWrapperHolder
public WidgetWrapperHolder(int spacerSize,
boolean useSpacers)
WidgetWrapperHolder
public WidgetWrapperHolder(int spacerSize,
boolean useSpacers,
int verticalScrollIncrement,
int horizontalScrollIncrement)
addWidgetWrapper
public void addWidgetWrapper(int index,
WidgetWrapper widgetWrapper)
addWidgetWrapperActionListener
public void addWidgetWrapperActionListener(WidgetWrapperActionListener listener)
- Specified by:
addWidgetWrapperActionListener
in interface WidgetWrapperActionProcessor
clearSelection
public void clearSelection()
getSpacerSize
public int getSpacerSize()
getUserInterface
public Component getUserInterface()
getUseSeparators
public boolean getUseSeparators()
getWidgetBox
protected abstract WidgetBox getWidgetBox(int spacerSize,
boolean useSpacers)
isUseSeparators
public boolean isUseSeparators()
removeAllWidgetWrappers
public void removeAllWidgetWrappers()
removeWidgetWrapper
public void removeWidgetWrapper(WidgetWrapper widgetWrapper)
removeWidgetWrapperActionListener
public void removeWidgetWrapperActionListener(WidgetWrapperActionListener listener)
- Specified by:
removeWidgetWrapperActionListener
in interface WidgetWrapperActionProcessor
scrollToCorrectLocation
protected abstract void scrollToCorrectLocation()
setSelection
public void setSelection(WidgetWrapper component)
setSpacerSize
public void setSpacerSize(int spacerSize)
setUseSeparators
public void setUseSeparators(boolean useSeparators)
unselectWidgetWrapper
public void unselectWidgetWrapper(WidgetWrapper widgetWrapper)
Submit a bug report or feature request