diff config.bat @ 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 fbbbaeca30e8
children 9451633a27b0 b637c617432f
line wrap: on
line diff