diff options
| author | Pavel Pisa <pisa@cmp.felk.cvut.cz> | 2019-08-20 09:31:09 +0200 |
|---|---|---|
| committer | Pavel Pisa <pisa@cmp.felk.cvut.cz> | 2019-08-20 09:31:09 +0200 |
| commit | 724ee7e216d315ffa75c6930f4d290ccd0fe91bf (patch) | |
| tree | 7622f4689f2cafc9f4904c64666386e5b4d46861 /qtmips_gui/mainwindow.h | |
| parent | d8e92264f50553a5cae9ac70150d22584067accf (diff) | |
| download | qtmips-724ee7e216d315ffa75c6930f4d290ccd0fe91bf.tar.gz qtmips-724ee7e216d315ffa75c6930f4d290ccd0fe91bf.tar.bz2 qtmips-724ee7e216d315ffa75c6930f4d290ccd0fe91bf.zip | |
Ask for modified source close and handle unnamed sources close.
Signed-off-by: Pavel Pisa <pisa@cmp.felk.cvut.cz>
Diffstat (limited to 'qtmips_gui/mainwindow.h')
| -rw-r--r-- | qtmips_gui/mainwindow.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/qtmips_gui/mainwindow.h b/qtmips_gui/mainwindow.h index 1a854e6..ba2998e 100644 --- a/qtmips_gui/mainwindow.h +++ b/qtmips_gui/mainwindow.h @@ -87,6 +87,8 @@ public slots: void save_source(); void save_source_as(); void close_source(); + void close_source_check(); + void close_source_decided(int result); void compile_source(); void build_execute(); void build_execute_no_check(); @@ -156,7 +158,7 @@ private: void show_dockwidget(QDockWidget *w, Qt::DockWidgetArea area = Qt::RightDockWidgetArea); void add_src_editor_to_tabs(SrcEditor *editor); void update_open_file_list(); - bool modified_file_list(QStringList &list); + bool modified_file_list(QStringList &list, bool report_unnamed = false); SrcEditor *source_editor_for_file(QString filename, bool open); QPointer<ExtProcess> build_process; bool ignore_unsaved; |