class
EditEnd
: public Editor
(Return to index)
The sequence editor ENDEDIT command.
Type: |
Instantiable |
Superclasses: |
public Editor |
Include file: |
./Editor/EditEnd.hh |
Inheritance
Synopsis (including inherited members):
Documentation:
- Public members:
-
EditEnd
()
;
- Exemplar constructor.
-
virtual EditEnd* clone
(const string&)
;
- Make clone.
-
virtual void execute
()
;
- Execute the command.
Documentation generated by fci on Mon Feb 7 12:29:50 2000