diff admin/revdiff @ 58425:f0b9b97606f9

(list-buffers-noselect): Use fixed-pitch only in the header-line. Re-add the leading space in the header-line when needed. Build the underline automatically. Use emdash if available.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 22 Nov 2004 15:12:09 +0000
parents 695cf19ef79e
children c53a9463c31a 375f2633d815
line wrap: on
line diff