Mercurial > octave-libgccjit
view libinterp/mkdefs @ 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 | d63878346099 |
children |
line wrap: on
line source
#! /bin/sh # # Copyright (C) 1996-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/>. SED=${SED:-'sed'} if [ $# -ne 2 ]; then echo "usage: mkdefs srcdir file < preprocessed-file-contents" 1>&2 exit 1 fi srcdir="$1" file="$2"; echo "// DO NOT EDIT! Generated automatically by mkdefs." case "$file" in $srcdir/*) xsrcdir=`echo "$file" | sed "s,^$srcdir,libinterp,"` ;; *) xsrcdir="libinterp/$file" ;; esac echo " XDEFUN_FILE_NAME (\"$xsrcdir\")" egrep '^(///*|/\*) *PKG_ADD:' $file $SED -n -e '/^ *BEGIN_INSTALL_BUILTIN/{ : loop s/BEGIN_INSTALL_BUILTIN// s/^#[ \t][ \t]*[0-9][0-9]*.*$// /END_INSTALL_BUILTIN/b done p n b loop : done s/END_INSTALL_BUILTIN// p }'