ngraham added a comment.
Yeah, and Dolphin already overloads that by using F11 to show and hide the Information panel. I wouldn't object to using a different keyboard shortcut, but then we'd want to but we'd want to do it for all of for Dolphin's panels, and change the shortcuts here, too, which currently match Dolphin's. REPOSITORY R241 KIO REVISION DETAIL https://phabricator.kde.org/D10314 To: ngraham, #frameworks, markg Cc: graesslin, ltoscano, markg, michaelh, ngraham
