jaxe
Class JaxeTextPane

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by javax.swing.text.JTextComponent
                  extended by javax.swing.JEditorPane
                      extended by javax.swing.JTextPane
                          extended by jaxe.JaxeTextPane
All Implemented Interfaces:
java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.Scrollable

public class JaxeTextPane
extends javax.swing.JTextPane

Zone de texte éditable correspondant à un document XML. Peut être utilisée indépendamment de JaxeFrame et JaxeMenuBar.

See Also:
Serialized Form

Nested Class Summary
protected static class JaxeTextPane.ActionColler
           
protected static class JaxeTextPane.ActionCopier
           
protected static class JaxeTextPane.ActionCouper
           
protected static class JaxeTextPane.ActionMenuContextuel
           
protected  class JaxeTextPane.MyCaretListener
           
protected  class JaxeTextPane.MyUndoableEditListener
           
 
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
 boolean iconeValide
           
 javax.swing.JFrame jframe
           
 
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
JaxeTextPane(JaxeDocument doc, javax.swing.JFrame jframe)
           
JaxeTextPane(JaxeDocument doc, javax.swing.JFrame jframe, boolean iconeValide)
           
 
Method Summary
 void addEdit(javax.swing.undo.UndoableEdit edit)
           
 void ajouterEcouteurAnnulation(EcouteurMAJ ec)
           
 void ajouterEcouteurArbre(EcouteurMAJ ec)
           
 void allerElement(org.w3c.dom.Element el)
          Positionne le document au début de l'élément DOM donné en paramètre.
 void allerLigne(int ligne)
          Positionne le document à la ligne indiquée (la première ligne a le numéro 1)
 boolean coller()
          Deprecated. remplacé par paste()
 void copier()
          Deprecated. remplacé par copy()
 void couper()
          Deprecated. remplacé par cut()
 void couper(int debut, int fin)
          Deprecated. 
 void debutEditionSpeciale(java.lang.String titre, boolean ignorerEdition)
          Edition spéciale: combinaison d'un ensemble de JaxeUndoableEdit.
 void debutIgnorerEdition()
           
static void effacerPressePapier()
          Deprecated. 
 void finEditionSpeciale()
           
 void finIgnorerEdition()
           
 boolean getEditionSpeciale()
           
 boolean getIgnorerEdition()
           
 javax.swing.undo.UndoManager getUndo()
           
protected  void menuContextuel(int pos, java.awt.Point pt)
           
 void miseAJourAnnulation()
           
 void miseAJourArbre()
           
 void processMouseEvent(java.awt.event.MouseEvent e)
           
 void rechercher()
           
 void rechercher(java.lang.String s)
           
 void retirerEcouteurAnnulation(EcouteurMAJ ec)
           
 void retirerEcouteurArbre(EcouteurMAJ ec)
           
 void selectElement(org.w3c.dom.Node n)
          Sélectionne le noeud DOM donné en paramètre.
 void selectZone(int debut, int fin, boolean select, boolean modsel)
           
 void setIconeValide(boolean iconeValide)
           
 void setTabs(int charactersPerTab)
           
 void suivant()
           
 void toutSelectionner()
           
 void undo()
           
 
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, getScrollableTracksViewportWidth, getStream, getText, read, registerEditorKitForContentType, registerEditorKitForContentType, removeHyperlinkListener, scrollToReference, setContentType, setEditorKitForContentType, setPage, setPage, setText
 
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, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, 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

jframe

public javax.swing.JFrame jframe

iconeValide

public boolean iconeValide
Constructor Detail

JaxeTextPane

public JaxeTextPane(JaxeDocument doc,
                    javax.swing.JFrame jframe)

JaxeTextPane

public JaxeTextPane(JaxeDocument doc,
                    javax.swing.JFrame jframe,
                    boolean iconeValide)
Method Detail

getUndo

public javax.swing.undo.UndoManager getUndo()

undo

public void undo()

getEditionSpeciale

public boolean getEditionSpeciale()

getIgnorerEdition

public boolean getIgnorerEdition()

processMouseEvent

public void processMouseEvent(java.awt.event.MouseEvent e)
Overrides:
processMouseEvent in class javax.swing.JComponent

menuContextuel

protected void menuContextuel(int pos,
                              java.awt.Point pt)

selectZone

public void selectZone(int debut,
                       int fin,
                       boolean select,
                       boolean modsel)

selectElement

public void selectElement(org.w3c.dom.Node n)
Sélectionne le noeud DOM donné en paramètre.


allerLigne

public void allerLigne(int ligne)
Positionne le document à la ligne indiquée (la première ligne a le numéro 1)


allerElement

public void allerElement(org.w3c.dom.Element el)
Positionne le document au début de l'élément DOM donné en paramètre.


debutIgnorerEdition

public void debutIgnorerEdition()

finIgnorerEdition

public void finIgnorerEdition()

debutEditionSpeciale

public void debutEditionSpeciale(java.lang.String titre,
                                 boolean ignorerEdition)
Edition spéciale: combinaison d'un ensemble de JaxeUndoableEdit.


finEditionSpeciale

public void finEditionSpeciale()

addEdit

public void addEdit(javax.swing.undo.UndoableEdit edit)

couper

@Deprecated
public void couper()
Deprecated. remplacé par cut()


couper

@Deprecated
public void couper(int debut,
                              int fin)
Deprecated. 

Coupe une zone du document et la place dans le presse-papier les paramètres ne sont plus utilisés (la sélection est utilisée à la place)


copier

@Deprecated
public void copier()
Deprecated. remplacé par copy()

Copie la sélection dans le presse-papier


coller

@Deprecated
public boolean coller()
Deprecated. remplacé par paste()

Colle le contenu du presse-papier en remplaçant la sélection


effacerPressePapier

@Deprecated
public static void effacerPressePapier()
Deprecated. 

Ne fait plus rien. Etait appelé par JTPClipOwner.lostOwnership().


toutSelectionner

public void toutSelectionner()

rechercher

public void rechercher()

rechercher

public void rechercher(java.lang.String s)

suivant

public void suivant()

ajouterEcouteurArbre

public void ajouterEcouteurArbre(EcouteurMAJ ec)

retirerEcouteurArbre

public void retirerEcouteurArbre(EcouteurMAJ ec)

miseAJourArbre

public void miseAJourArbre()

ajouterEcouteurAnnulation

public void ajouterEcouteurAnnulation(EcouteurMAJ ec)

retirerEcouteurAnnulation

public void retirerEcouteurAnnulation(EcouteurMAJ ec)

miseAJourAnnulation

public void miseAJourAnnulation()

setTabs

public void setTabs(int charactersPerTab)

setIconeValide

public void setIconeValide(boolean iconeValide)