nl.cwi.sen1.gui.plugin.editor
Class EditorPane

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.text.JTextComponent
                  javax.swing.JEditorPane
                      javax.swing.JTextPane
                          nl.cwi.sen1.gui.plugin.editor.EditorPane

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.Scrollable

public class EditorPane
extends javax.swing.JTextPane

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JEditorPane

javax.swing.JEditorPane.AccessibleJEditorPane, javax.swing.JEditorPane.AccessibleJEditorPaneHTML, javax.swing.JEditorPane.JEditorPaneAccessibleHypertextSupport

Nested classes/interfaces inherited from class javax.swing.text.JTextComponent

javax.swing.text.JTextComponent.AccessibleJTextComponent, javax.swing.text.JTextComponent.DropLocation, javax.swing.text.JTextComponent.KeyBinding

Nested classes/interfaces inherited from class javax.swing.JComponent

javax.swing.JComponent.AccessibleJComponent

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

private java.awt.Color	backgroundColor
private java.awt.Color	bracketHighlightColor
private int	bracketOffset
private BracketHighlightPainter	bracketPainter
private java.lang.Object	bracketTag
private javax.swing.text.Style	defaultStyle
private javax.swing.text.Highlighter.HighlightPainter	focusPainter
private java.lang.Object	focusTag
private JaggedHighlightPainter	jaggedHighlightPainter
private java.lang.Object	jaggedSelectionTag
private java.awt.Rectangle	lineHighlight
private java.awt.Color	lineHighlightColor
private java.util.List<EditorModifiedListener>	listeners
private javax.swing.JMenu	menu
private boolean	modified
private boolean	undoableEditListenerAdded

Fields inherited from class javax.swing.JEditorPane

HONOR_DISPLAY_PROPERTIES, W3C_LENGTH_UNITS

Fields inherited from class javax.swing.text.JTextComponent

DEFAULT_KEYMAP, FOCUS_ACCELERATOR_KEY

Fields inherited from class javax.swing.JComponent

accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

EditorPane()

Method Summary

protected void	addBinding(int key, java.lang.String name)
protected void	addBinding(javax.swing.JMenu menu, int key, java.lang.String name)
protected void	addBindings()
private void	addCaretListener()
private void	addDocumentListener()
void	addEditorModifiedListener(EditorModifiedListener l)
private void	addMouseMotionListener()
void	clearFocus()
void	clearJaggedSelection()
boolean	find(java.lang.String toBeFound, boolean caseInsensitive, boolean wrapAround, boolean forward)
private int	findFromInText(java.lang.String text, java.lang.String toBeFound, int from, boolean forward)
void	fireEditorModifiedEvent()
void	focus(int offset, int length)
java.awt.Color	getBackgroundColor()
javax.swing.text.Style	getDefaultStyle()
javax.swing.JMenu	getEditorMenu()
java.lang.Object	getFocusTag()
java.lang.Object	getJaggedSelectionTag()
boolean	getScrollableTracksViewportWidth()
void	gotoLine(int line)
void	highlight(int offset)
boolean	isModified()
void	jag(int offset, int length)
private void	paintBracketHighlight()
void	paintComponent(java.awt.Graphics gfx)
private void	paintLineHighlight()
void	removeEditorModifiedListener(EditorModifiedListener l)
boolean	replace(java.lang.String toBeFound, java.lang.String toReplaceWith, boolean caseInsensitive, boolean wrapAround, boolean forward)
void	replaceAll(java.lang.String toBeFound, java.lang.String toReplaceWith, boolean caseInsensitive)
void	setCaretPositionAtEnd()
void	setFocusColor(java.awt.Color color)
void	setModified(boolean modified)
void	setStyle(int offset, int length, java.lang.String name)
void	setText(java.lang.String t)
void	unsetStyles()

Methods inherited from class javax.swing.JTextPane

addStyle, createDefaultEditorKit, getCharacterAttributes, getInputAttributes, getLogicalStyle, getParagraphAttributes, getStyle, getStyledDocument, getStyledEditorKit, getUIClassID, insertComponent, insertIcon, paramString, removeStyle, replaceSelection, setCharacterAttributes, setDocument, setEditorKit, setLogicalStyle, setParagraphAttributes, setStyledDocument

Methods inherited from class javax.swing.JEditorPane

addHyperlinkListener, createEditorKitForContentType, fireHyperlinkUpdate, getAccessibleContext, getContentType, getEditorKit, getEditorKitClassNameForContentType, getEditorKitForContentType, getHyperlinkListeners, getPage, getPreferredSize, getScrollableTracksViewportHeight, getStream, getText, read, registerEditorKitForContentType, registerEditorKitForContentType, removeHyperlinkListener, scrollToReference, setContentType, setEditorKitForContentType, setPage, setPage

Methods inherited from class javax.swing.text.JTextComponent

