4 Commits

Include renames

Author	SHA1	Message	Date
kojima	dcd44b17b1	more updates to editable menu	2000-07-15 22:00:41 +00:00
kojima	6d5f1817d3	new menu editor updates	2000-07-14 05:48:35 +00:00
kojima	e958044d00	updated editable menu widget	2000-07-10 22:49:07 +00:00
dan	e7495baff7	0.51.1 pre snapshot. Be careful, it may be buggy. It fixes some bugs though.	1999-02-17 11:06:40 +00:00