Mercurial > hg > octave-avbm
annotate libgui/src/m-editor/file-editor-tab.h @ 16570:477bfd5d95f5
use dir, not path, to refer to directory name
* file-editor-tab.h, file-editor-tab.cc
(file_editor_tab::bp_info::dir): Rename from path. Change all uses.
(file_editor_tab::run_file): Rename local variable from path to dir.
| author | John W. Eaton <jwe@octave.org> |
|---|---|
| date | Thu, 25 Apr 2013 12:27:01 -0400 |
| parents | 5fc1ce2947bd |
| children | ab1df81adaa0 |
| rev | line source |
|---|---|
|
15204
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
1 /* |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
2 |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
3 Copyright (C) 2011-2012 Jacob Dawid |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
4 |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
5 This file is part of Octave. |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
6 |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
7 Octave is free software; you can redistribute it and/or modify it |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
8 under the terms of the GNU General Public License as published by the |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
9 Free Software Foundation; either version 3 of the License, or (at your |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
10 option) any later version. |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
11 |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
12 Octave is distributed in the hope that it will be useful, but WITHOUT |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
15 for more details. |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
16 |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
17 You should have received a copy of the GNU General Public License |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
18 along with Octave; see the file COPYING. If not, see |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
19 <http://www.gnu.org/licenses/>. |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
20 |
|
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
21 */ |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
22 |
| 16560 | 23 #if !defined (file_editor_tab_h) |
| 24 #define file_editor_tab_h 1 | |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
25 |
|
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
26 #include <QWidget> |
|
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
27 #include <QCloseEvent> |
|
14690
ca733a66be7a
Fixed bug with not opening the editor when clicking a file from the file browser. Implemented watching the file on disk.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14680
diff
changeset
|
28 #include <QFileSystemWatcher> |
|
16415
28136851099a
remove _terminal pointer from main_window, it is contained by other Qt object
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16397
diff
changeset
|
29 #include <QSettings> |
|
14804
a565c560e654
Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14788
diff
changeset
|
30 |
| 16560 | 31 #include <Qsci/qsciscintilla.h> |
| 32 | |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
33 #include "find-dialog.h" |
|
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
34 |
|
14709
f50591409306
Started to rename class names and methods from camel case to underscore-
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14707
diff
changeset
|
35 class file_editor; |
| 16560 | 36 |
|
15402
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
37 class file_editor_tab : public QWidget |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
38 { |
|
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
39 Q_OBJECT |
| 16560 | 40 |
| 41 public: | |
| 42 | |
| 43 file_editor_tab (const QString& directory = ""); | |
| 44 | |
| 45 ~file_editor_tab (void); | |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
46 |
|
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
47 public slots: |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
48 |
| 16560 | 49 void update_window_title (bool modified); |
| 50 void handle_copy_available (bool enableCopy); | |
| 51 void handle_margin_clicked (int line, int margin, | |
| 52 Qt::KeyboardModifiers state); | |
| 53 | |
| 54 // Tells the editor tab to react on changed settings. | |
|
16415
28136851099a
remove _terminal pointer from main_window, it is contained by other Qt object
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16397
diff
changeset
|
55 void notice_settings (const QSettings *settings); |
| 16560 | 56 |
| 57 // Will initiate close if associated with the identifier tag. | |
| 58 void conditional_close (const QWidget *ID); | |
| 59 | |
| 60 // Change to a different editor tab by identifier tag. | |
| 61 void change_editor_state (const QWidget *ID); | |
| 62 | |
| 63 // Simply transmit file name. | |
| 64 void file_name_query (const QWidget *ID); | |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
65 |
| 16560 | 66 void set_focus (const QWidget *ID); |
| 67 void undo (const QWidget *ID); | |
| 68 void redo (const QWidget *ID); | |
| 69 void copy (const QWidget *ID); | |
| 70 void cut (const QWidget *ID); | |
| 71 void paste (const QWidget *ID); | |
| 72 void save_file (const QWidget *ID); | |
| 73 void save_file (const QWidget *ID, const QString& fileName, | |
| 74 bool remove_on_success); | |
| 75 void save_file_as (const QWidget *ID); | |
| 76 void print_file (const QWidget *ID); | |
| 77 void run_file (const QWidget *ID); | |
| 78 void toggle_bookmark (const QWidget *ID); | |
| 79 void next_bookmark (const QWidget *ID); | |
| 80 void previous_bookmark (const QWidget *ID); | |
| 81 void remove_bookmark (const QWidget *ID); | |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
82 |
| 16560 | 83 void toggle_breakpoint (const QWidget *ID); |
| 84 void next_breakpoint (const QWidget *ID); | |
| 85 void previous_breakpoint (const QWidget *ID); | |
| 86 void remove_all_breakpoints (const QWidget *ID); | |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
87 |
| 16560 | 88 void comment_selected_text (const QWidget *ID); |
| 89 void uncomment_selected_text (const QWidget *ID); | |
| 90 void find (const QWidget *ID); | |
| 91 void goto_line (const QWidget *ID, int line = -1); | |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
92 |
|
16397
fc491da603f6
also provide a hook for exiting debugger
John W. Eaton <jwe@octave.org>
parents:
16391
diff
changeset
|
93 void insert_debugger_pointer (const QWidget *ID, int line = -1); |
|
fc491da603f6
also provide a hook for exiting debugger
John W. Eaton <jwe@octave.org>
parents:
16391
diff
changeset
|
94 void delete_debugger_pointer (const QWidget *ID, int line = -1); |
|
fc491da603f6
also provide a hook for exiting debugger
John W. Eaton <jwe@octave.org>
parents:
16391
diff
changeset
|
95 |
|
16445
7a2ee6ea7800
rename dbstop -> breakpoint in GUI interface functions
John W. Eaton <jwe@octave.org>
parents:
16442
diff
changeset
|
96 void do_breakpoint_marker (bool insert, const QWidget *ID, int line = -1); |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
97 |
|
14709
f50591409306
Started to rename class names and methods from camel case to underscore-
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14707
diff
changeset
|
98 void set_modified (bool modified = true); |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
99 |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
100 QString load_file (const QString& fileName); |
|
16454
744ff2fe11ce
add create script context menu to history window
John Donoghue <john.donoghue@ieee.org>
parents:
16445
diff
changeset
|
101 void new_file (const QString& commands = QString ()); |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
102 |
|
15300
fd27e10b9b05
pass QString by const reference instead of value
John W. Eaton <jwe@octave.org>
parents:
15204
diff
changeset
|
103 void file_has_changed (const QString& fileName); |
|
14690
ca733a66be7a
Fixed bug with not opening the editor when clicking a file from the file browser. Implemented watching the file on disk.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14680
diff
changeset
|
104 |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
105 signals: |
| 16560 | 106 |
|
15984
1eb3c67139f6
Add full-length-name tool tip to editor file tab when name is not full length.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15980
diff
changeset
|
107 void file_name_changed (const QString& fileName, const QString& toolTip); |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
108 void editor_state_changed (bool copy_available, const QString& fileName); |
|
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
109 void tab_remove_request (); |
|
16379
8430ea8c1594
open editor tab and insert marker for debugging with gui
John W. Eaton <jwe@octave.org>
parents:
16377
diff
changeset
|
110 void add_filename_to_list (const QString&, QWidget *); |
|
15860
feba9ff6e6a8
editor: add list of recently used files to the file menu
Torsten <ttl@justmail.de>
parents:
15848
diff
changeset
|
111 void mru_add_file (const QString& file_name); |
| 16560 | 112 void editor_check_conflict_save (const QString& saveFileName, |
| 113 bool remove_on_success); | |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
114 void process_octave_code (const QString& command); |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
115 |
|
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
116 protected: |
| 16560 | 117 |
|
14680
628eeaf879f7
Copy/Paste buttons get greyed out in the editor correctly again. Removed margin in editor tabs and status bar.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14676
diff
changeset
|
118 void closeEvent (QCloseEvent *event); |
|
15300
fd27e10b9b05
pass QString by const reference instead of value
John W. Eaton <jwe@octave.org>
parents:
15204
diff
changeset
|
119 void set_file_name (const QString& fileName); |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
120 |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
121 private slots: |
| 16560 | 122 |
| 123 // When user closes message box for reload question. | |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
124 void handle_file_reload_answer (int decision); |
| 16560 | 125 |
| 126 // When user closes message box for resave question. | |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
127 void handle_file_resave_answer (int decision); |
| 16560 | 128 |
| 129 // When user closes message box for modified question. | |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
130 void handle_file_modified_answer (int decision); |
| 16560 | 131 |
| 132 // When user closes find_dialog box. | |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
133 void handle_find_dialog_finished (int decision); |
| 16560 | 134 |
| 135 // When user closes QFileDialog box. | |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
136 void handle_save_file_as_answer (const QString& fileName); |
|
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
137 void handle_save_file_as_answer_close (const QString& fileName); |
|
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
138 void handle_save_file_as_answer_cancel (); |
|
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
139 |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
140 private: |
|
15402
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
141 |
| 16560 | 142 enum editor_markers |
| 143 { | |
| 144 bookmark, | |
| 145 breakpoint, | |
| 146 debugger_position | |
| 147 }; | |
| 148 | |
|
15402
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
149 struct bp_info |
|
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
150 { |
|
16570
477bfd5d95f5
use dir, not path, to refer to directory name
John W. Eaton <jwe@octave.org>
parents:
16560
diff
changeset
|
151 bp_info (const QString& f, const QString& d, const QString& fn, int l) |
|
477bfd5d95f5
use dir, not path, to refer to directory name
John W. Eaton <jwe@octave.org>
parents:
16560
diff
changeset
|
152 : file (f.toStdString ()), dir (d.toStdString ()), |
|
16549
3cd80afc3509
improve debugging with the GUI
John W. Eaton <jwe@octave.org>
parents:
16454
diff
changeset
|
153 function_name (fn.toStdString ()), line (l) |
|
15402
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
154 { } |
|
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
155 |
|
16549
3cd80afc3509
improve debugging with the GUI
John W. Eaton <jwe@octave.org>
parents:
16454
diff
changeset
|
156 std::string file; |
|
16570
477bfd5d95f5
use dir, not path, to refer to directory name
John W. Eaton <jwe@octave.org>
parents:
16560
diff
changeset
|
157 std::string dir; |
|
15402
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
158 std::string function_name; |
|
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
159 int line; |
|
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
160 }; |
|
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
161 |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
162 void save_file (const QString& saveFileName, bool remove_on_success = false); |
|
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
163 void save_file_as (bool remove_on_success = false); |
|
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
164 void message_duplicate_file_name (const QString& fileName); |
|
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
165 |
|
14869
db3c84d38345
Now supporting c/cc/cpp syntax highlighting.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14829
diff
changeset
|
166 void update_lexer (); |
|
14827
6b90737f69cc
Very basic breakpoint setting and removing in the editor works.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14825
diff
changeset
|
167 void request_add_breakpoint (int line); |
|
6b90737f69cc
Very basic breakpoint setting and removing in the editor works.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14825
diff
changeset
|
168 void request_remove_breakpoint (int line); |
|
6b90737f69cc
Very basic breakpoint setting and removing in the editor works.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14825
diff
changeset
|
169 |
|
16018
e0df71fbe39b
gui: clearer message box with cancel button when closing an unsaved editor file
Torsten <ttl@justmail.de>
parents:
15984
diff
changeset
|
170 int check_file_modified (); |
|
14709
f50591409306
Started to rename class names and methods from camel case to underscore-
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14707
diff
changeset
|
171 void do_comment_selected_text (bool comment); |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
172 |
|
15402
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
173 void run_file_callback (void); |
|
16549
3cd80afc3509
improve debugging with the GUI
John W. Eaton <jwe@octave.org>
parents:
16454
diff
changeset
|
174 |
|
3cd80afc3509
improve debugging with the GUI
John W. Eaton <jwe@octave.org>
parents:
16454
diff
changeset
|
175 bool file_in_path (const bp_info& info); |
|
3cd80afc3509
improve debugging with the GUI
John W. Eaton <jwe@octave.org>
parents:
16454
diff
changeset
|
176 |
|
15402
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
177 void add_breakpoint_callback (const bp_info& info); |
|
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
178 void remove_breakpoint_callback (const bp_info& info); |
|
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
179 void remove_all_breakpoints_callback (const bp_info& info); |
|
16391
f5204f486a29
gui: add shortcut for goto line action in the editor and center the target line
Torsten <ttl@justmail.de>
parents:
16388
diff
changeset
|
180 void center_current_line (); |
|
15402
7f423c6111c6
refactor GUI event handling to use new event_queue class
John W. Eaton <jwe@octave.org>
parents:
15388
diff
changeset
|
181 |
| 16560 | 182 QsciScintilla *_edit_area; |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
183 |
| 16560 | 184 QString _file_name; |
| 185 QString _file_name_short; | |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
186 |
| 16560 | 187 bool _long_title; |
| 188 bool _copy_available; | |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
189 |
| 16560 | 190 QFileSystemWatcher _file_system_watcher; |
|
15848
424edeca3c66
Redo portions of file editor to use more signals/slots rather than casting.
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
15425
diff
changeset
|
191 |
| 16560 | 192 find_dialog *_find_dialog; |
| 193 bool _find_dialog_is_visible; | |
| 194 QRect _find_dialog_geometry; | |
|
14676
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
195 }; |
|
35512b788af2
Editor can now handle multiple files in tabs.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff
changeset
|
196 |
| 16560 | 197 #endif |