de.tu_berlin.cs.tfs.muvitorkit.ui
Class MuvitorPage.MuvitorRulerProvider

java.lang.Object
  extended by org.eclipse.gef.rulers.RulerProvider
      extended by de.tu_berlin.cs.tfs.muvitorkit.ui.MuvitorPage.MuvitorRulerProvider
Enclosing class:
MuvitorPage

public static final class MuvitorPage.MuvitorRulerProvider
extends RulerProvider

Rating red

Field Summary
 
Fields inherited from class org.eclipse.gef.rulers.RulerProvider
listeners, PROPERTY_HORIZONTAL_RULER, PROPERTY_RULER_VISIBILITY, PROPERTY_VERTICAL_RULER, UNIT_CENTIMETERS, UNIT_INCHES, UNIT_PIXELS
 
Constructor Summary
MuvitorPage.MuvitorRulerProvider()
           
 
Method Summary
 Object getRuler()
           
 int getUnit()
           
 
Methods inherited from class org.eclipse.gef.rulers.RulerProvider
addRulerChangeListener, getAccGuideDescription, getAccGuideName, getAccGuideValue, getAttachedEditParts, getAttachedModelObjects, getCreateGuideCommand, getDeleteGuideCommand, getGuideAt, getGuidePosition, getGuidePositions, getGuides, getMoveGuideCommand, removeRulerChangeListener, setUnit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MuvitorPage.MuvitorRulerProvider

public MuvitorPage.MuvitorRulerProvider()
Method Detail

getUnit

public final int getUnit()
Overrides:
getUnit in class RulerProvider

getRuler

public final Object getRuler()
Overrides:
getRuler in class RulerProvider