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.

[Sewi]

WORKSFORME
It seems that the ticket wasn't closed when it was fixed.
Also works when all files are closed.

[zenogantner]

Closing now. Please re-open if necessary.