F12: where did window properties go?

[Pádraig Brady]

Jesse Keating wrote:
> You're making the assumption that the change was made to save space.  It
> wasn't.  I can't find the original thread right now, but it's part of a
> cleanup on configuration tools.  Upstream felt it no longer necessary to
> expose this

Wow. Did they get any estimates on the % of users that set this option
before coming to that decision?

IMHO the only advantage an overlapping window manager has over
say a tiling window manager is in conjunction with sloppy focus.

cheers,
Pádraig.