public boolean mouseup(Coord c, int button) { if (dm) { canceldm(); storeOpt(OPT_POS, this.c); } else { super.mouseup(c, button); } return (true); }
protected void storeOpt(String opt, Coord value) { storeOpt(opt, value.toString()); }