Paste on editor context menu do nothing

The fix for http://bugs.bluej.org/browse/GREENFOOT-623 checked if the editor pane was focused before executing these actions, but it seems that triggering the context menu also counts as a defocusing event, so this has broken the context menu events.

Probably the best fix will be to force their execution (skipping focus check) when triggered via context menu.

Issue metadata

Issue type: Bug
Priority: Medium
Fix versions: 3.6.0