Tue, 27 Jun 2000 15:36:01 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Tue, 27 Jun 2000 15:35:17 +0000 |
Gerd Moellmann |
(resize_mini_window): Subract the extra line spacing
|
Tue, 27 Jun 2000 10:55:46 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Tue, 27 Jun 2000 10:54:26 +0000 |
Gerd Moellmann |
(describe-variable): Don't insert a second `'s' in front
|
Tue, 27 Jun 2000 10:25:51 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Tue, 27 Jun 2000 09:07:51 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Mon, 26 Jun 2000 21:58:11 +0000 |
Stefan Monnier |
*** empty log message ***
|
Mon, 26 Jun 2000 21:56:10 +0000 |
Stefan Monnier |
(widget-member): Use the new plist-member.
|