[graphl-cvs] graphl/src/org/mediavirus/graphl/gui EdgeContextMenu.java NodeContextMenu.java

[Flo L. <fl...@us...>]

Update of /cvsroot/graphl/graphl/src/org/mediavirus/graphl/gui
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv26842/src/org/mediavirus/graphl/gui

Modified Files:
	EdgeContextMenu.java NodeContextMenu.java 
Log Message:
* registering available facets via config.rdf works
* zoom factor visible in gui
* clicking zoom label resets to 100%
* fixed some repainting/relayouting issues

Index: EdgeContextMenu.java
===================================================================
RCS file: /cvsroot/graphl/graphl/src/org/mediavirus/graphl/gui/EdgeContextMenu.java,v
retrieving revision 1.9
retrieving revision 1.10
diff -C2 -d -r1.9 -r1.10
*** EdgeContextMenu.java	21 Aug 2004 22:31:00 -0000	1.9
--- EdgeContextMenu.java	22 Aug 2004 22:31:28 -0000	1.10
***************
*** 66,69 ****
--- 66,70 ----
  				break;
  			}
+ 			graphlPane.getGraph().notifyLayoutUpdated();
              graphlPane.repaint();
  		}
***************
*** 112,115 ****
--- 113,117 ----
                  int result = GenericDialog.showModalDialog(null, newController.getVisualController(), "Controller Properties");
              }
+ 			graphlPane.getGraph().notifyLayoutUpdated();
              graphlPane.repaint();
          }
***************
*** 359,362 ****
--- 361,365 ----
      public void resourceChanged(String property) {
          currentEdge.setType(property);
+ 		graphlPane.getGraph().notifyLayoutUpdated();
          graphlPane.repaint();
      }

Index: NodeContextMenu.java
===================================================================
RCS file: /cvsroot/graphl/graphl/src/org/mediavirus/graphl/gui/NodeContextMenu.java,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** NodeContextMenu.java	21 Aug 2004 22:31:00 -0000	1.10
--- NodeContextMenu.java	22 Aug 2004 22:31:29 -0000	1.11
***************
*** 66,69 ****
--- 66,70 ----
  				break;
  			}
+ 			graphlPane.getGraph().notifyLayoutUpdated();
              graphlPane.repaint();
  		}
***************
*** 112,115 ****
--- 113,117 ----
                  int result = GenericDialog.showModalDialog(null, newController.getVisualController(), "Controller Properties");
              }
+ 			graphlPane.getGraph().notifyLayoutUpdated();
              graphlPane.repaint();
          }
***************
*** 362,365 ****
--- 364,368 ----
      public void resourceChanged(String property) {
          currentNode.setType(property);
+ 		graphlPane.getGraph().notifyLayoutUpdated();
          graphlPane.repaint();
      }