[slime-devel] Small patch for disabling the Emacs 21 header line

[Lars Magne Ingebrigtsen]

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

                           
-- 
(domestic pets only, the antidote for overdose, milk.)
  larsi at gnus.org * Lars Magne Ingebrigtsen