Floating panel de-floats when window touches it and is smaller
The panel now de-floats and becomes opaque whenever a window touches it. This also allows for a thinner panel when a window is maximized (a normal panel is 44, before this patch a de-floated one was 60, now it's 52px and I think that's good enough).
REQUIRES plasma-workspace!2226 (merged)
Bugs fixed by this:
Edited by Niccolò Venerandi