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 3d effect used for the buttons in SES mode makes sense in isolation.
The 3d effect used on the header-line makes sense in isolation as well.
The combination of the two is mostly out of the user's control.

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

I think the wy to make sense of it is the following:

- outside of 3d boxes, the thickness is 0.

- raised thickness is positive, depressed thickness is negative.

- when moving from thickness 0 to thickness N (or -N), we currently insert
  a N-pixel wide line (either light or dark).

- so when moving from thickness 1 to thickness 2, we should insert a 1-pixel
  wide line, and when moving from thickness -2 to thickness 1 we should
  insert a 3-pixel wide line.

Does it make sense?


        Stefan