Tor Hedin Brønner 0c79e8955b workspace overlay: add some negative padding ...

Interacting with a shared monitor edge could be pretty jarring as it was very
easy to trigger a workspace change.

We add some (10px) negative padding to decrease the problem.

2018-12-05 06:08:28 +01:00

9.6 KiB

Raw Permalink Blame History

View Raw