Fri, 12 Apr 2002 09:49:18 +0000 |
Gerd Moellmann |
From Dave Love. Description of events in marginal areas.
|
Fri, 12 Apr 2002 09:43:20 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Fri, 12 Apr 2002 09:41:58 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Fri, 12 Apr 2002 09:40:56 +0000 |
Gerd Moellmann |
(string-key-binding): Deal with margin events.
|
Fri, 12 Apr 2002 09:36:56 +0000 |
Gerd Moellmann |
(marginal_area_string): New.
|
Fri, 12 Apr 2002 09:36:21 +0000 |
Gerd Moellmann |
(window_part): Add ON_LEFT_MARGIN, ON_RIGHT_MARGIN.
|
Fri, 12 Apr 2002 09:35:34 +0000 |
Gerd Moellmann |
(Qleft_margin, Qright_margin): Declare.
|