Gerd Moellmann b0d22e20c3 (mouse-drag-mode-line-1): Extension of former ...

mouse-drag-mode-line that also drags the header line.
(mouse-drag-mode-line): Call it.
(mouse-drag-header-line): New.
(toplevel): Bind down-mouse-1 on header lines to
mouse-drage-header-line.

1999-09-09 14:54:25 +00:00

77 KiB

Raw Blame History

View Raw