- * retrieve a dimension, such as for Jmol
- *
- * @param property
- * @param def
- * @return
- */
- public static Dimension getDefaultDim(String property, Dimension def)
- {
- String s = getProperty(property);
- if (s != null)
- {
- if (s.indexOf(',') < 0)
- {
- s = s.trim().replace(' ', ',');
- if (s.indexOf(',') < 0)
- {
- s += "," + s;
- }
- }
- try
- {
- int pt = s.indexOf(",");
- return new Dimension(Integer.parseInt(s.substring(0, pt)),
- Integer.parseInt(s.substring(pt + 1)));
- } catch (NumberFormatException e)
- {
- System.out.println("Error parsing Dimension property '" + property
- + "' with value '" + s + "'");
- }
- }
- return def;
- }
-
- /**