[graphl-cvs] graphl/src/org/mediavirus/graphl GraphlPanel.java

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

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

Modified Files:
	GraphlPanel.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: GraphlPanel.java
===================================================================
RCS file: /cvsroot/graphl/graphl/src/org/mediavirus/graphl/GraphlPanel.java,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** GraphlPanel.java	21 Aug 2004 22:31:02 -0000	1.12
--- GraphlPanel.java	22 Aug 2004 22:31:30 -0000	1.13
***************
*** 196,202 ****
  
  			    public void stateChanged(ChangeEvent e) {
- 
  			        graphPane.setScale(zoomSlider.getValue()/100.0f);
! 
  			    }
  			});
--- 196,201 ----
  
  			    public void stateChanged(ChangeEvent e) {
  			        graphPane.setScale(zoomSlider.getValue()/100.0f);
! 			        getJButton().setText("Zoom: " + zoomSlider.getValue() + "%");
  			    }
  			});
***************
*** 506,515 ****
  		if (jButton == null) {
  			jButton = new JButton();
! 			jButton.setText("zoom");
  			jButton.setFont(new java.awt.Font("Dialog", java.awt.Font.PLAIN, 9));
! 			jButton.setPreferredSize(new java.awt.Dimension(32,12));
  			jButton.setMargin(new java.awt.Insets(0,0,0,0));
! 			jButton.setMaximumSize(new java.awt.Dimension(22,12));
  			jButton.setBorder(javax.swing.BorderFactory.createEmptyBorder(0,0,0,0));
  		}
  		return jButton;
--- 505,520 ----
  		if (jButton == null) {
  			jButton = new JButton();
! 			jButton.setText("Zoom: 100%");
  			jButton.setFont(new java.awt.Font("Dialog", java.awt.Font.PLAIN, 9));
! 			jButton.setPreferredSize(new java.awt.Dimension(60,12));
  			jButton.setMargin(new java.awt.Insets(0,0,0,0));
! 			jButton.setMaximumSize(new java.awt.Dimension(60,12));
  			jButton.setBorder(javax.swing.BorderFactory.createEmptyBorder(0,0,0,0));
+ 			jButton.setFocusPainted(false);
+ 			jButton.addActionListener(new ActionListener() {
+                 public void actionPerformed(ActionEvent e) {
+                     getZoomSlider().setValue(100);
+                 }
+             });
  		}
  		return jButton;