Debug.output("CoordMouseMode: made active (" + active + ")");
Debug.output("CoordMouseMode(" + getPrettyName() + "): made active (" + active + ")");
    public void setActive(boolean active) {	if (Debug.debugging("mousemode")) {	    Debug.output("CoordMouseMode: made active (" + 			 active + ")");	}	if (!active && infoDelegator != null) {	    infoDelegator.requestInfoLine(new InfoDisplayEvent(this, "", InformationDelegator.COORDINATE_INFO_LINE));	}    }