-Added Redo menu option
commitefa9da73f0f675b7e47d48b06cda7f42b1899c6d
authors.feenstra <Stefan@129.125.58.58>
Thu, 30 Sep 2010 16:32:46 +0000 (30 18:32 +0200)
committers.feenstra <Stefan@129.125.58.58>
Thu, 30 Sep 2010 16:32:46 +0000 (30 18:32 +0200)
tree7162adee7acd0f80101dbe9da16f98286fc064c4
parentd1b32ca0e60df8542b36318be5ca96b46563648e
-Added Redo menu option
-Added Spaces allowed in object names
java/Graph Editor/.settings/org.eclipse.core.resources.prefs [new file with mode: 0644]
java/Graph Editor/Todo.txt
java/Graph Editor/src/controllers/SelectionController.java
java/Graph Editor/src/controllers/actions/Rename.java
java/Graph Editor/src/interfaces/GraphFrame.java