| Thu, 04 Jan 1996 23:07:38 +0000 |
Karl Heuer |
(ediff-mouse-pixel-threshold): Renamed from
|
| Fri, 06 Oct 1995 01:00:10 +0000 |
Michael Kifer |
(ediff-make-frame-position): fixed bugs.
|
| Mon, 17 Jul 1995 22:51:48 +0000 |
Karl Heuer |
(ediff-skip-unsuitable-frames): Use make-frame,
|
| Tue, 27 Jun 1995 17:05:29 +0000 |
Richard M. Stallman |
(ediff-control-frame-parameters): Specify user-position.
|
| Mon, 05 Jun 1995 23:42:53 +0000 |
Karl Heuer |
(ediff-make-control-frame): optimized for display.
|
| Tue, 30 May 1995 19:20:47 +0000 |
Karl Heuer |
(ediff-setup-control-frame): Make
|
| Mon, 29 May 1995 06:27:50 +0000 |
Karl Heuer |
(ediff-setup-control-frame): Use
|
