aminePlatform.guis.cgNotationsGUI
Class AmineCGDrawEditor
java.lang.Object
aminePlatform.guis.util.AmineEditor
aminePlatform.guis.cgNotationsGUI.AmineCGDrawEditor
- public class AmineCGDrawEditor
- extends AmineEditor
Title: guis.cgNotationsGUI.AmineCGDrawEditor class
Description: AmineCGDrawEditor extends AmineEditor and implement CG Draw
Editor functions.
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
graphDrawFrame
public GraphDrawFrame graphDrawFrame
AmineCGDrawEditor
public AmineCGDrawEditor(GraphDrawFrame graphDrawFrame,
javax.swing.JMenuItem mnEditUndo,
javax.swing.JMenuItem mnEditRedo)
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
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
cancelSearch
public void cancelSearch()
- Specified by:
cancelSearch
in class AmineEditor