Package jaxe

Class JaxeTextPane

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, Scrollable

public class JaxeTextPane extends JTextPane
Zone de texte éditable correspondant à un document XML. Peut être utilisée indépendamment de JaxeFrame et JaxeMenuBar.
See Also:
  • Field Details

    • jframe

      public JFrame jframe
    • iconeValide

      public boolean iconeValide
  • Constructor Details

  • Method Details

    • getUndo

      public UndoManager getUndo()
    • undo

      public void undo()
    • getEditionSpeciale

      public boolean getEditionSpeciale()
    • getIgnorerEdition

      public boolean getIgnorerEdition()
    • processMouseEvent

      public void processMouseEvent(MouseEvent e)
      Overrides:
      processMouseEvent in class JComponent
    • selectZone

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

      public void selectElement(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(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(String titre, boolean ignorerEdition)
      Edition spéciale: combinaison d'un ensemble de JaxeUndoableEdit.
    • finEditionSpeciale

      public void finEditionSpeciale()
    • addEdit

      public void addEdit(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(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)