Re: Boxes not boxed in the header-line

[Stefan Monnier]

>     What's non-sensical about my example?
>     Have you tried it?

> I have not tried it because trying it (and seeing that the display looks bad)
> would not answer the question of whether this makes sense.

> The reason it seems nonsensical to me is that it seems to involve
> 3-d boxes inside 3-d boxes.

Well the external "3d box" is the whole header-line, so it's not really
a box: it's just a line to which we decided to add a 3d effect.

And the inner 3d box doesn't know whether the outer box is already 3d
or not.


        Stefan