> Notice that in my example, every box is indeed separated from the next one
> by a space, but the whole header line is itself marked as boxed by the
> header-line face so the separating space is "boxed" as well,
> tho differently (e.g. different thickness).
> Is that really a reasonable thing to do? It sounds nonsensical to me,
> and if it is nonsensical, we need not spend time trying to make it "work".
What's non-sensical about my example?
Have you tried it?
Stefan
_______________________________________________
emacs-pretest-bug mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
