Yes, good point in #3, Francesco. I guess we'll have to decide what we want and what can actually be implemented across desktop environments. I'd still rather have both variants in one "docking" bug report for now, though.
Personally I'm in favor of investigating struts first (whenever that happens), i.e. shrinking the available desktop area while Onboard is visible.
Yes, good point in #3, Francesco. I guess we'll have to decide what we want and what can actually be implemented across desktop environments. I'd still rather have both variants in one "docking" bug report for now, though.
Personally I'm in favor of investigating struts first (whenever that happens), i.e. shrinking the available desktop area while Onboard is visible.