diff libgui/src/main-window.h @ 18545:17baa684892c stable

fix flashing while debuggung and editor is tabbed behind console (bug #41757) * file-editor.cc (is_editor_console_tabbed): new function returning true if editor is tabbed together with console; (request_open_file): do not give focus to editor if debug pointer or breakpoint marker is added and editor is tabbed with console * file-editor.h: new function is_editor_console_tabbed * main-window.h: new function get_dock_widget_list () returning the internal list of all dock widgets
author Torsten <ttl@justmail.de>
date Tue, 04 Mar 2014 21:58:27 +0100
parents 0da2e7051778
children de76baa76aa1
line wrap: on
line diff
--- a/libgui/src/main-window.h	Tue Mar 04 20:10:00 2014 +0000
+++ b/libgui/src/main-window.h	Tue Mar 04 21:58:27 2014 +0100
@@ -196,6 +196,9 @@
   void clipboard_has_changed (QClipboard::Mode);
   void clear_clipboard ();
 
+  // get the dockwidgets
+  QList<octave_dock_widget *> get_dock_widget_list ()
+    { return dock_widget_list (); }
 
 protected:
   void closeEvent (QCloseEvent * closeEvent);