active/not-active state of hotkeys do not reflect actual situation
|Reported by:||szabgab||Owned by:|
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
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.