public void wdgmsg(Widget sender, String msg, Object... args) {
        if (sender == btn) {
            if ((c1 != null) && (c2 != null))
                wdgmsg("mod", c1, c2);
            return;
        }
        if (sender == cbox) {
            walkmod = (Boolean) args[0];
            if (!walkmod) {
                ui.mapview.grab(this);
            } else {
                if (ol != null)
                    ol.destroy();
                ol = null;
                ui.mapview.release(this);
            }
            wdgmsg("wm", walkmod ? 1 : 0);
            return;
        }
        if (sender == tilenum) {
            wdgmsg("tnum", Integer.parseInt(tilenum.text));
            return;
        }
        super.wdgmsg(sender, msg, args);
    }