public void wdgmsg(Widget sender, String msg, Object... args) {
		int id;
		synchronized (this) {
			if (!rwidgets.containsKey(sender)) return;
			id = rwidgets.get(sender);
		}
		if (rcvr != null)
			rcvr.rcvmsg(id, msg, args);
	}