[MOBY-guts] biomoby commit

[Martin Senger]

senger
Sat Nov 12 12:27:39 EST 2005
Update of /home/repository/moby/moby-live/Java/src/main/org/biomoby/service/dashboard
In directory pub.open-bio.org:/tmp/cvs-serv13317/src/main/org/biomoby/service/dashboard

Modified Files:
	Dashboard.java 
Log Message:


moby-live/Java/src/main/org/biomoby/service/dashboard Dashboard.java,1.15,1.16
===================================================================
RCS file: /home/repository/moby/moby-live/Java/src/main/org/biomoby/service/dashboard/Dashboard.java,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -r1.15 -r1.16
--- /home/repository/moby/moby-live/Java/src/main/org/biomoby/service/dashboard/Dashboard.java	2005/11/10 14:32:42	1.15
+++ /home/repository/moby/moby-live/Java/src/main/org/biomoby/service/dashboard/Dashboard.java	2005/11/12 17:27:39	1.16
@@ -119,7 +119,7 @@
 
 	Dimension screenSize = frame.getToolkit().getScreenSize();
 	double myWidth = Math.min (screenSize.getWidth(), 1100);
-	double myHeight = Math.min (screenSize.getHeight(), 900);
+	double myHeight = Math.min (screenSize.getHeight() - 25, 900);
 	Dimension mySize = new Dimension();
 	mySize.setSize (myWidth, myHeight);
 
@@ -218,6 +218,8 @@
 	    tabbedPane.addTab (name,
 			       panels[i].getIcon(),
 			       panels[i].getComponent (propertyChannel));
+	    if (i < 10)
+		tabbedPane.setMnemonicAt (i, (0x30 + i + 1));
 	}
         StatusBar statusBar = getStatusBar();
 	propertyChannel.addPropertyChangeListener (statusBar);