comparison libgui/src/settings-dialog.cc @ 18976:dcb260e7a648

maint: Periodic merge of gui-release to default.
author John W. Eaton <jwe@octave.org>
date Fri, 01 Aug 2014 12:10:05 -0400
parents 479d1d3cb5c3 0be65bd7f369
children
comparison
equal deleted inserted replaced
18972:19cb2530c16b 18976:dcb260e7a648
204 settings->value ("editor/notebook_tab_width_max", 300).toInt ()); 204 settings->value ("editor/notebook_tab_width_max", 300).toInt ());
205 ui->editor_restoreSession->setChecked ( 205 ui->editor_restoreSession->setChecked (
206 settings->value ("editor/restoreSession", true).toBool ()); 206 settings->value ("editor/restoreSession", true).toBool ());
207 ui->editor_create_new_file->setChecked ( 207 ui->editor_create_new_file->setChecked (
208 settings->value ("editor/create_new_file",false).toBool ()); 208 settings->value ("editor/create_new_file",false).toBool ());
209 ui->editor_reload_changed_files->setChecked (
210 settings->value ("editor/always_reload_changed_files",false).toBool ());
209 211
210 // terminal 212 // terminal
211 ui->terminal_fontName->setCurrentFont (QFont ( 213 ui->terminal_fontName->setCurrentFont (QFont (
212 settings->value ("terminal/fontName","Courier New").toString ())); 214 settings->value ("terminal/fontName","Courier New").toString ()));
213 ui->terminal_fontSize->setValue ( 215 ui->terminal_fontSize->setValue (
647 ui->editor_notebook_tab_width_max->value ()); 649 ui->editor_notebook_tab_width_max->value ());
648 settings->setValue ("editor/restoreSession", 650 settings->setValue ("editor/restoreSession",
649 ui->editor_restoreSession->isChecked ()); 651 ui->editor_restoreSession->isChecked ());
650 settings->setValue ("editor/create_new_file", 652 settings->setValue ("editor/create_new_file",
651 ui->editor_create_new_file->isChecked ()); 653 ui->editor_create_new_file->isChecked ());
654 settings->setValue ("editor/always_reload_changed_files",
655 ui->editor_reload_changed_files->isChecked ());
652 settings->setValue ("terminal/fontSize", ui->terminal_fontSize->value ()); 656 settings->setValue ("terminal/fontSize", ui->terminal_fontSize->value ());
653 settings->setValue ("terminal/fontName", 657 settings->setValue ("terminal/fontName",
654 ui->terminal_fontName->currentFont ().family ()); 658 ui->terminal_fontName->currentFont ().family ());
655 659
656 settings->setValue ("filesdockwidget/showFileSize", 660 settings->setValue ("filesdockwidget/showFileSize",