Uses of Class
gate.gui.DocumentEditor

No usage of gate.gui.DocumentEditor