wmax              218 lib/widget/radio.c     int i, wmax = 0;
wmax              232 lib/widget/radio.c         wmax = MAX (width, wmax);
wmax              236 lib/widget/radio.c     widget_init (w, y, x, count, 4 + wmax, radio_callback, radio_mouse_callback);