addCaretListener, addInputMethodListener, addKeymap, copy, cut, fireCaretUpdate, getActions, getCaret, getCaretColor, getCaretListeners, getCaretPosition, getDisabledTextColor, getDocument, getDragEnabled, getDropLocation, getDropMode, getFocusAccelerator, getHighlighter, getInputMethodRequests, getKeymap, getKeymap, getMargin, getNavigationFilter, getPreferredScrollableViewportSize, getPrintable, getScrollableBlockIncrement, getScrollableUnitIncrement, getSelectedText, getSelectedTextColor, getSelectionColor, getSelectionEnd, getSelectionStart, getText, getToolTipText, getUI, isEditable, loadKeymap, modelToView, moveCaretPosition, paste, print, print, print, processInputMethodEvent, read, removeCaretListener, removeKeymap, removeNotify, select, selectAll, setCaret, setCaretColor, setCaretPosition, setComponentOrientation, setDisabledTextColor, setDragEnabled, setDropMode, setEditable, setFocusAccelerator, setHighlighter, setKeymap, setMargin, setNavigationFilter, setSelectedTextColor, setSelectionColor, setSelectionEnd, setSelectionStart, setUI, updateUI, viewToModel, write

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

defaultStyle

private javax.swing.text.Style defaultStyle

focusTag

private java.lang.Object focusTag

focusPainter

private javax.swing.text.Highlighter.HighlightPainter focusPainter

bracketOffset

private int bracketOffset

bracketTag

private java.lang.Object bracketTag

bracketPainter

private BracketHighlightPainter bracketPainter

jaggedSelectionTag

private java.lang.Object jaggedSelectionTag

jaggedHighlightPainter

private JaggedHighlightPainter jaggedHighlightPainter

modified

private boolean modified

undoableEditListenerAdded

private boolean undoableEditListenerAdded

menu

private javax.swing.JMenu menu

bracketHighlightColor

private java.awt.Color bracketHighlightColor

lineHighlightColor

private java.awt.Color lineHighlightColor

backgroundColor

private java.awt.Color backgroundColor

lineHighlight

private java.awt.Rectangle lineHighlight

listeners

private java.util.List<EditorModifiedListener> listeners

Constructor Detail

EditorPane

public EditorPane()

Method Detail

addBindings

protected void addBindings()

addBinding

protected void addBinding(int key,
                          java.lang.String name)

addBinding

protected void addBinding(javax.swing.JMenu menu,
                          int key,
                          java.lang.String name)

addMouseMotionListener

private void addMouseMotionListener()

addCaretListener

private void addCaretListener()

addDocumentListener

private void addDocumentListener()

paintLineHighlight

private void paintLineHighlight()

paintBracketHighlight

private void paintBracketHighlight()
                            throws javax.swing.text.BadLocationException

Throws:

javax.swing.text.BadLocationException

highlight

public void highlight(int offset)

paintComponent

public void paintComponent(java.awt.Graphics gfx)

Overrides:

paintComponent in class javax.swing.JComponent

getScrollableTracksViewportWidth

public boolean getScrollableTracksViewportWidth()

Specified by:

getScrollableTracksViewportWidth in interface javax.swing.Scrollable

Overrides:

getScrollableTracksViewportWidth in class javax.swing.JEditorPane

setFocusColor

public void setFocusColor(java.awt.Color color)

getDefaultStyle

public javax.swing.text.Style getDefaultStyle()

setStyle

public void setStyle(int offset,
                     int length,
                     java.lang.String name)

unsetStyles

public void unsetStyles()

focus

public void focus(int offset,
                  int length)

clearFocus

public void clearFocus()

getFocusTag

public java.lang.Object getFocusTag()

jag

public void jag(int offset,
                int length)

clearJaggedSelection

public void clearJaggedSelection()

getJaggedSelectionTag

public java.lang.Object getJaggedSelectionTag()

getBackgroundColor

public java.awt.Color getBackgroundColor()

getEditorMenu

public javax.swing.JMenu getEditorMenu()

setText

public void setText(java.lang.String t)

Overrides:

setText in class javax.swing.JEditorPane

setCaretPositionAtEnd

public void setCaretPositionAtEnd()

setModified

public void setModified(boolean modified)

isModified

public boolean isModified()

find

public boolean find(java.lang.String toBeFound,
                    boolean caseInsensitive,
                    boolean wrapAround,
                    boolean forward)

findFromInText

private int findFromInText(java.lang.String text,
                           java.lang.String toBeFound,
                           int from,
                           boolean forward)

replace

public boolean replace(java.lang.String toBeFound,
                       java.lang.String toReplaceWith,
                       boolean caseInsensitive,
                       boolean wrapAround,
                       boolean forward)

replaceAll

public void replaceAll(java.lang.String toBeFound,
                       java.lang.String toReplaceWith,
                       boolean caseInsensitive)

gotoLine

public void gotoLine(int line)

addEditorModifiedListener

public void addEditorModifiedListener(EditorModifiedListener l)

removeEditorModifiedListener

public void removeEditorModifiedListener(EditorModifiedListener l)

fireEditorModifiedEvent

public void fireEditorModifiedEvent()