191
191
;; Messages and feedback on the status bar
192
192
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
194
206
(define-public (set-temporary-message left right len)
195
207
(set-message-temp left right #t)
200
210
(define-public (texmacs-banner)
201
211
(with tmv (string-append "GNU TeXmacs " (texmacs-version))