aminePlatform.guis.util
Class AmineTextEditor
java.lang.Object
aminePlatform.guis.util.AmineEditor
aminePlatform.guis.util.AmineTextEditor
- public class AmineTextEditor
- extends AmineEditor
Title: guis.util.AmineTextEditor class
Description: This class provides a Text Editor for Amine Platform,
it extends the class AmineEditor with general facilities concerning a
text editor : the class is a text area manager ; it provides a text area
with a document and associate to this later undo manager (undo, redo),
edit operations (cut, copy, past), character operations (font, size),
search operations (find, findNext, replace, replaceAll) and other classic
operations (like getText, setText, append).
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Constructor Summary |
AmineTextEditor(javax.swing.JMenuItem mnEditUndo,
javax.swing.JMenuItem mnEditRedo,
CGTextEditor cgTextEditor)
|
AmineTextEditor(javax.swing.text.JTextComponent txtArea,
javax.swing.JMenuItem mnEditUndo,
javax.swing.JMenuItem mnEditRedo,
CGTextEditor cgTextEditor)
|
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
txtArea
public javax.swing.text.JTextComponent txtArea
document
javax.swing.text.Document document
cgTextEditor
CGTextEditor cgTextEditor
txtPopupMenu
AmineTextEditor.TxtPopupMenu txtPopupMenu
searchDlg
AmineTextEditor.SearchReplaceDlg searchDlg
sToFind
java.lang.String sToFind
sReplace
java.lang.String sReplace
posSrch
int posSrch
txtSrch
java.lang.String txtSrch
lengthsToFind
int lengthsToFind
selectStrt
int selectStrt
sizeFont
int sizeFont
styleFont
int styleFont
AmineTextEditor
public AmineTextEditor(javax.swing.JMenuItem mnEditUndo,
javax.swing.JMenuItem mnEditRedo,
CGTextEditor cgTextEditor)
AmineTextEditor
public AmineTextEditor(javax.swing.text.JTextComponent txtArea,
javax.swing.JMenuItem mnEditUndo,
javax.swing.JMenuItem mnEditRedo,
CGTextEditor cgTextEditor)
setTextComponent
public void setTextComponent(javax.swing.text.JTextComponent txtArea)
onMouseReleased
void onMouseReleased(java.awt.event.MouseEvent e)
finalize
public void finalize()
- Overrides:
finalize
in class AmineEditor
getText
public java.lang.String getText()
setText
public void setText(java.lang.String txt)
append
public void append(java.lang.String txt)
copy
public void copy()
- Specified by:
copy
in class AmineEditor
cut
public void cut()
- Specified by:
cut
in class AmineEditor
paste
public void paste()
- Specified by:
paste
in class AmineEditor
bold
public void bold(boolean isBold)
- Specified by:
bold
in class AmineEditor
getFontStyle
public int getFontStyle()
getFontSize
public int getFontSize()
setSize
public void setSize(int t)
- Specified by:
setSize
in class AmineEditor
search
public void search()
- Specified by:
search
in class AmineEditor
find
public boolean find()
- Specified by:
find
in class AmineEditor
replace
public boolean replace()
- Specified by:
replace
in class AmineEditor
replaceAll
public void replaceAll()
- Specified by:
replaceAll
in class AmineEditor
replaceBis
boolean replaceBis()
cancelSearch
public void cancelSearch()
- Specified by:
cancelSearch
in class AmineEditor
find_actionPerformed
boolean find_actionPerformed()
replace_actionPerformed
boolean replace_actionPerformed()
replaceAll_actionPerformed
void replaceAll_actionPerformed()
btCancelSrch_actionPerformed
void btCancelSrch_actionPerformed()