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