de.tu_berlin.cs.tfs.muvitorkit.ui
Class MuvitorPage.MultiViewerPageViewer
java.lang.Object
org.eclipse.gef.ui.parts.AbstractEditPartViewer
org.eclipse.gef.ui.parts.GraphicalViewerImpl
org.eclipse.gef.ui.parts.ScrollingGraphicalViewer
de.tu_berlin.cs.tfs.muvitorkit.ui.MuvitorPage.MultiViewerPageViewer
- All Implemented Interfaces:
- EditPartViewer, GraphicalViewer, ISelectionProvider
- Enclosing class:
- MuvitorPage
public final class MuvitorPage.MultiViewerPageViewer
- extends ScrollingGraphicalViewer
This local class extends ScrollingGraphicalViewer
by a
MouseListener
that sets this viewer as the page's current viewer
when a mouse click occurs on this viewer.
- Rating

Methods inherited from class org.eclipse.gef.ui.parts.GraphicalViewerImpl |
createDefaultRoot, createLightweightSystem, findHandleAt, findObjectAtExcluding, flush, getEventDispatcher, getLayerManager, getLightweightSystem, getRootFigure, handleDispose, handleFocusGained, handleFocusLost, hookDropTarget, registerAccessibleEditPart, setContextMenu, setCursor, setDragSource, setEditDomain, setRootEditPart, setRouteEventsToEditDomain, unregisterAccessibleEditPart |
Methods inherited from class org.eclipse.gef.ui.parts.AbstractEditPartViewer |
addDragSourceListener, addDragSourceListener, addDropTargetListener, addDropTargetListener, addPropertyChangeListener, addSelectionChangedListener, appendSelection, deselect, deselectAll, findObjectAt, findObjectAtExcluding, fireSelectionChanged, getContents, getContextMenu, getControl, getDelegatingDragAdapter, getDelegatingDropAdapter, getDragSource, getDropTarget, getEditDomain, getEditPartFactory, getEditPartRegistry, getFocusEditPart, getKeyHandler, getProperty, getResourceManager, getRootEditPart, getSelectedEditParts, getSelection, getSelectionManager, getVisualPartMap, hookDragSource, init, primGetSelectedEditParts, refreshDragSourceAdapter, refreshDropTargetAdapter, removeDragSourceListener, removeDragSourceListener, removeDropTargetListener, removeDropTargetListener, removePropertyChangeListener, removeSelectionChangedListener, select, setContents, setContents, setControl, setDropTarget, setEditPartFactory, setFocus, setKeyHandler, setProperty, setSelection, setSelectionManager |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.eclipse.gef.EditPartViewer |
addDragSourceListener, addDragSourceListener, addDropTargetListener, addDropTargetListener, addPropertyChangeListener, appendSelection, deselect, deselectAll, findObjectAt, findObjectAtExcluding, getContents, getContextMenu, getControl, getEditDomain, getEditPartFactory, getEditPartRegistry, getFocusEditPart, getKeyHandler, getProperty, getResourceManager, getRootEditPart, getSelectedEditParts, getSelection, getSelectionManager, getVisualPartMap, removeDragSourceListener, removeDragSourceListener, removeDropTargetListener, removeDropTargetListener, removePropertyChangeListener, select, setContents, setContents, setControl, setEditPartFactory, setFocus, setKeyHandler, setProperty, setSelectionManager |
MuvitorPage.MultiViewerPageViewer
public MuvitorPage.MultiViewerPageViewer()
getHostPage
public final MuvitorPage getHostPage()
- Returns:
- The page that hosts this graphical viewer.
hookControl
protected final void hookControl()
- Overrides:
hookControl
in class GraphicalViewerImpl
unhookControl
protected final void unhookControl()
- Overrides:
unhookControl
in class GraphicalViewerImpl