From: <ha...@us...> - 2007-10-31 02:30:58
|
Revision: 8547 http://jmol.svn.sourceforge.net/jmol/?rev=8547&view=rev Author: hansonr Date: 2007-10-30 19:30:50 -0700 (Tue, 30 Oct 2007) Log Message: ----------- version=11.3.40_dev # POV-Ray fix for number formatting width > 999 Modified Paths: -------------- trunk/Jmol/src/org/jmol/viewer/Jmol.properties trunk/Jmol/src/org/openscience/jmol/app/PovrayDialog.java Modified: trunk/Jmol/src/org/jmol/viewer/Jmol.properties =================================================================== --- trunk/Jmol/src/org/jmol/viewer/Jmol.properties 2007-10-30 21:05:33 UTC (rev 8546) +++ trunk/Jmol/src/org/jmol/viewer/Jmol.properties 2007-10-31 02:30:50 UTC (rev 8547) @@ -1,5 +1,7 @@ version=11.3.40_dev +# POV-Ray fix for number formatting width > 999 + # new feature: model-based parallel array calculations: # x = {atomno=3}.split() # a list, one element for each model # draw @{x.xyz.sub({1 0 0})} # a set of points, one per model Modified: trunk/Jmol/src/org/openscience/jmol/app/PovrayDialog.java =================================================================== --- trunk/Jmol/src/org/openscience/jmol/app/PovrayDialog.java 2007-10-30 21:05:33 UTC (rev 8546) +++ trunk/Jmol/src/org/openscience/jmol/app/PovrayDialog.java 2007-10-31 02:30:50 UTC (rev 8547) @@ -553,8 +553,8 @@ //int width = outputWidth; //int height = outputHeight; //if ((imageSizeCheck != null) && (imageSizeCheck.isSelected())) { - int height = Integer.parseInt(imageSizeTextHeight.getText()); - int width = Integer.parseInt(imageSizeTextWidth.getText()); + int height = Integer.parseInt(imageSizeTextHeight.getValue().toString()); + int width = Integer.parseInt(imageSizeTextWidth.getValue().toString()); //} String data = viewer.generateOutput("Povray", filename + ":::" + getINI(), width, height); @@ -660,8 +660,7 @@ if (imageSizeRatioCombo != null) { imageSizeRatioCombo.setEnabled(selected && ratioSelected && enabled); if ((imageSizeTextWidth != null) && (imageSizeTextHeight != null)) { - int width = Integer.parseInt( - imageSizeTextWidth.getValue().toString()); + int width = Integer.parseInt(imageSizeTextWidth.getValue().toString()); int height; switch (imageSizeRatioCombo.getSelectedIndex()) { case 0: // Free This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |