Àdded Renaming of objects.
commitd04978661e59af00e3ad8c17ad51ef6fe952d7ae
authors.feenstra <Stefan@129.125.58.58>
Thu, 30 Sep 2010 15:44:19 +0000 (30 17:44 +0200)
committers.feenstra <Stefan@129.125.58.58>
Thu, 30 Sep 2010 15:44:19 +0000 (30 17:44 +0200)
tree83c6bad29b90f243b33b4e0f33d872956bfcb421
parent010b6628a96f51bf639abd00282322804e80ea36
Àdded Renaming of objects.
java/Graph Editor/src/controllers/SelectionController.java
java/Graph Editor/src/controllers/actions/Rename.java [new file with mode: 0644]
java/Graph Editor/src/interfaces/GraphFrame.java
java/Graph Editor/src/models/GraphEdge.java
java/Graph Editor/src/models/GraphVertex.java