diff options
author | Michele Calgaro <[email protected]> | 2024-08-03 14:59:51 +0900 |
---|---|---|
committer | Michele Calgaro <[email protected]> | 2024-08-03 14:59:51 +0900 |
commit | 06fe07e626b5e0d0152e30d5c7608c7d0e4e4665 (patch) | |
tree | e034540a552211e9f7698f8f7c028fe043dc1cdf /kicker/taskmanager/configure.in.in | |
parent | 66ebe21d5ef4cbeb0983d2456833f3e24fe44f0a (diff) | |
download | tdebase-06fe07e626b5e0d0152e30d5c7608c7d0e4e4665.tar.gz tdebase-06fe07e626b5e0d0152e30d5c7608c7d0e4e4665.zip |
Fix tiling menu functionality when windows in the taskbar are grouped
Signed-off-by: Michele Calgaro <[email protected]>
Diffstat (limited to 'kicker/taskmanager/configure.in.in')
0 files changed, 0 insertions, 0 deletions