-
Martin Flöser authored
Add an option to show/not hide panels. Panels are of course not included into filtering and cannot be selected. Like all other windows you can't interact with panels. Option is default off. CCBUG: 178913 svn path=/trunk/KDE/kdebase/workspace/; revision=910398
a46f5f89