fix access to already removed editor window at exit * file-editor.h: enable_menu_shortcuts is a slot, no ordinary function * main-window.cc (focus_changed): emit new signal editor_focus_changed when editor gets or loses focus; (set_global_edit_shortcuts): boolean parameter is true when editor has focus, do not enable editor menus here; (construct): connect new signal editor_focus_changed to slot for setting global shortcuts and for dis- or enabling the editor menu * main-window.h: new signal editor_focus_changed

--- a/libgui/src/main-window.h	Thu Dec 25 08:31:31 2014 +0100
+++ b/libgui/src/main-window.h	Thu Dec 25 15:48:43 2014 +0100
@@ -82,6 +82,7 @@
 signals:
 
   void active_dock_changed (octave_dock_widget *, octave_dock_widget *);
+  void editor_focus_changed (bool);
 
   void settings_changed (const QSettings *);
   void init_terminal_size_signal (void);