Fri, 18 Jan 2002 05:44:13 +0000 |
Richard M. Stallman |
Clarify how window-height relates to other things.
|
Fri, 18 Jan 2002 05:42:23 +0000 |
Richard M. Stallman |
(window-body-height): New function.
|
Fri, 18 Jan 2002 03:50:50 +0000 |
Richard M. Stallman |
*** empty log message ***
|
Fri, 18 Jan 2002 03:50:15 +0000 |
Richard M. Stallman |
(enlarge_window): When exceeding size of parent,
|
Thu, 17 Jan 2002 22:22:38 +0000 |
Richard M. Stallman |
*** empty log message ***
|
Thu, 17 Jan 2002 22:21:17 +0000 |
Richard M. Stallman |
Regenerated.
|