WIP: hide activities when search gets focus
A quick hack to hide activities when the search gets focus. this avoids shriking the app screenshots / placeholders.
todo:
- use revealer
- handle ESC
- handle num-toplevel == 0
Closes: #223
Edited by Administrator