comparison libgui/src/m-editor/file-editor-tab.h @ 18550:3a509de8e791 gui-release

automatic completion list as user preference (bug #41469) * file-editor-tab.cc (constructor): remove unnecessary call for completion list; (show_auto_completion): new slot showing autocompletion list at cursor; (notice_settings): auto completion properties are set even if automatic showing of the list is disabled, only treshold is updated * file-editor-tab.h: new public slot show_completion list * file-editor.cc (request_completion): new slot for completion-list-action triggering a signal to the actual editor tab; (construct): new action in edit menu for showing completion list, the signal is connected to request_completion; (add_file_editor_tab): connect signal for showing the completion list to the new editor tab's slot show_auto_completion; (set_shortcuts): set shortcut for new action; (check_actions): disable new action when no tab is present * file-editor.h: new action, new slot, new signal for tab * settings-dialog.ui: update the settings dialog accordingly
author Torsten <ttl@justmail.de>
date Mon, 17 Feb 2014 20:42:08 +0100
parents f959c63934e6
children 2d5d0d86432e
comparison
equal deleted inserted replaced
18543:00d684465379 18550:3a509de8e791
97 void indent_selected_text (const QWidget *ID); 97 void indent_selected_text (const QWidget *ID);
98 void unindent_selected_text (const QWidget *ID); 98 void unindent_selected_text (const QWidget *ID);
99 99
100 void find (const QWidget *ID); 100 void find (const QWidget *ID);
101 void goto_line (const QWidget *ID, int line = -1); 101 void goto_line (const QWidget *ID, int line = -1);
102 void show_auto_completion (const QWidget *ID);
102 103
103 void insert_debugger_pointer (const QWidget *ID, int line = -1); 104 void insert_debugger_pointer (const QWidget *ID, int line = -1);
104 void delete_debugger_pointer (const QWidget *ID, int line = -1); 105 void delete_debugger_pointer (const QWidget *ID, int line = -1);
105 106
106 void do_breakpoint_marker (bool insert, const QWidget *ID, int line = -1); 107 void do_breakpoint_marker (bool insert, const QWidget *ID, int line = -1);