https://bugs.kde.org/show_bug.cgi?id=408861
Bug ID: 408861
Summary: command edit can't be hidden with F7
Product: kdevelop
Version: git master
Platform: Other
OS: Linux
Status: REPORTED
Severity: normal
Priority: NOR
Component: general
Assignee: kdevelop-bugs-n...@kde.org
Reporter: k...@opensource.sf-tec.de
Target Milestone: ---
One can press F7 to get a command edit, but pressing F7 again does not hide it,
which is irritating. One has to press Escape instead, which is bad as that can
mean all other sort of things depending on the context.
--
You are receiving this mail because:
You are watching all bug changes.
