public void wdgmsg(Widget sender, String msg, Object... args) {
		if (sender == in) {
			if (msg == "activate") {
				wdgmsg("msg", args[0]);
				in.settext("");
				return;
			}
		}
		super.wdgmsg(sender, msg, args);
	}