Permalink
Browse files

Add calls to update graph info.

  • Loading branch information...
1 parent 7f903b0 commit 2a4724c9fb4dde49d24fe5869398f1e1d5087e4d @Ben-Barron Ben-Barron committed May 7, 2011
Showing with 3 additions and 1 deletion.
  1. +3 −1 src/uk/me/graphe/client/Graphemeui.java
@@ -273,6 +273,8 @@ public void editEdgeWeight(String weight)
public void editGraphName(String name)
{
+ graphManager.setName(name);
+ graphInfo.update();
//TODO: send name over OT.
}
@@ -281,7 +283,7 @@ public void editGraphProperties(boolean isDigraph, boolean isFlowChart, boolean
drawing.setIsFlowChart(isFlowChart);
drawing.setIsDigraph(isDigraph);
drawing.setIsWeighted(isWeighted);
-
+ graphInfo.update();
graphManager.invalidate();
//TODO: Send the boolean parameters to the database and over OT to the other clients.

0 comments on commit 2a4724c

Please sign in to comment.