Commit 1004088d94d881798e672c949102600ef67e65be

Stefan Sperling 2018-09-29T16:24:13

revert previous; non-top panels can be focussed