Mon, 19 Jun 2000 15:36:47 +0000 |
Dave Love |
(menu-bar-options-menu): Capitalize "Save Options".
|
Mon, 19 Jun 2000 14:55:15 +0000 |
Dave Love |
*** empty log message ***
|
Mon, 19 Jun 2000 14:54:10 +0000 |
Dave Love |
(menu-bar-options-save): New function.
|
Mon, 19 Jun 2000 13:07:47 +0000 |
Dave Love |
*** empty log message ***
|
Mon, 19 Jun 2000 13:05:51 +0000 |
Dave Love |
Unprotoized.
|
Mon, 19 Jun 2000 12:13:14 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Mon, 19 Jun 2000 12:12:35 +0000 |
Gerd Moellmann |
(set_internal): If variable is frame-local,
|