diff libgui/src/m-editor/file-editor.h @ 16546:c1e90c7cfd30

try harder to find editor tab widgets for files with multiple names * file-editor.h, file-editor.cc (file_editor::editor_tab_map_iterator, file_editor::editor_tab_map_const_iterator): New typedefs. (file_editor::find_tab_widget): New function. (file_editor::request_open_file, file_editor::check_conflict_save, file_editor::handle_delete_debugger_pointer_request): Use it.
author John W. Eaton <jwe@octave.org>
date Fri, 19 Apr 2013 09:36:22 -0400
parents 10edb6f1ae98
children 5fc1ce2947bd
line wrap: on
line diff
--- a/libgui/src/m-editor/file-editor.h	Fri Apr 19 09:30:08 2013 -0400
+++ b/libgui/src/m-editor/file-editor.h	Fri Apr 19 09:36:22 2013 -0400
@@ -49,6 +49,9 @@
 
 public:
 
+  typedef std::map<QString, QWidget *>::iterator editor_tab_map_iterator;
+  typedef std::map<QString, QWidget *>::const_iterator editor_tab_map_const_iterator;
+
   file_editor (QWidget *p);
   ~file_editor ();
 
@@ -161,6 +164,8 @@
   void save_file_as (QWidget *fetabID = 0);
   void mru_menu_update ();
 
+  QWidget *find_tab_widget (const QString& openFileName) const;
+
   std::map<QString, QWidget *> editor_tab_map;
 
   QString ced;