I really like using all the lines in my buffers, so here's a patch to allow people to switch the header line off:
*** slime.el.~1.448.~ Mon Jan 17 15:50:47 2005 --- slime.el Wed Jan 19 11:08:17 2005 *************** *** 2273,2278 **** --- 2273,2283 ---- ;;;; Stream output
+ (defcustom slime-header-line-p t + "If non-nil, display a header line in Slime buffers." + :type 'boolean + :group 'slime-repl) + (make-variable-buffer-local (defvar slime-output-start nil "Marker for the start of the output for the evaluation.")) *************** *** 2311,2317 **** (slime-connection-port (slime-connection)) (slime-pid))) ;; Emacs21 has the fancy persistent header-line. ! (use-header-p (boundp 'header-line-format)) ;; and dancing text (animantep (and (fboundp 'animate-string) slime-startup-animation --- 2316,2323 ---- (slime-connection-port (slime-connection)) (slime-pid))) ;; Emacs21 has the fancy persistent header-line. ! (use-header-p (and slime-header-line-p ! (boundp 'header-line-format))) ;; and dancing text (animantep (and (fboundp 'animate-string) slime-startup-animation
Lars Magne Ingebrigtsen larsi@gnus.org writes:
I really like using all the lines in my buffers, so here's a patch to allow people to switch the header line off:
Thanks, applied.