| 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
|
| Fri, 24 Oct 1997 16:53:20 +0000 |
Oliver Seidel |
Paul Stodghill <stodghil@CS.Cornell.EDU> writes:
|
| Fri, 24 Oct 1997 16:51:02 +0000 |
Oliver Seidel |
Rafael Laboissiere <rafael@icp.inpg.fr> writes:
|
