bug#7368: Testcase

[martin rudalics]

> 1) A "softly dedicated" window is a window with 2 properties:
>   a) it is tied to a certain buffer, and when that buffer is destroyed
> the window is destroyed too;

Not necessarily.  If there are no other windows left or the window
previoulsy showed another buffer the window is not destroyed.

>   b) it cannot be target of display-buffer.
>
> 2) A "truly dedicated" window is a window with 3 properties:
>   a) it is tied to a certain buffer, and when that buffer is destroyed
> the window is destroyed too;

See above.

>   b) it cannot be target of display-buffer;
>   c) it cannot be target of switch-to-buffer.

It cannot be target of `set-window-buffer' which subsumes all other cases.

martin