🚀 go-pugleaf

Hi everybody,
	I saw many people found the font size problem of doc. Me too.
After I read the reference manual and idemo source code, I fix
the problem. The problem is due to the "check" menus. Following
is my patch. It simply change the "check" menus to the "radio"
menus.

*** iv/src/bin/doc/Menus.c.orig	Wed May 13 06:31:15 1992
--- iv/src/bin/doc/Menus.c	Sat Dec 26 23:29:12 1992
***************
*** 78,83 ****
--- 78,84 ----
      _viewer = viewer;
      WidgetKit& kit = *WidgetKit::instance();
      String v;
+     TelltaleGroup *group = nil;
      if (!kit.style()->find_attribute(name, v)) {
  	return;
      }
***************
*** 149,158 ****
--- 150,165 ----
  		    cmd = new Command(viewer, command);
  		}
  		if (check_item) {
+ 		    if (group == nil) {
+ 		        group = new TelltaleGroup;
+ 		    }
+ 		    item = kit.radio_menu_item(group, label);
+ /*
  		    item = kit.check_menu_item(label);
  		    TelltaleState* s = item->state();
  		    s->set(TelltaleState::is_toggle, false);
  		    s->set(TelltaleState::is_choosable, true);
+ */
  		} else {
  		    item = kit.menu_item(label);
  		}

--
Hung-Chi Chu   f80204@cad.ee.ntu.edu.tw
	National Taiwan University Electrical Engineering CAD Group