Jannis Pohlmann wrote: > The window manager has a lot of options spread over two settings > dialogs already. IMHO this is an option we clearly don't need. You might not need it, I do. :) > But of course it's up to Olivier to decide that. Yep. BR, -- Alexander Iliev