visad.util
Class TextEditor
- java.lang.Object
-
- java.awt.Component
-
- java.awt.Container
-
- javax.swing.JComponent
-
- javax.swing.JScrollPane
-
- visad.util.TextEditor
-
- All Implemented Interfaces:
- java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.event.UndoableEditListener, javax.swing.ScrollPaneConstants
- Direct Known Subclasses:
- CodeEditor
public class TextEditor extends javax.swing.JScrollPane implements javax.swing.event.UndoableEditListenerA general-purpose editor for reading and writing text files.- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Field Summary
Fields Modifier and Type Field and Description static booleanDEBUGdebugging flagstatic java.awt.FontMONOmonospaced font-
Fields inherited from class javax.swing.JComponent
TOOL_TIP_TEXT_KEY, 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 javax.swing.ScrollPaneConstants
COLUMN_HEADER, HORIZONTAL_SCROLLBAR, HORIZONTAL_SCROLLBAR_ALWAYS, HORIZONTAL_SCROLLBAR_AS_NEEDED, HORIZONTAL_SCROLLBAR_NEVER, HORIZONTAL_SCROLLBAR_POLICY, LOWER_LEADING_CORNER, LOWER_LEFT_CORNER, LOWER_RIGHT_CORNER, LOWER_TRAILING_CORNER, ROW_HEADER, UPPER_LEADING_CORNER, UPPER_LEFT_CORNER, UPPER_RIGHT_CORNER, UPPER_TRAILING_CORNER, VERTICAL_SCROLLBAR, VERTICAL_SCROLLBAR_ALWAYS, VERTICAL_SCROLLBAR_AS_NEEDED, VERTICAL_SCROLLBAR_NEVER, VERTICAL_SCROLLBAR_POLICY, VIEWPORT
-
-
Constructor Summary
Constructors Constructor and Description TextEditor()constructs a TextEditorTextEditor(java.lang.String filename)constructs a TextEditor containing text from the given filename
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method and Description voidaddUndoableEditListener(javax.swing.event.UndoableEditListener l)add an undoable edit listenerbooleancanRedo()returns whether a redo command is possiblebooleancanUndo()returns whether an undo command is possiblevoidcopy()copies the selected text to the clipboardvoidcut()cuts the selected text to the clipboardjava.io.FilegetFile()returns the file being editedjava.lang.StringgetFilename()returns the filename being editedjava.lang.StringgetRedoName()returns the name of the redo commandjava.lang.StringgetText()returns a string containing the text of the documentjavax.swing.text.JTextComponentgetTextComponent()Provide direct access to the text componentjava.lang.StringgetUndoName()returns the name of the undo commandbooleanhasChanged()returns whether the document has changed since the last savevoidinsertText(java.lang.String textToInsert)Insert the given text at the caretvoidnewFile()starts from scratch with a blank documentbooleanopenDialog()pops up a dialog box for the user to select a file to openvoidopenFile(java.io.File file)opens the given filevoidopenFile(java.lang.String filename)opens the given filevoidpaste()pastes the clipboard into the text documentvoidredo()redoes the last undone editvoidremoveUndoableEditListener(javax.swing.event.UndoableEditListener l)remove an undoable edit listenerbooleansaveDialog()pops up a dialog box for the user to select a file to savebooleansaveFile()saves the file under its current namevoidsaveFile(java.io.File file)saves the given filevoidsaveFile(java.lang.String filename)saves the given filevoidsetText(java.lang.String text)sets the text of this document to the current stringvoidundo()undoes the last editvoidundoableEditHappened(javax.swing.event.UndoableEditEvent e)handle undoable edits-
Methods inherited from class javax.swing.JScrollPane
createHorizontalScrollBar, createVerticalScrollBar, getAccessibleContext, getColumnHeader, getCorner, getHorizontalScrollBar, getHorizontalScrollBarPolicy, getRowHeader, getUI, getUIClassID, getVerticalScrollBar, getVerticalScrollBarPolicy, getViewport, getViewportBorder, getViewportBorderBounds, isValidateRoot, isWheelScrollingEnabled, setColumnHeader, setColumnHeaderView, setComponentOrientation, setCorner, setHorizontalScrollBar, setHorizontalScrollBarPolicy, setLayout, setRowHeader, setRowHeaderView, setUI, setVerticalScrollBar, setVerticalScrollBarPolicy, setViewport, setViewportBorder, setViewportView, setWheelScrollingEnabled, updateUI
-
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, paint, paintImmediately, paintImmediately, print, printAll, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, 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, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
-
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, 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, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, transferFocusDownCycle, validate
-
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, contains, createImage, createImage, createVolatileImage, createVolatileImage, dispatchEvent, enable, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, 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, 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
-
-
-
-
Field Detail
-
MONO
public static final java.awt.Font MONO
monospaced font
-
DEBUG
public static final boolean DEBUG
debugging flag- See Also:
- Constant Field Values
-
-
Constructor Detail
-
TextEditor
public TextEditor()
constructs a TextEditor
-
TextEditor
public TextEditor(java.lang.String filename)
constructs a TextEditor containing text from the given filename
-
-
Method Detail
-
newFile
public void newFile()
starts from scratch with a blank document
-
openFile
public void openFile(java.lang.String filename) throws java.io.IOExceptionopens the given file- Throws:
java.io.IOException
-
openFile
public void openFile(java.io.File file) throws java.io.IOExceptionopens the given file- Throws:
java.io.IOException
-
saveFile
public void saveFile(java.lang.String filename) throws java.io.IOExceptionsaves the given file- Throws:
java.io.IOException
-
saveFile
public void saveFile(java.io.File file) throws java.io.IOExceptionsaves the given file- Throws:
java.io.IOException
-
openDialog
public boolean openDialog()
pops up a dialog box for the user to select a file to open
-
saveDialog
public boolean saveDialog()
pops up a dialog box for the user to select a file to save
-
saveFile
public boolean saveFile()
saves the file under its current name
-
undo
public void undo() throws javax.swing.undo.CannotUndoExceptionundoes the last edit- Throws:
javax.swing.undo.CannotUndoException
-
redo
public void redo() throws javax.swing.undo.CannotRedoExceptionredoes the last undone edit- Throws:
javax.swing.undo.CannotRedoException
-
cut
public void cut()
cuts the selected text to the clipboard
-
copy
public void copy()
copies the selected text to the clipboard
-
paste
public void paste()
pastes the clipboard into the text document
-
getTextComponent
public javax.swing.text.JTextComponent getTextComponent()
Provide direct access to the text component- Returns:
- the text component
-
getText
public java.lang.String getText()
returns a string containing the text of the document
-
setText
public void setText(java.lang.String text)
sets the text of this document to the current string
-
insertText
public void insertText(java.lang.String textToInsert)
Insert the given text at the caret- Parameters:
textToInsert- the text
-
getFilename
public java.lang.String getFilename()
returns the filename being edited
-
getFile
public java.io.File getFile()
returns the file being edited
-
canUndo
public boolean canUndo()
returns whether an undo command is possible
-
canRedo
public boolean canRedo()
returns whether a redo command is possible
-
getUndoName
public java.lang.String getUndoName()
returns the name of the undo command
-
getRedoName
public java.lang.String getRedoName()
returns the name of the redo command
-
hasChanged
public boolean hasChanged()
returns whether the document has changed since the last save
-
undoableEditHappened
public void undoableEditHappened(javax.swing.event.UndoableEditEvent e)
handle undoable edits- Specified by:
undoableEditHappenedin interfacejavax.swing.event.UndoableEditListener
-
addUndoableEditListener
public void addUndoableEditListener(javax.swing.event.UndoableEditListener l)
add an undoable edit listener
-
removeUndoableEditListener
public void removeUndoableEditListener(javax.swing.event.UndoableEditListener l)
remove an undoable edit listener
-
-
DMelt 3.0 © DataMelt by jWork.ORG