Esempio n. 1
0
 protected Coord getOptCoord(String opt, Coord def) {
   synchronized (Config.window_props) {
     try {
       return new Coord(Config.window_props.getProperty(name + opt, def.toString()));
     } catch (Exception e) {
       return def;
     }
   }
 }
Esempio n. 2
0
 protected void storeOpt(String opt, Coord value) {
   storeOpt(opt, value.toString());
 }