Bug 408861

Summary:	command edit can't be hidden with F7
Product:	[Applications] kdevelop	Reporter:	Rolf Eike Beer <kde>
Component:	general	Assignee:	kdevelop-bugs-null
Status:	REPORTED ---
Severity:	normal
Priority:	NOR
Version First Reported In:	git master
Target Milestone:	---
Platform:	Other
OS:	Linux
Latest Commit:		Version Fixed/Implemented In:
Sentry Crash Report:

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.