Fri, 24 Oct 1997 19:58:22 +0000 |
Karl Heuer |
(w32_mouse_position): Handle INSIST < 0.
|
Fri, 24 Oct 1997 19:57:59 +0000 |
Karl Heuer |
(Fmouse_pixel_position, Fmouse_position):
|
Fri, 24 Oct 1997 19:53:43 +0000 |
Karl Heuer |
The menu now used toggle and radio for some items.
|
Fri, 24 Oct 1997 19:50:35 +0000 |
Karl Heuer |
(locate-library): Comment out the code that searches
|
Fri, 24 Oct 1997 19:37:53 +0000 |
Karl Heuer |
(outline-font-lock-keywords): Highlight the
|
Fri, 24 Oct 1997 19:33:49 +0000 |
Karl Heuer |
(hook): Use `widget-group-match' instead of
|
Fri, 24 Oct 1997 17:30:54 +0000 |
Oliver Seidel |
Added three suggestions from Carsten
|