grph.edit

Class GUIShellEditor

java.lang.Object

grph.edit.ShellEditor

grph.edit.GUIShellEditor

public class GUIShellEditor
extends ShellEditor

Constructor Summary

Constructors

Constructor and Description
GUIShellEditor(Grph g)

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)

Methods inherited from class grph.edit.ShellEditor

execute

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GUIShellEditor

public GUIShellEditor(Grph g)

Method Detail

main

public static void main(java.lang.String[] args)