From: Michael T H. <mic...@us...> - 2004-03-05 00:04:28
|
Update of /cvsroot/jmol/Jmol/src/org/openscience/jmol/ui In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17315/src/org/openscience/jmol/ui Modified Files: JmolPopupAwt.java JmolPopupSwing.java Log Message: added version and date to popup Index: JmolPopupAwt.java =================================================================== RCS file: /cvsroot/jmol/Jmol/src/org/openscience/jmol/ui/JmolPopupAwt.java,v retrieving revision 1.6 retrieving revision 1.7 diff -u -r1.6 -r1.7 --- JmolPopupAwt.java 6 Oct 2003 12:46:02 -0000 1.6 +++ JmolPopupAwt.java 4 Mar 2004 23:42:47 -0000 1.7 @@ -63,6 +63,7 @@ mil = new MenuItemListener(); cmil = new CheckboxMenuItemListener(); addMenuItems("popupMenu", this); + addVersionAndDate(); parent.add(this); rbWords = null; component = viewer.getAwtComponent(); @@ -132,6 +133,14 @@ } } + void addVersionAndDate() { + addSeparator(); + MenuItem mi = new MenuItem("Jmol " + JmolConstants.version); + add(mi); + mi = new MenuItem(JmolConstants.date); + add(mi); + } + private String getValue(String key) { // System.out.println("getValue(" + key + ")"); return rbStructure.getString(key); Index: JmolPopupSwing.java =================================================================== RCS file: /cvsroot/jmol/Jmol/src/org/openscience/jmol/ui/JmolPopupSwing.java,v retrieving revision 1.9 retrieving revision 1.10 diff -u -r1.9 -r1.10 --- JmolPopupSwing.java 29 Feb 2004 21:17:53 -0000 1.9 +++ JmolPopupSwing.java 4 Mar 2004 23:42:48 -0000 1.10 @@ -60,10 +60,20 @@ mil = new MenuItemListener(); cmil = new CheckboxMenuItemListener(); addMenuItems("popupMenu", this); + addVersionAndDate(); rbWords = null; component = viewer.getAwtComponent(); } + void addVersionAndDate() { + addSeparator(); + JMenuItem jmi = new JMenuItem("Jmol " + JmolConstants.version); + add(jmi); + jmi = new JMenuItem(JmolConstants.date); + add(jmi); + } + + public void showSwing(int x, int y) { for (Enumeration keys = htCheckbox.keys(); keys.hasMoreElements(); ) { String key = (String)keys.nextElement(); |