id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
426	active/not-active state of hotkeys do not reflect actual situation	szabgab		"As we only update the menu options when the user opens one
of the menus the availability of the options is not always up to
date meaning that if Padre starts with no open file and we open a file the hot-keys - such as Ctrl-F don't work.

Even worse when we are closing all the files the hot-keys 
(e.g. F3) are still active and pressing some of them can 
crash Padre.

So at a minimum we have to make sure using these keys do not crash Padre but we should also have a way to update the menus. Maybe after a certain amount of idle (?) time."	defect	closed	critical		editor	0.38	fixed