-Added dynamic width (larger names -> Larger widths)
commit9ed0eb9822c88abd91e39348838beeaf69075f95
authors.feenstra <Stefan@129.125.58.58>
Thu, 30 Sep 2010 17:24:06 +0000 (30 19:24 +0200)
committers.feenstra <Stefan@129.125.58.58>
Thu, 30 Sep 2010 17:24:06 +0000 (30 19:24 +0200)
tree41373171ba17c90352bc176dac8f9034e54d1df2
parentefa9da73f0f675b7e47d48b06cda7f42b1899c6d
-Added dynamic width (larger names -> Larger widths)
-Added Move Action
-Fixed, Panel was not set in SelectionController!
java/Graph Editor/Todo.txt
java/Graph Editor/src/controllers/SelectionController.java
java/Graph Editor/src/controllers/actions/Move.java [new file with mode: 0644]
java/Graph Editor/src/controllers/actions/Rename.java
java/Graph Editor/src/interfaces/GraphFrame.java
java/Graph Editor/src/interfaces/GraphPanel.java
java/Graph Editor/src/models/GraphVertex.java