|
The Meta-Environment API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.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
public class EditorPane
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 |
---|
private javax.swing.text.Style defaultStyle
private java.lang.Object focusTag
private javax.swing.text.Highlighter.HighlightPainter focusPainter
private int bracketOffset
private java.lang.Object bracketTag
private BracketHighlightPainter bracketPainter
private java.lang.Object jaggedSelectionTag
private JaggedHighlightPainter jaggedHighlightPainter
private boolean modified
private boolean undoableEditListenerAdded
private javax.swing.JMenu menu
private java.awt.Color bracketHighlightColor
private java.awt.Color lineHighlightColor
private java.awt.Color backgroundColor
private java.awt.Rectangle lineHighlight
private java.util.List<EditorModifiedListener> listeners
Constructor Detail |
---|
public EditorPane()
Method Detail |
---|
protected void addBindings()
protected void addBinding(int key, java.lang.String name)
protected void addBinding(javax.swing.JMenu menu, int key, java.lang.String name)
private void addMouseMotionListener()
private void addCaretListener()
private void addDocumentListener()
private void paintLineHighlight()
private void paintBracketHighlight() throws javax.swing.text.BadLocationException
javax.swing.text.BadLocationException
public void highlight(int offset)
public void paintComponent(java.awt.Graphics gfx)
paintComponent
in class javax.swing.JComponent
public boolean getScrollableTracksViewportWidth()
getScrollableTracksViewportWidth
in interface javax.swing.Scrollable
getScrollableTracksViewportWidth
in class javax.swing.JEditorPane
public void setFocusColor(java.awt.Color color)
public javax.swing.text.Style getDefaultStyle()
public void setStyle(int offset, int length, java.lang.String name)
public void unsetStyles()
public void focus(int offset, int length)
public void clearFocus()
public java.lang.Object getFocusTag()
public void jag(int offset, int length)
public void clearJaggedSelection()
public java.lang.Object getJaggedSelectionTag()
public java.awt.Color getBackgroundColor()
public javax.swing.JMenu getEditorMenu()
public void setText(java.lang.String t)
setText
in class javax.swing.JEditorPane
public void setCaretPositionAtEnd()
public void setModified(boolean modified)
public boolean isModified()
public 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)
public boolean replace(java.lang.String toBeFound, java.lang.String toReplaceWith, boolean caseInsensitive, boolean wrapAround, boolean forward)
public void replaceAll(java.lang.String toBeFound, java.lang.String toReplaceWith, boolean caseInsensitive)
public void gotoLine(int line)
public void addEditorModifiedListener(EditorModifiedListener l)
public void removeEditorModifiedListener(EditorModifiedListener l)
public void fireEditorModifiedEvent()
|
The Meta-Environment API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |