# HG changeset patch # User Torsten # Date 1389909898 -3600 # Node ID 01646e48a6503bacd667e64d368e543ce9835829 # Parent c6e5466d74fe054c7f304ee00b1da5880c9f23b8 fix duplicate of settings string * settings-dialog.ui: change editor_tab_with into editor_notebook_tab_width * settings-dialog.cc (ctor, write_changed_settings): change editor_tab_with into editor_notebook_tab_width and editor/tab_width into editor/notebook_tab_width * file-editor.cc (notice_settings): change editor/tab_width into editor/notebook_tab_width diff -r c6e5466d74fe -r 01646e48a650 libgui/src/m-editor/file-editor.cc --- a/libgui/src/m-editor/file-editor.cc Thu Jan 16 16:26:56 2014 -0500 +++ b/libgui/src/m-editor/file-editor.cc Thu Jan 16 23:04:58 2014 +0100 @@ -843,7 +843,7 @@ int icon_size = settings->value ("toolbar_icon_size", 16).toInt (); _tool_bar->setIconSize (QSize (icon_size, icon_size)); - int tab_width = settings->value ("editor/tab_width", 300).toInt (); + int tab_width = settings->value ("editor/notebook_tab_width", 300).toInt (); QString style_sheet = QString ("QTabBar::tab {max-height: 4ex; " "max-width: %1px; text-align: right }"). arg (tab_width); diff -r c6e5466d74fe -r 01646e48a650 libgui/src/settings-dialog.cc --- a/libgui/src/settings-dialog.cc Thu Jan 16 16:26:56 2014 -0500 +++ b/libgui/src/settings-dialog.cc Thu Jan 16 23:04:58 2014 +0100 @@ -162,8 +162,8 @@ settings->value ("editor/tab_width", 2).toInt ()); ui->editor_longWindowTitle->setChecked ( settings->value ("editor/longWindowTitle",false).toBool ()); - ui->editor_tab_width->setValue ( - settings->value ("editor/tab_width", 300).toInt ()); + ui->editor_notebook_tab_width->setValue ( + settings->value ("editor/notebook_tab_width", 300).toInt ()); ui->editor_restoreSession->setChecked ( settings->value ("editor/restoreSession", true).toBool ()); ui->editor_create_new_file->setChecked ( @@ -541,8 +541,8 @@ ui->editor_tab_width_spinbox->value ()); settings->setValue ("editor/longWindowTitle", ui->editor_longWindowTitle->isChecked ()); - settings->setValue ("editor/tab_width", - ui->editor_tab_width->value ()); + settings->setValue ("editor/notebook_tab_width", + ui->editor_notebook_tab_width->value ()); settings->setValue ("editor/restoreSession", ui->editor_restoreSession->isChecked ()); settings->setValue ("editor/create_new_file", diff -r c6e5466d74fe -r 01646e48a650 libgui/src/settings-dialog.ui --- a/libgui/src/settings-dialog.ui Thu Jan 16 16:26:56 2014 -0500 +++ b/libgui/src/settings-dialog.ui Thu Jan 16 23:04:58 2014 +0100 @@ -449,7 +449,7 @@ - + 100