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; } } }
protected void storeOpt(String opt, Coord value) { storeOpt(opt, value.toString()); }