276277278279280281282283284285286
if (pmmm.isProxyFor(dt.getMouseMode())) { if (DTL_DEBUG) { Debug.output("DTL: releasing proxy on " + pmmm.getID()); } pmmm.releaseProxy(); setProxyMouseMode(null); fireRequestInfoLine(""); // hidden drawing tool put up // coordinates, clean up. }