Mercurial > octave-libgccjit
view libgui/src/history-dock-widget.h @ 18946:0be65bd7f369 gui-release
add an user preference for loading changed files without a prompt (bug #42678)
* file-editor-tab.cc (file_has_changed): check user preference before prompting
for reloading the file;
(notice-settings): get flag for prompting before reloading file from settings;
* file-editor-tab.h: new flag _always_reload_changed files
* settings-dialog.ui: new check box for new preference
* settings-dialog.cc (constructor): get state of new check box from settings;
(write_changes_settings): write state of new check box into settings
author | Torsten <ttl@justmail.de> |
---|---|
date | Sun, 20 Jul 2014 21:23:32 +0200 |
parents | 2d5d0d86432e |
children |
line wrap: on
line source
/* Copyright (C) 2011-2013 Jacob Dawid This file is part of Octave. Octave is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version. Octave is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with Octave; see the file COPYING. If not, see <http://www.gnu.org/licenses/>. */ #ifndef HISTORYDOCKWIDGET_H #define HISTORYDOCKWIDGET_H #include <QLineEdit> #include <QListView> #include <QSortFilterProxyModel> #include <QStringListModel> #include "octave-dock-widget.h" class history_dock_widget : public octave_dock_widget { Q_OBJECT public: history_dock_widget (QWidget *parent = 0); public slots: void set_history (const QStringList& hist); void append_history (const QString& hist_entry); void clear_history (void); signals: void information (const QString& message); /** Emitted, whenever the user double-clicked a command in the history. */ void command_double_clicked (const QString& command); /** Emitted whenever the user selects command and chooses Create script from popupmenu. */ void command_create_script (const QString& commands); private slots: void handle_double_click (QModelIndex modelIndex); void handle_contextmenu_copy (bool flag); void handle_contextmenu_evaluate (bool flag); void handle_contextmenu_create_script (bool flag); void ctxMenu (const QPoint &pos); void copyClipboard (); void pasteClipboard (); void selectAll (); private: void construct (); QListView *_history_list_view; QLineEdit *_filter_line_edit; QSortFilterProxyModel _sort_filter_proxy_model; /** Stores the current history_model. */ QStringListModel *_history_model; }; #endif // HISTORYDOCKWIDGET_H