I think the handling of the interrupt situation after using the interrupt hotkey needs some general revision.
This goes together with my other request for some menu/short-cut to reset the IDE without having to restart, so at least the opened tabs are preserved.
Depending on the situation (do not ask me for details - do not know ;-) from time to time after interrupting on my Mac the IDE is left in a situation, that only a restart helps to recover (strange java errors, actions not processed, message area no longer populated, ...).
I think the handling of the interrupt situation after using the interrupt hotkey needs some general revision.
This goes together with my other request for some menu/short-cut to reset the IDE without having to restart, so at least the opened tabs are preserved.
Depending on the situation (do not ask me for details - do not know ;-) from time to time after interrupting on my Mac the IDE is left in a situation, that only a restart helps to recover (strange java errors, actions not processed, message area no longer populated, ...).