Protege-2000 1.7

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
 
Constructor Summary
VerticalWidgetWrapperHolder()
           
VerticalWidgetWrapperHolder(int spacerSize, boolean useSpacers)
           
VerticalWidgetWrapperHolder(int spacerSize, boolean useSpacers, int verticalScrollIncrement, int horizontalScrollIncrement)
           
 
Method Summary
protected  WidgetBox getWidgetBox(int spacerSize, boolean useSpacers)
           
protected  void scrollToCorrectLocation()
           
 
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
 

Constructor Detail

VerticalWidgetWrapperHolder

public VerticalWidgetWrapperHolder()

VerticalWidgetWrapperHolder

public VerticalWidgetWrapperHolder(int spacerSize,
                                   boolean useSpacers)

VerticalWidgetWrapperHolder

public VerticalWidgetWrapperHolder(int spacerSize,
                                   boolean useSpacers,
                                   int verticalScrollIncrement,
                                   int horizontalScrollIncrement)
Method Detail

getWidgetBox

protected WidgetBox getWidgetBox(int spacerSize,
                                 boolean useSpacers)
Overrides:
getWidgetBox in class WidgetWrapperHolder

scrollToCorrectLocation

protected void scrollToCorrectLocation()
Overrides:
scrollToCorrectLocation in class WidgetWrapperHolder

Protege-2000 1.7

Submit a bug report or feature request
Protege-2000 is a trademark of Stanford University.
Copyright (c) 1998-2002 Stanford University.