gate.gui.docview
Class TextualDocumentView.PermanentSelectionCaret

java.lang.Object
  java.awt.geom.RectangularShape
      java.awt.geom.Rectangle2D
          java.awt.Rectangle
              javax.swing.text.DefaultCaret
                  gate.gui.docview.TextualDocumentView.PermanentSelectionCaret

All Implemented Interfaces:

FocusListener, MouseListener, MouseMotionListener, Shape, Serializable, Cloneable, EventListener, Caret

Enclosing class:

TextualDocumentView

public class TextualDocumentView.PermanentSelectionCaret
extends DefaultCaret

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.awt.geom.Rectangle2D

Rectangle2D.Double, Rectangle2D.Float

Field Summary

Fields inherited from class javax.swing.text.DefaultCaret

ALWAYS_UPDATE, changeEvent, listenerList, NEVER_UPDATE, UPDATE_WHEN_ON_EDT

Fields inherited from class java.awt.Rectangle

height, width, x, y

Fields inherited from class java.awt.geom.Rectangle2D

OUT_BOTTOM, OUT_LEFT, OUT_RIGHT, OUT_TOP

Constructor Summary

TextualDocumentView.PermanentSelectionCaret()

Method Summary

void	focusGained(FocusEvent e)
void	setSelectionVisible(boolean hasFocus)

Methods inherited from class javax.swing.text.DefaultCaret

addChangeListener, adjustVisibility, damage, deinstall, equals, fireStateChanged, focusLost, getBlinkRate, getChangeListeners, getComponent, getDot, getDotBias, getListeners, getMagicCaretPosition, getMark, getMarkBias, getSelectionPainter, getUpdatePolicy, install, isActive, isSelectionVisible, isVisible, mouseClicked, mouseDragged, mouseEntered, mouseExited, mouseMoved, mousePressed, mouseReleased, moveCaret, moveDot, moveDot, paint, positionCaret, removeChangeListener, repaint, setBlinkRate, setDot, setDot, setMagicCaretPosition, setUpdatePolicy, setVisible, toString

Methods inherited from class java.awt.Rectangle

add, add, add, contains, contains, contains, contains, createIntersection, createUnion, getBounds, getBounds2D, getHeight, getLocation, getSize, getWidth, getX, getY, grow, inside, intersection, intersects, isEmpty, move, outcode, reshape, resize, setBounds, setBounds, setLocation, setLocation, setRect, setSize, setSize, translate, union

Methods inherited from class java.awt.geom.Rectangle2D

add, add, add, contains, contains, getPathIterator, getPathIterator, hashCode, intersect, intersects, intersectsLine, intersectsLine, outcode, setFrame, setRect, union

Methods inherited from class java.awt.geom.RectangularShape

clone, contains, contains, getCenterX, getCenterY, getFrame, getMaxX, getMaxY, getMinX, getMinY, intersects, setFrame, setFrame, setFrameFromCenter, setFrameFromCenter, setFrameFromDiagonal, setFrameFromDiagonal

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.Shape

contains, contains, contains, contains, getPathIterator, getPathIterator, intersects, intersects

Constructor Detail

TextualDocumentView.PermanentSelectionCaret

public TextualDocumentView.PermanentSelectionCaret()

Method Detail

setSelectionVisible

public void setSelectionVisible(boolean hasFocus)

Specified by:

setSelectionVisible in interface Caret

Overrides:

setSelectionVisible in class DefaultCaret

focusGained

public void focusGained(FocusEvent e)

Specified by:

focusGained in interface FocusListener

Overrides:

focusGained in class DefaultCaret