Mercurial > octave-libgccjit
view libgui/src/thread-manager.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 | b5bf26a054bd |
children |
line wrap: on
line source
/* Copyright (C) 2013 John W. Eaton 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/>. */ #if !defined (octave_thread_manager_h) #define octave_thread_manager_h 1 class octave_base_thread_manager { public: friend class octave_thread_manager; octave_base_thread_manager (void) : count (1) { } octave_base_thread_manager (const octave_base_thread_manager&) : count (1) { } virtual ~octave_base_thread_manager (void) { } virtual void register_current_thread (void) = 0; virtual void interrupt (void) = 0; protected: int count; }; class octave_thread_manager { public: octave_thread_manager (void); ~octave_thread_manager (void) { if (--rep->count == 0) delete rep; } octave_thread_manager (const octave_thread_manager& tm) : rep (tm.rep) { } octave_thread_manager& operator = (const octave_thread_manager& tm) { if (rep != tm.rep) { if (--rep->count == 0) delete rep; rep = tm.rep; rep->count++; } return *this; } void register_current_thread (void) { rep->register_current_thread (); } void interrupt (void) { rep->interrupt (); } static void block_interrupt_signal (void); static void unblock_interrupt_signal (void); private: octave_base_thread_manager *rep; static octave_base_thread_manager *create_rep (void); }; #endif