Bug 408861 - command edit can't be hidden with F7
Summary: command edit can't be hidden with F7
Status: REPORTED
Alias: None
Product: kdevelop
Classification: Applications
Component: general (other bugs)
Version First Reported In: git master
Platform: Other Linux
: NOR normal
Target Milestone: ---
Assignee: kdevelop-bugs-null
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-06-18 07:32 UTC by Rolf Eike Beer
Modified: 2019-06-18 07:32 UTC (History)
0 users

See Also:
Latest Commit:
Version Fixed/Implemented In:
Sentry Crash Report:

Attachments
Add an attachment

Note You need to log in before you can comment on or make changes to this bug.
Description Rolf Eike Beer 2019-06-18 07:32:31 UTC 
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.