Fri, 25 Apr 1997 00:44:48 +0000 |
Richard M. Stallman |
(set_frame_menubar): When widget is new, forget records of old contents.
|
Thu, 24 Apr 1997 22:54:27 +0000 |
Richard M. Stallman |
Delete all menu-enable properties.
|
Thu, 24 Apr 1997 19:40:23 +0000 |
Richard M. Stallman |
(skeleton-read): Doc fix.
|
Thu, 24 Apr 1997 19:37:13 +0000 |
Richard M. Stallman |
Many doc fixes.
|
Thu, 24 Apr 1997 16:53:55 +0000 |
Per Abrahamsen |
Synched with custom 1.90.
|
Thu, 24 Apr 1997 02:58:11 +0000 |
Geoff Voelker |
(w32-using-nt, w32-shell-name, w32-using-system-shell-p,
|