public class EditeurTan extends EditeurBraille implements java.awt.event.MouseListener, FileChangeListener, java.awt.event.KeyListener
javax.swing.JFrame.AccessibleJFrame
java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
tmpApercu
nom du fichier braille généré pour obtenir l'apercu
|
static java.lang.String |
tmpXHTML
nom du fichier xhtml réalisé en détranscrivant
tmpApercu |
apercu, btEmbosser, btEnregistrer, btEnregistrersous, btFermer, btRedo, btUndo, embosseur, encodage, enModif, gestErreur, jcbPerkins, jmb, jmEdition, jmFichier, jmiEmboss, jmiEnregistrer, jmiEnregistrerSous, jmiPerkins, jmiQuitter, jmiRedo, jmiResetPos, jmiShowLeft, jmiShowRight, jmiUndo, jmView, lFichier, message, modif, panneauAffichage, pn, positionCurseur, resultat, scrollRes, splitPane, tailleCaractere, undoMng
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
Constructor and Description |
---|
EditeurTan(Embosseur emb,
java.lang.String f,
Nat n)
Construit un objet Editeur
|
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent evt)
Implémente la méthode actionPerformed d'ActionListener
Gère les actions des boutons et met à jour l'InputMap du JTextPane resultat en fonction de
l'état du JCheckBox jcbPerkins
|
void |
afficheFichier(java.lang.String nomFichier,
java.lang.String police,
int taillePolice)
Affiche le fichier dans le JTextPane
|
void |
afficheFichier(java.lang.String nomFichier,
java.lang.String police,
int taillePolice,
java.lang.String police2,
int taillePolice2)
Affiche le fichier dans le JTextPane resultat et configure la ligne secondaire
|
void |
dispose()
Supprime aussi
panneauLog des écouteurs de logs |
protected void |
enregistrerFichierNoir(java.lang.String fichierNoir,
boolean changeNom)
Enregistre aussi le fichier noir (en XHTML)
|
boolean |
fabriqueExec(int os,
java.lang.String fichMath)
Fabrique le script de lancement de l'éditeur mathématique d'OOo en fonction de l'OS
|
void |
fileChanged(java.lang.String fileName)
Le fichier a été modifié
|
java.lang.String |
getText()
Renvoie le texte contenu dans
EditeurBraille.resultat |
void |
keyPressed(java.awt.event.KeyEvent ke)
Prend en charge l'utilisation de ENTER sur un JMathComponent
|
void |
keyReleased(java.awt.event.KeyEvent e) |
void |
keyTyped(java.awt.event.KeyEvent e) |
void |
mouseClicked(java.awt.event.MouseEvent me) |
void |
mouseEntered(java.awt.event.MouseEvent arg0) |
void |
mouseExited(java.awt.event.MouseEvent arg0) |
void |
mousePressed(java.awt.event.MouseEvent arg0) |
void |
mouseReleased(java.awt.event.MouseEvent arg0) |
void |
setVisible(boolean v)
Demande aussi s'il faut effacer le fichier temporaire mémorisé
|
void |
windowClosing(java.awt.event.WindowEvent arg0)
Vérifie si il faut demander l'enregistrement
Enregistre la position de la barre de division
Appelle
EditeurBraille.windowClosing(WindowEvent) |
ajouteListenerDoc, changedUpdate, componentHidden, componentMoved, componentResized, componentShown, enregistrerFichier, enregistrerFichier, focusGained, focusLost, getFichier, getOrigine, insertUpdate, manageError, removeUpdate, setEncodage, setFichier, undoableEditHappened, windowActivated, windowClosed, windowDeactivated, windowDeiconified, windowIconified, windowOpened
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, show, toBack, toFront
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusDownCycle, validate, validateTree
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
public static final java.lang.String tmpApercu
public static final java.lang.String tmpXHTML
tmpApercu
public void setVisible(boolean v)
setVisible
in class java.awt.Window
Window.setVisible(boolean)
protected void enregistrerFichierNoir(java.lang.String fichierNoir, boolean changeNom)
fichierNoir
- adresse du fichier noirchangeNom
- vrai si il faut enregistrer le fichier sous un autre nom
TODO: paramétrage pour ajouter ou non un doctype; pour l'instant, la variable est toujours à fauxpublic void afficheFichier(java.lang.String nomFichier, java.lang.String police, int taillePolice, java.lang.String police2, int taillePolice2)
nomFichier
- nom du fichier transcritpolice
- police principaletaillePolice
- taille de la police principalepolice2
- police secondairetaillePolice2
- taille de la police secondairepublic void afficheFichier(java.lang.String nomFichier, java.lang.String police, int taillePolice)
nomFichier
- nom du fichier transcritpolice
- police principaletaillePolice
- taille de la police principalepublic java.lang.String getText()
EditeurBraille.resultat
getText
in interface TextSender
getText
in class EditeurBraille
EditeurBraille.resultat
TextSender.getText()
public void actionPerformed(java.awt.event.ActionEvent evt)
actionPerformed
in interface java.awt.event.ActionListener
actionPerformed
in class EditeurBraille
evt
- l'objet ActionEventpublic void mouseClicked(java.awt.event.MouseEvent me)
mouseClicked
in interface java.awt.event.MouseListener
MouseListener.mouseClicked(java.awt.event.MouseEvent)
public boolean fabriqueExec(int os, java.lang.String fichMath)
os
- indique le système d'exploitationfichMath
- nom du fichier temporaire mathmlpublic void mouseEntered(java.awt.event.MouseEvent arg0)
mouseEntered
in interface java.awt.event.MouseListener
MouseListener.mouseEntered(java.awt.event.MouseEvent)
public void mouseExited(java.awt.event.MouseEvent arg0)
mouseExited
in interface java.awt.event.MouseListener
MouseListener.mouseExited(java.awt.event.MouseEvent)
public void mousePressed(java.awt.event.MouseEvent arg0)
mousePressed
in interface java.awt.event.MouseListener
MouseListener.mousePressed(java.awt.event.MouseEvent)
public void mouseReleased(java.awt.event.MouseEvent arg0)
mouseReleased
in interface java.awt.event.MouseListener
MouseListener.mouseReleased(java.awt.event.MouseEvent)
public void fileChanged(java.lang.String fileName)
fileChanged
in interface FileChangeListener
fileName
- adresse du fichierFileChangeListener.fileChanged(java.lang.String)
public void keyPressed(java.awt.event.KeyEvent ke)
keyPressed
in interface java.awt.event.KeyListener
public void windowClosing(java.awt.event.WindowEvent arg0)
EditeurBraille.windowClosing(WindowEvent)
windowClosing
in interface java.awt.event.WindowListener
windowClosing
in class EditeurBraille
WindowListener.windowClosing(java.awt.event.WindowEvent)
public void dispose()
panneauLog
des écouteurs de logsdispose
in class java.awt.Window
Window.dispose()
public void keyReleased(java.awt.event.KeyEvent e)
keyReleased
in interface java.awt.event.KeyListener
KeyListener.keyReleased(java.awt.event.KeyEvent)
public void keyTyped(java.awt.event.KeyEvent e)
keyTyped
in interface java.awt.event.KeyListener
KeyListener.keyTyped(java.awt.event.KeyEvent)