Mercurial > hg > octave-lyh
annotate libgui/src/settings-dialog.cc @ 17295:011e5d67baf1
interpft.m: Widen tolerance on tests to allow for FFT error
* scripts/general/interpft.m: Widen tolerance on tests to allow for
error in FFT routines, for example when not linking with FFTW.
author | Mike Miller <mtmiller@ieee.org> |
---|---|
date | Tue, 20 Aug 2013 09:46:17 -0400 |
parents | a86327a7d9fb |
children |
rev | line source |
---|---|
15204
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
1 /* |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
2 |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
3 Copyright (C) 2011-2012 Jacob Dawid |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
4 |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
5 This file is part of Octave. |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
6 |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
7 Octave is free software; you can redistribute it and/or modify it |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
8 under the terms of the GNU General Public License as published by the |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
9 Free Software Foundation; either version 3 of the License, or (at your |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
10 option) any later version. |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
11 |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
12 Octave is distributed in the hope that it will be useful, but WITHOUT |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
15 for more details. |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
16 |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
17 You should have received a copy of the GNU General Public License |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
18 along with Octave; see the file COPYING. If not, see |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
19 <http://www.gnu.org/licenses/>. |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
20 |
359098ad343e
update copyright notices in libgui directory
John W. Eaton <jwe@octave.org>
parents:
15196
diff
changeset
|
21 */ |
13674
c0e66d6e3dc8
Updated license headers and moved to AGPLv3.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13672
diff
changeset
|
22 |
15286
ae9079bbc627
Add '#include <config.h>' to C++ files in libgui/src
Rik <rik@octave.org>
parents:
15274
diff
changeset
|
23 #ifdef HAVE_CONFIG_H |
ae9079bbc627
Add '#include <config.h>' to C++ files in libgui/src
Rik <rik@octave.org>
parents:
15274
diff
changeset
|
24 #include <config.h> |
ae9079bbc627
Add '#include <config.h>' to C++ files in libgui/src
Rik <rik@octave.org>
parents:
15274
diff
changeset
|
25 #endif |
ae9079bbc627
Add '#include <config.h>' to C++ files in libgui/src
Rik <rik@octave.org>
parents:
15274
diff
changeset
|
26 |
14707
674740c44c09
Changed various files to matche file naming conventions.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14703
diff
changeset
|
27 #include "resource-manager.h" |
16610
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
28 #include "workspace-model.h" |
14707
674740c44c09
Changed various files to matche file naming conventions.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14703
diff
changeset
|
29 #include "settings-dialog.h" |
15156
141b0b108292
allow building without gui to work
John W. Eaton <jwe@octave.org>
parents:
14998
diff
changeset
|
30 #include "ui-settings-dialog.h" |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
31 #include <QDir> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
32 #include <QFileInfo> |
16626
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
33 #include <QVector> |
13501 | 34 |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
35 #ifdef HAVE_QSCINTILLA |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
36 #include <QScrollArea> |
16667
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
37 |
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
38 #if defined (HAVE_QSCI_QSCILEXEROCTAVE_H) |
16677
f6dfc7705623
* settings-dialog.cc: enable octave lexer editor styles if lexer is present
Torsten <ttl@justmail.de>
parents:
16667
diff
changeset
|
39 #define HAVE_LEXER_OCTAVE |
16646
025bc6b5080e
use QScintilla's lexer for highlighting Octave programs
John W. Eaton <jwe@octave.org>
parents:
16636
diff
changeset
|
40 #include <Qsci/qscilexeroctave.h> |
16667
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
41 #elif defined (HAVE_QSCI_QSCILEXERMATLAB_H) |
16677
f6dfc7705623
* settings-dialog.cc: enable octave lexer editor styles if lexer is present
Torsten <ttl@justmail.de>
parents:
16667
diff
changeset
|
42 #define HAVE_LEXER_MATLAB |
16667
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
43 #include <Qsci/qscilexermatlab.h> |
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
44 #endif |
16677
f6dfc7705623
* settings-dialog.cc: enable octave lexer editor styles if lexer is present
Torsten <ttl@justmail.de>
parents:
16667
diff
changeset
|
45 |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
46 #include <Qsci/qscilexercpp.h> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
47 #include <Qsci/qscilexerbash.h> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
48 #include <Qsci/qscilexerperl.h> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
49 #include <Qsci/qscilexerbatch.h> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
50 #include <Qsci/qscilexerdiff.h> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
51 #endif |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
52 |
15368
36ececf69385
avoid some GCC warnings in the libgui code
John W. Eaton <jwe@octave.org>
parents:
15367
diff
changeset
|
53 settings_dialog::settings_dialog (QWidget *p): |
36ececf69385
avoid some GCC warnings in the libgui code
John W. Eaton <jwe@octave.org>
parents:
15367
diff
changeset
|
54 QDialog (p), ui (new Ui::settings_dialog) |
13501 | 55 { |
13506
c70511cf64ee
Reformatted to GNU Style.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
56 ui->setupUi (this); |
13501 | 57 |
15164
bc801a44bb1f
follow Octave pattern for resource_manager singleton
John W. Eaton <jwe@octave.org>
parents:
15156
diff
changeset
|
58 QSettings *settings = resource_manager::get_settings (); |
bc801a44bb1f
follow Octave pattern for resource_manager singleton
John W. Eaton <jwe@octave.org>
parents:
15156
diff
changeset
|
59 // FIXME -- what should happen if settings is 0? |
bc801a44bb1f
follow Octave pattern for resource_manager singleton
John W. Eaton <jwe@octave.org>
parents:
15156
diff
changeset
|
60 |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
61 // look for available language files and the actual settings |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
62 QString qm_dir_name = resource_manager::get_gui_translation_dir (); |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
63 QDir qm_dir (qm_dir_name); |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
64 QFileInfoList qm_files = qm_dir.entryInfoList (QStringList ("*.qm"), |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
65 QDir::Files | QDir::Readable, |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
66 QDir::Name); |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
67 for (int i = 0; i < qm_files.length (); i++) // insert available languages |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
68 ui->comboBox_language->addItem (qm_files.at (i).baseName ()); |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
69 ui->comboBox_language->insertItem (0,tr("System setting")); // System at beginning |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
70 ui->comboBox_language->insertSeparator (1); // separator after System |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
71 QString language = settings->value ("language","SYSTEM").toString (); |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
72 if (language == "SYSTEM") |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
73 language = tr("System setting"); |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
74 int selected = ui->comboBox_language->findText (language); |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
75 if (selected >= 0) |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
76 ui->comboBox_language->setCurrentIndex (selected); |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
77 else |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
78 ui->comboBox_language->setCurrentIndex (0); // System is default |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
79 |
16525
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16500
diff
changeset
|
80 ui->toolbar_icon_size->setValue (settings->value ("toolbar_icon_size",24).toInt ()); |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16500
diff
changeset
|
81 |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
82 // which icon has to be selected |
15914
85f9aca30c76
gui: reorganized handling of different icons for dock widgets
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
83 QString widget_icon_set = |
85f9aca30c76
gui: reorganized handling of different icons for dock widgets
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
84 settings->value ("DockWidgets/widget_icon_set","NONE").toString (); |
85f9aca30c76
gui: reorganized handling of different icons for dock widgets
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
85 ui->general_icon_octave-> setChecked (true); // the default (if invalid set) |
85f9aca30c76
gui: reorganized handling of different icons for dock widgets
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
86 ui->general_icon_octave-> setChecked (widget_icon_set == "NONE"); |
85f9aca30c76
gui: reorganized handling of different icons for dock widgets
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
87 ui->general_icon_graphic-> setChecked (widget_icon_set == "GRAPHIC"); |
85f9aca30c76
gui: reorganized handling of different icons for dock widgets
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
88 ui->general_icon_letter-> setChecked (widget_icon_set == "LETTER"); |
15787
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15368
diff
changeset
|
89 |
16379
4bb1b82076e5
gui: provide defaults for all values read from the settings file
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
90 ui->useCustomFileEditor->setChecked (settings->value ("useCustomFileEditor",false).toBool ()); |
13537
a43ecce77eec
Introduced a central ResourceManager class.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13536
diff
changeset
|
91 ui->customFileEditor->setText (settings->value ("customFileEditor").toString ()); |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
92 ui->editor_showLineNumbers->setChecked (settings->value ("editor/showLineNumbers",true).toBool () ); |
16693
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
93 |
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
94 QVariant default_var = QColor (240, 240, 240); |
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
95 QColor setting_color = settings->value ("editor/highlight_current_line_color", |
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
96 default_var).value<QColor> (); |
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
97 _editor_current_line_color = new color_picker (setting_color); |
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
98 ui->editor_grid_current_line->addWidget (_editor_current_line_color,0,3); |
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
99 _editor_current_line_color->setMinimumSize (50,10); |
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
100 _editor_current_line_color->setEnabled (false); |
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
101 connect (ui->editor_highlightCurrentLine, SIGNAL (toggled (bool)), |
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
102 _editor_current_line_color, SLOT (setEnabled (bool))); |
14307
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14290
diff
changeset
|
103 ui->editor_highlightCurrentLine->setChecked (settings->value ("editor/highlightCurrentLine",true).toBool () ); |
16693
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
104 |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
105 ui->editor_codeCompletion->setChecked (settings->value ("editor/codeCompletion",true).toBool () ); |
16679
cf939872811c
options for auto completion threshold, source and word replacement in settings
Torsten <ttl@justmail.de>
parents:
16677
diff
changeset
|
106 ui->editor_spinbox_ac_threshold->setValue (settings->value ("editor/codeCompletion_threshold",2).toInt ()); |
cf939872811c
options for auto completion threshold, source and word replacement in settings
Torsten <ttl@justmail.de>
parents:
16677
diff
changeset
|
107 ui->editor_checkbox_ac_keywords->setChecked (settings->value ("editor/codeCompletion_keywords",true).toBool ()); |
cf939872811c
options for auto completion threshold, source and word replacement in settings
Torsten <ttl@justmail.de>
parents:
16677
diff
changeset
|
108 ui->editor_checkbox_ac_document->setChecked (settings->value ("editor/codeCompletion_document",false).toBool ()); |
16701
ccfbc767ff5a
make case sensitivity of editors auto completion list configurable
Torsten <ttl@justmail.de>
parents:
16700
diff
changeset
|
109 ui->editor_checkbox_ac_case->setChecked (settings->value ("editor/codeCompletion_case",true).toBool ()); |
16679
cf939872811c
options for auto completion threshold, source and word replacement in settings
Torsten <ttl@justmail.de>
parents:
16677
diff
changeset
|
110 ui->editor_checkbox_ac_replace->setChecked (settings->value ("editor/codeCompletion_replace",false).toBool ()); |
16702
553cfdd5d660
make white space visibility in the editor configurable
Torsten <ttl@justmail.de>
parents:
16701
diff
changeset
|
111 ui->editor_ws_checkbox->setChecked (settings->value ("editor/show_white_space",false).toBool ()); |
553cfdd5d660
make white space visibility in the editor configurable
Torsten <ttl@justmail.de>
parents:
16701
diff
changeset
|
112 ui->editor_ws_indent_checkbox->setChecked (settings->value ("editor/show_white_space_indent",false).toBool ()); |
16703
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
113 ui->editor_auto_ind_checkbox->setChecked (settings->value ("editor/auto_indent",true).toBool ()); |
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
114 ui->editor_tab_ind_checkbox->setChecked (settings->value ("editor/tab_indents_line",false).toBool ()); |
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
115 ui->editor_bs_unind_checkbox->setChecked (settings->value ("editor/backspace_unindents_line",false).toBool ()); |
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
116 ui->editor_ind_guides_checkbox->setChecked (settings->value ("editor/show_indent_guides",false).toBool ()); |
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
117 ui->editor_ind_width_spinbox->setValue (settings->value ("editor/indent_width",2).toInt ()); |
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
118 ui->editor_tab_width_spinbox->setValue (settings->value ("editor/tab_width",2).toInt ()); |
15355
a9fd6821eedf
GUI: recognize editor prefences for long title names; changed default value to false
Thorsten Liebig <Thorsten.Liebig@gmx.de>
parents:
15286
diff
changeset
|
119 ui->editor_longWindowTitle->setChecked (settings->value ("editor/longWindowTitle",false).toBool ()); |
15356
842ab161c10a
GUI: new setting to restore tabs from previous session; allow silent load file
Thorsten Liebig <Thorsten.Liebig@gmx.de>
parents:
15355
diff
changeset
|
120 ui->editor_restoreSession->setChecked (settings->value ("editor/restoreSession",true).toBool ()); |
16379
4bb1b82076e5
gui: provide defaults for all values read from the settings file
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
121 ui->terminal_fontName->setCurrentFont (QFont (settings->value ("terminal/fontName","Courier New").toString()) ); |
14588
fa52c6e84ae0
Added controls and settings for changing the terminal font.
"Israel Herraiz <israel.herraiz@upm.es>"
parents:
14308
diff
changeset
|
122 ui->terminal_fontSize->setValue (settings->value ("terminal/fontSize",10).toInt ()); |
16499
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
123 ui->showFileSize->setChecked (settings->value ("filesdockwidget/showFileSize",false).toBool()); |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
124 ui->showFileType->setChecked (settings->value ("filesdockwidget/showFileType",false).toBool()); |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
125 ui->showLastModified->setChecked (settings->value ("filesdockwidget/showLastModified",false).toBool()); |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
126 ui->showHiddenFiles->setChecked (settings->value ("filesdockwidget/showHiddenFiles",false).toBool()); |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
127 ui->useAlternatingRowColors->setChecked (settings->value ("filesdockwidget/useAlternatingRowColors",true).toBool()); |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
128 ui->sync_octave_directory->setChecked (settings->value ("filesdockwidget/sync_octave_directory",true).toBool()); |
16379
4bb1b82076e5
gui: provide defaults for all values read from the settings file
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
129 ui->useProxyServer->setChecked (settings->value ("useProxyServer",false).toBool ()); |
13607
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
130 ui->proxyHostName->setText (settings->value ("proxyHostName").toString ()); |
16379
4bb1b82076e5
gui: provide defaults for all values read from the settings file
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
131 ui->terminal_cursorBlinking->setChecked (settings->value ("terminal/cursorBlinking",true).toBool ()); |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
132 ui->terminal_cursorUseForegroundColor->setChecked (settings->value ("terminal/cursorUseForegroundColor",true).toBool ()); |
14998
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
133 |
16379
4bb1b82076e5
gui: provide defaults for all values read from the settings file
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
134 QString cursorType = settings->value ("terminal/cursorType","ibeam").toString (); |
14998
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
135 |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
136 QStringList items; |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
137 items << QString("0") << QString("1") << QString("2"); |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
138 ui->terminal_cursorType->addItems(items); |
16859
54c370a00a4a
* settings-dialog.cc(constructor): enable translation of the cursor types
Torsten <ttl@justmail.de>
parents:
16749
diff
changeset
|
139 ui->terminal_cursorType->setItemText (0, tr ("IBeam Cursor")); |
54c370a00a4a
* settings-dialog.cc(constructor): enable translation of the cursor types
Torsten <ttl@justmail.de>
parents:
16749
diff
changeset
|
140 ui->terminal_cursorType->setItemText (1, tr ("Block Cursor")); |
54c370a00a4a
* settings-dialog.cc(constructor): enable translation of the cursor types
Torsten <ttl@justmail.de>
parents:
16749
diff
changeset
|
141 ui->terminal_cursorType->setItemText (2, tr ("Underline Cursor")); |
14998
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
142 |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
143 if (cursorType == "ibeam") |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
144 ui->terminal_cursorType->setCurrentIndex (0); |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
145 else if (cursorType == "block") |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
146 ui->terminal_cursorType->setCurrentIndex (1); |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
147 else if (cursorType == "underline") |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
148 ui->terminal_cursorType->setCurrentIndex (2); |
13607
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
149 |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
150 int currentIndex = 0; |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
151 QString proxyTypeString = settings->value ("proxyType").toString (); |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
152 while ( (currentIndex < ui->proxyType->count ()) && (ui->proxyType->currentText () != proxyTypeString)) |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
153 { |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
154 currentIndex++; |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
155 ui->proxyType->setCurrentIndex (currentIndex); |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
156 } |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
157 |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
158 ui->proxyPort->setText (settings->value ("proxyPort").toString ()); |
13609
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13607
diff
changeset
|
159 ui->proxyUserName->setText (settings->value ("proxyUserName").toString ()); |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13607
diff
changeset
|
160 ui->proxyPassword->setText (settings->value ("proxyPassword").toString ()); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
161 |
16610
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
162 // qorkspace colors |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
163 read_workspace_colors (settings); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
164 |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
165 // terminal colors |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
166 read_terminal_colors (settings); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
167 |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
168 #ifdef HAVE_QSCINTILLA |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
169 // editor styles: create lexer, read settings, and create dialog elements |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
170 QsciLexer *lexer; |
16667
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
171 #if defined (HAVE_LEXER_OCTAVE) |
16646
025bc6b5080e
use QScintilla's lexer for highlighting Octave programs
John W. Eaton <jwe@octave.org>
parents:
16636
diff
changeset
|
172 lexer = new QsciLexerOctave (); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
173 read_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
174 delete lexer; |
16667
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
175 #elif defined (HAVE_LEXER_MATLAB) |
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
176 lexer = new QsciLexerMatlab (); |
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
177 read_lexer_settings (lexer,settings); |
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
178 delete lexer; |
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
179 #endif |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
180 lexer = new QsciLexerCPP (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
181 read_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
182 delete lexer; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
183 lexer = new QsciLexerPerl (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
184 read_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
185 delete lexer; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
186 lexer = new QsciLexerBatch (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
187 read_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
188 delete lexer; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
189 lexer = new QsciLexerDiff (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
190 read_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
191 delete lexer; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
192 lexer = new QsciLexerBash (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
193 read_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
194 delete lexer; |
16623
9c0487bb205b
save and restore last used tabs of the settings dialog
Torsten <ttl@justmail.de>
parents:
16620
diff
changeset
|
195 #endif |
9c0487bb205b
save and restore last used tabs of the settings dialog
Torsten <ttl@justmail.de>
parents:
16620
diff
changeset
|
196 |
9c0487bb205b
save and restore last used tabs of the settings dialog
Torsten <ttl@justmail.de>
parents:
16620
diff
changeset
|
197 ui->tabWidget->setCurrentIndex (settings->value("settings/last_tab",0).toInt ()); |
13501 | 198 } |
199 | |
14709
f50591409306
Started to rename class names and methods from camel case to underscore-
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14707
diff
changeset
|
200 settings_dialog::~settings_dialog () |
13501 | 201 { |
15274
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15204
diff
changeset
|
202 delete ui; |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15204
diff
changeset
|
203 } |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15204
diff
changeset
|
204 |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
205 |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
206 #ifdef HAVE_QSCINTILLA |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
207 int |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
208 settings_dialog::get_valid_lexer_styles (QsciLexer *lexer, int styles[]) |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
209 { |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
210 int max_style = 0; |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
211 int actual_style = 0; |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
212 while (actual_style < MaxStyleNumber && max_style < MaxLexerStyles) |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
213 { |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
214 if ((lexer->description(actual_style)) != "") // valid style |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
215 styles[max_style++] = actual_style; |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
216 actual_style++; |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
217 } |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
218 return max_style; |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
219 } |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
220 |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
221 void |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
222 settings_dialog::read_lexer_settings (QsciLexer *lexer, QSettings *settings) |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
223 { |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
224 lexer->readSettings (*settings); |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
225 int styles[MaxLexerStyles]; // array for saving valid styles (enum is not continuous) |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
226 int max_style = get_valid_lexer_styles (lexer, styles); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
227 QGridLayout *style_grid = new QGridLayout (); |
16626
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
228 QVector<QLabel*> description (max_style); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
229 QVector<QFontComboBox*> select_font (max_style); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
230 QVector<QSpinBox*> font_size (max_style); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
231 QVector<QCheckBox*> attrib_font (3 * max_style); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
232 QVector<color_picker*> color (max_style); |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
233 QVector<color_picker*> bg_color (max_style); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
234 int default_size = 10; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
235 QFont default_font = QFont (); |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
236 QColor default_color = QColor (); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
237 QColor dummy_color = QColor (255,0,255); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
238 |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
239 for (int i = 0; i < max_style; i++) // create dialog elements for all styles |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
240 { |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
241 QString actual_name = lexer->description (styles[i]); |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
242 QFont actual_font = lexer->font (styles[i]); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
243 description[i] = new QLabel (actual_name); |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
244 description[i]->setWordWrap (true); |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
245 description[i]->setMaximumSize (160,QWIDGETSIZE_MAX); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
246 description[i]->setMinimumSize (160,1); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
247 select_font[i] = new QFontComboBox (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
248 select_font[i]->setObjectName (actual_name+"_font"); |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
249 select_font[i]->setMaximumSize (180,QWIDGETSIZE_MAX); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
250 select_font[i]->setMinimumSize (180,1); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
251 font_size[i] = new QSpinBox (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
252 font_size[i]->setObjectName (actual_name+"_size"); |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
253 if (styles[i] == 0) // the default |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
254 { |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
255 select_font[i]->setCurrentFont (actual_font); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
256 default_font = actual_font; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
257 font_size[i]->setRange (6,24); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
258 default_size = actual_font.pointSize (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
259 font_size[i]->setValue (default_size); |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
260 default_color = lexer->defaultPaper (); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
261 bg_color[i] = new color_picker (default_color); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
262 } |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
263 else // other styles |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
264 { |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
265 select_font[i]->setCurrentFont (actual_font); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
266 if (actual_font.family () == default_font.family ()) |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
267 select_font[i]->setEditText (lexer->description (0)); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
268 font_size[i]->setRange (-4,4); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
269 font_size[i]->setValue (actual_font.pointSize ()-default_size); |
16865
a86327a7d9fb
fix of typos in text strings of the gui
Torsten <ttl@justmail.de>
parents:
16859
diff
changeset
|
270 font_size[i]->setToolTip (tr ("Difference to the default size")); |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
271 if (lexer->paper (styles[i]) == default_color) |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
272 bg_color[i] = new color_picker (dummy_color); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
273 else |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
274 bg_color[i] = new color_picker (lexer->paper (styles[i])); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
275 bg_color[i]->setToolTip |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
276 (tr ("Background color, pink (255,0,255) means default")); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
277 } |
16626
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
278 attrib_font[0+3*i] = new QCheckBox (tr("b")); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
279 attrib_font[1+3*i] = new QCheckBox (tr("i")); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
280 attrib_font[2+3*i] = new QCheckBox (tr("u")); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
281 attrib_font[0+3*i]->setChecked(Qt::Checked && actual_font.bold ()); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
282 attrib_font[0+3*i]->setObjectName (actual_name+"_bold"); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
283 attrib_font[1+3*i]->setChecked(Qt::Checked && actual_font.italic ()); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
284 attrib_font[1+3*i]->setObjectName (actual_name+"_italic"); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
285 attrib_font[2+3*i]->setChecked(Qt::Checked && actual_font.underline ()); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
286 attrib_font[2+3*i]->setObjectName (actual_name+"_underline"); |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
287 color[i] = new color_picker (lexer->color (styles[i])); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
288 color[i]->setObjectName (actual_name+"_color"); |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
289 bg_color[i]->setObjectName (actual_name+"_bg_color"); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
290 int column = 1; |
16626
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
291 style_grid->addWidget (description[i], i, column++); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
292 style_grid->addWidget (select_font[i], i, column++); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
293 style_grid->addWidget (font_size[i], i, column++); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
294 style_grid->addWidget (attrib_font[0+3*i], i, column++); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
295 style_grid->addWidget (attrib_font[1+3*i], i, column++); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
296 style_grid->addWidget (attrib_font[2+3*i], i, column++); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
297 style_grid->addWidget (color[i], i, column++); |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
298 style_grid->addWidget (bg_color[i], i, column++); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
299 } |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
300 // place grid with elements into the tab |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
301 QScrollArea *scroll_area = new QScrollArea (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
302 QWidget *scroll_area_contents = new QWidget (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
303 scroll_area_contents->setObjectName (QString (lexer->language ())+"_styles"); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
304 scroll_area_contents->setLayout (style_grid); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
305 scroll_area->setWidget (scroll_area_contents); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
306 ui->tabs_editor_styles->addTab (scroll_area,lexer->language ()); |
16623
9c0487bb205b
save and restore last used tabs of the settings dialog
Torsten <ttl@justmail.de>
parents:
16620
diff
changeset
|
307 |
9c0487bb205b
save and restore last used tabs of the settings dialog
Torsten <ttl@justmail.de>
parents:
16620
diff
changeset
|
308 ui->tabs_editor_styles->setCurrentIndex ( |
9c0487bb205b
save and restore last used tabs of the settings dialog
Torsten <ttl@justmail.de>
parents:
16620
diff
changeset
|
309 settings->value("settings/last_editor_styles_tab",0).toInt ()); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
310 } |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
311 #endif |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
312 |
16610
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
313 void |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
314 settings_dialog::read_workspace_colors (QSettings *settings) |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
315 { |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
316 |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
317 QList<QColor> default_colors = resource_manager::storage_class_default_colors (); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
318 QStringList class_names = resource_manager::storage_class_names (); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
319 QString class_chars = resource_manager::storage_class_chars (); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
320 int nr_of_classes = class_chars.length (); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
321 |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
322 QGridLayout *style_grid = new QGridLayout (); |
16626
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
323 QVector<QLabel*> description (nr_of_classes); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
324 QVector<color_picker*> color (nr_of_classes); |
16610
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
325 |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
326 int column = 0; |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
327 int row = 0; |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
328 for (int i = 0; i < nr_of_classes; i++) |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
329 { |
16749
c9007267cbf5
Variation of color option layouts with columns packed to the left
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16748
diff
changeset
|
330 description[i] = new QLabel (" " + class_names.at (i)); |
16610
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
331 description[i]->setAlignment (Qt::AlignRight); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
332 QVariant default_var = default_colors.at (i); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
333 QColor setting_color = settings->value ("workspaceview/color_"+class_chars.mid (i,1), |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
334 default_var).value<QColor> (); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
335 color[i] = new color_picker (setting_color); |
16748
28a58b06e4ff
Make spacing similar for color option layouts
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16703
diff
changeset
|
336 color[i]->setObjectName ("color_"+class_chars.mid (i, 1)); |
28a58b06e4ff
Make spacing similar for color option layouts
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16703
diff
changeset
|
337 color[i]->setMinimumSize (30, 10); |
28a58b06e4ff
Make spacing similar for color option layouts
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16703
diff
changeset
|
338 style_grid->addWidget (description[i], row, 3*column); |
28a58b06e4ff
Make spacing similar for color option layouts
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16703
diff
changeset
|
339 style_grid->addWidget (color[i], row, 3*column+1); |
16610
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
340 if (++column == 3) |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
341 { |
16749
c9007267cbf5
Variation of color option layouts with columns packed to the left
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16748
diff
changeset
|
342 style_grid->setColumnStretch (4*column, 10); |
16610
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
343 row++; |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
344 column = 0; |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
345 } |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
346 } |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
347 |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
348 // place grid with elements into the tab |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
349 ui->workspace_colors_box->setLayout (style_grid); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
350 } |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
351 |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
352 void |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
353 settings_dialog::read_terminal_colors (QSettings *settings) |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
354 { |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
355 |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
356 QList<QColor> default_colors = resource_manager::terminal_default_colors (); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
357 QStringList class_names = resource_manager::terminal_color_names (); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
358 QString class_chars = resource_manager::terminal_color_chars (); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
359 int nr_of_classes = class_chars.length (); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
360 |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
361 QGridLayout *style_grid = new QGridLayout (); |
16626
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
362 QVector<QLabel*> description (nr_of_classes); |
4adf3c4bd80b
GUI compilation fixes for MSVC.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
16623
diff
changeset
|
363 QVector<color_picker*> color (nr_of_classes); |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
364 |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
365 int column = 0; |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
366 int row = 0; |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
367 for (int i = 0; i < nr_of_classes; i++) |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
368 { |
16749
c9007267cbf5
Variation of color option layouts with columns packed to the left
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16748
diff
changeset
|
369 description[i] = new QLabel (" " + class_names.at (i)); |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
370 description[i]->setAlignment (Qt::AlignRight); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
371 QVariant default_var = default_colors.at (i); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
372 QColor setting_color = settings->value ("terminal/color_"+class_chars.mid (i,1), |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
373 default_var).value<QColor> (); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
374 color[i] = new color_picker (setting_color); |
16748
28a58b06e4ff
Make spacing similar for color option layouts
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16703
diff
changeset
|
375 color[i]->setObjectName ("terminal_color_"+class_chars.mid (i, 1)); |
28a58b06e4ff
Make spacing similar for color option layouts
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16703
diff
changeset
|
376 color[i]->setMinimumSize (30, 10); |
28a58b06e4ff
Make spacing similar for color option layouts
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16703
diff
changeset
|
377 style_grid->addWidget (description[i], row, 2*column); |
28a58b06e4ff
Make spacing similar for color option layouts
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16703
diff
changeset
|
378 style_grid->addWidget (color[i], row, 2*column+1); |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
379 if (++column == 2) |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
380 { |
16748
28a58b06e4ff
Make spacing similar for color option layouts
Daniel J Sebald <daniel.sebald@ieee.org>
parents:
16703
diff
changeset
|
381 style_grid->setColumnStretch (3*column, 10); |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
382 row++; |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
383 column = 0; |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
384 } |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
385 } |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
386 |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
387 // place grid with elements into the tab |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
388 ui->terminal_colors_box->setLayout (style_grid); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
389 } |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
390 |
15274
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15204
diff
changeset
|
391 void |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15204
diff
changeset
|
392 settings_dialog::write_changed_settings () |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15204
diff
changeset
|
393 { |
15164
bc801a44bb1f
follow Octave pattern for resource_manager singleton
John W. Eaton <jwe@octave.org>
parents:
15156
diff
changeset
|
394 QSettings *settings = resource_manager::get_settings (); |
bc801a44bb1f
follow Octave pattern for resource_manager singleton
John W. Eaton <jwe@octave.org>
parents:
15156
diff
changeset
|
395 // FIXME -- what should happen if settings is 0? |
bc801a44bb1f
follow Octave pattern for resource_manager singleton
John W. Eaton <jwe@octave.org>
parents:
15156
diff
changeset
|
396 |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
397 // the icon set |
15914
85f9aca30c76
gui: reorganized handling of different icons for dock widgets
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
398 QString widget_icon_set = "NONE"; |
15787
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15368
diff
changeset
|
399 if (ui->general_icon_letter->isChecked ()) |
15914
85f9aca30c76
gui: reorganized handling of different icons for dock widgets
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
400 widget_icon_set = "LETTER"; |
15787
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15368
diff
changeset
|
401 else if (ui->general_icon_graphic->isChecked ()) |
15914
85f9aca30c76
gui: reorganized handling of different icons for dock widgets
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
402 widget_icon_set = "GRAPHIC"; |
15787
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15368
diff
changeset
|
403 settings->setValue ("DockWidgets/widget_icon_set",widget_icon_set); |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
404 |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
405 // language |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
406 QString language = ui->comboBox_language->currentText (); |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
407 if (language == tr("System setting")) |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
408 language = "SYSTEM"; |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
409 settings->setValue ("language", language); |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
410 |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
411 // other settings |
16525
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16500
diff
changeset
|
412 settings->setValue ("toolbar_icon_size", ui->toolbar_icon_size->value ()); |
13537
a43ecce77eec
Introduced a central ResourceManager class.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13536
diff
changeset
|
413 settings->setValue ("useCustomFileEditor", ui->useCustomFileEditor->isChecked ()); |
a43ecce77eec
Introduced a central ResourceManager class.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13536
diff
changeset
|
414 settings->setValue ("customFileEditor", ui->customFileEditor->text ()); |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
415 settings->setValue ("editor/showLineNumbers", ui->editor_showLineNumbers->isChecked ()); |
14307
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14290
diff
changeset
|
416 settings->setValue ("editor/highlightCurrentLine", ui->editor_highlightCurrentLine->isChecked ()); |
16693
e9d0b8252a0a
make color of current line marker in the editor configurable
Torsten <ttl@justmail.de>
parents:
16679
diff
changeset
|
417 settings->setValue ("editor/highlight_current_line_color",_editor_current_line_color->color ()); |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
418 settings->setValue ("editor/codeCompletion", ui->editor_codeCompletion->isChecked ()); |
16679
cf939872811c
options for auto completion threshold, source and word replacement in settings
Torsten <ttl@justmail.de>
parents:
16677
diff
changeset
|
419 settings->setValue ("editor/codeCompletion_threshold", ui->editor_spinbox_ac_threshold->value ()); |
cf939872811c
options for auto completion threshold, source and word replacement in settings
Torsten <ttl@justmail.de>
parents:
16677
diff
changeset
|
420 settings->setValue ("editor/codeCompletion_keywords", ui->editor_checkbox_ac_keywords->isChecked ()); |
cf939872811c
options for auto completion threshold, source and word replacement in settings
Torsten <ttl@justmail.de>
parents:
16677
diff
changeset
|
421 settings->setValue ("editor/codeCompletion_document", ui->editor_checkbox_ac_document->isChecked ()); |
16701
ccfbc767ff5a
make case sensitivity of editors auto completion list configurable
Torsten <ttl@justmail.de>
parents:
16700
diff
changeset
|
422 settings->setValue ("editor/codeCompletion_case", ui->editor_checkbox_ac_case->isChecked ()); |
16679
cf939872811c
options for auto completion threshold, source and word replacement in settings
Torsten <ttl@justmail.de>
parents:
16677
diff
changeset
|
423 settings->setValue ("editor/codeCompletion_replace", ui->editor_checkbox_ac_replace->isChecked ()); |
16702
553cfdd5d660
make white space visibility in the editor configurable
Torsten <ttl@justmail.de>
parents:
16701
diff
changeset
|
424 settings->setValue ("editor/show_white_space", ui->editor_ws_checkbox->isChecked ()); |
553cfdd5d660
make white space visibility in the editor configurable
Torsten <ttl@justmail.de>
parents:
16701
diff
changeset
|
425 settings->setValue ("editor/show_white_space_indent", ui->editor_ws_indent_checkbox->isChecked ()); |
16703
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
426 settings->setValue ("editor/auto_indent", ui->editor_auto_ind_checkbox->isChecked ()); |
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
427 settings->setValue ("editor/tab_indents_line", ui->editor_tab_ind_checkbox->isChecked ()); |
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
428 settings->setValue ("editor/backspace_unindents_line", ui->editor_bs_unind_checkbox->isChecked ()); |
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
429 settings->setValue ("editor/show_indent_guides", ui->editor_ind_guides_checkbox->isChecked ()); |
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
430 settings->setValue ("editor/indent_width", ui->editor_ind_width_spinbox->value ()); |
5cf19370011d
add more settings concerning tabs and indentation to the editor settings
Torsten <ttl@justmail.de>
parents:
16702
diff
changeset
|
431 settings->setValue ("editor/tab_width", ui->editor_tab_width_spinbox->value ()); |
13672
c9501268a194
filename with or without full path in tabs of the editor
ttl <ttl@justmail.de>
parents:
13659
diff
changeset
|
432 settings->setValue ("editor/longWindowTitle", ui->editor_longWindowTitle->isChecked()); |
15356
842ab161c10a
GUI: new setting to restore tabs from previous session; allow silent load file
Thorsten Liebig <Thorsten.Liebig@gmx.de>
parents:
15355
diff
changeset
|
433 settings->setValue ("editor/restoreSession", ui->editor_restoreSession->isChecked ()); |
14588
fa52c6e84ae0
Added controls and settings for changing the terminal font.
"Israel Herraiz <israel.herraiz@upm.es>"
parents:
14308
diff
changeset
|
434 settings->setValue ("terminal/fontSize", ui->terminal_fontSize->value()); |
fa52c6e84ae0
Added controls and settings for changing the terminal font.
"Israel Herraiz <israel.herraiz@upm.es>"
parents:
14308
diff
changeset
|
435 settings->setValue ("terminal/fontName", ui->terminal_fontName->currentFont().family()); |
16499
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
436 settings->setValue ("filesdockwidget/showFileSize", ui->showFileSize->isChecked ()); |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
437 settings->setValue ("filesdockwidget/showFileType", ui->showFileType->isChecked ()); |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
438 settings->setValue ("filesdockwidget/showLastModified", ui->showLastModified->isChecked ()); |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
439 settings->setValue ("filesdockwidget/showHiddenFiles", ui->showHiddenFiles->isChecked ()); |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
440 settings->setValue ("filesdockwidget/useAlternatingRowColors", ui->useAlternatingRowColors->isChecked ()); |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
441 settings->setValue ("filesdockwidget/sync_octave_directory", ui->sync_octave_directory->isChecked ()); |
13607
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
442 settings->setValue ("useProxyServer", ui->useProxyServer->isChecked ()); |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
443 settings->setValue ("proxyType", ui->proxyType->currentText ()); |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
444 settings->setValue ("proxyHostName", ui->proxyHostName->text ()); |
fd31226d4c3a
Proxy settings can now be configured.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13537
diff
changeset
|
445 settings->setValue ("proxyPort", ui->proxyPort->text ()); |
13609
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13607
diff
changeset
|
446 settings->setValue ("proxyUserName", ui->proxyUserName->text ()); |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13607
diff
changeset
|
447 settings->setValue ("proxyPassword", ui->proxyPassword->text ()); |
14998
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
448 settings->setValue ("terminal/cursorBlinking", ui->terminal_cursorBlinking->isChecked ()); |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
449 settings->setValue ("terminal/cursorUseForegroundColor", ui->terminal_cursorUseForegroundColor->isChecked ()); |
14998
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
450 |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15914
diff
changeset
|
451 // the cursor |
14998
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
452 QString cursorType; |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
453 switch (ui->terminal_cursorType->currentIndex ()) |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
454 { |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
455 case 0: cursorType = "ibeam"; break; |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
456 case 1: cursorType = "block"; break; |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
457 case 2: cursorType = "underline"; break; |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
458 } |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
459 settings->setValue ("terminal/cursorType", cursorType); |
de3a318128f2
Added support for changing the terminal cursor and the cursor blinking.
Jacob Dawid <jacob.dawid@gmail.com>
parents:
14712
diff
changeset
|
460 settings->sync (); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
461 |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
462 #ifdef HAVE_QSCINTILLA |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
463 // editor styles: create lexer, get dialog contents, and write settings |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
464 QsciLexer *lexer; |
16667
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
465 #if defined (HAVE_LEXER_OCTAVE) |
16646
025bc6b5080e
use QScintilla's lexer for highlighting Octave programs
John W. Eaton <jwe@octave.org>
parents:
16636
diff
changeset
|
466 lexer = new QsciLexerOctave (); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
467 write_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
468 delete lexer; |
16667
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
469 #elif defined (HAVE_LEXER_MATLAB) |
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
470 lexer = new QsciLexerMatlab (); |
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
471 write_lexer_settings (lexer,settings); |
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
472 delete lexer; |
7f6f0b3f7369
Allow build to continue without QScintilla lexer for Octave
Ben Abbott <bpabbott@mac.com>
parents:
16646
diff
changeset
|
473 #endif |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
474 lexer = new QsciLexerCPP (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
475 write_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
476 delete lexer; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
477 lexer = new QsciLexerPerl (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
478 write_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
479 delete lexer; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
480 lexer = new QsciLexerBatch (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
481 write_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
482 delete lexer; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
483 lexer = new QsciLexerDiff (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
484 write_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
485 delete lexer; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
486 lexer = new QsciLexerBash (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
487 write_lexer_settings (lexer,settings); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
488 delete lexer; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
489 #endif |
16610
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
490 |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
491 write_workspace_colors (settings); |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
492 |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
493 write_terminal_colors (settings); |
16623
9c0487bb205b
save and restore last used tabs of the settings dialog
Torsten <ttl@justmail.de>
parents:
16620
diff
changeset
|
494 |
9c0487bb205b
save and restore last used tabs of the settings dialog
Torsten <ttl@justmail.de>
parents:
16620
diff
changeset
|
495 settings->setValue("settings/last_tab",ui->tabWidget->currentIndex ()); |
13501 | 496 } |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
497 |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
498 #ifdef HAVE_QSCINTILLA |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
499 void |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
500 settings_dialog::write_lexer_settings (QsciLexer *lexer, QSettings *settings) |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
501 { |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
502 QWidget *tab = ui->tabs_editor_styles-> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
503 findChild <QWidget *>(QString (lexer->language ())+"_styles"); |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
504 int styles[MaxLexerStyles]; // array for saving valid styles (enum is not continuous) |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
505 int max_style = get_valid_lexer_styles (lexer, styles); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
506 QFontComboBox *select_font; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
507 QSpinBox *font_size; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
508 QCheckBox *attrib_font[3]; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
509 color_picker *color; |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
510 color_picker *bg_color; |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
511 int default_size = 10; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
512 QFont default_font = QFont ("Courier New",10,-1,0); |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
513 QColor default_color = QColor (); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
514 QColor dummy_color = QColor (255,0,255); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
515 |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
516 for (int i = 0; i < max_style; i++) // get dialog elements and their contents |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
517 { |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
518 QString actual_name = lexer->description (styles[i]); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
519 select_font = tab->findChild <QFontComboBox *>(actual_name+"_font"); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
520 font_size = tab->findChild <QSpinBox *>(actual_name+"_size"); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
521 attrib_font[0] = tab->findChild <QCheckBox *>(actual_name+"_bold"); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
522 attrib_font[1] = tab->findChild <QCheckBox *>(actual_name+"_italic"); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
523 attrib_font[2] = tab->findChild <QCheckBox *>(actual_name+"_underline"); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
524 color = tab->findChild <color_picker *>(actual_name+"_color"); |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
525 bg_color = tab->findChild <color_picker *>(actual_name+"_bg_color"); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
526 QFont new_font = default_font; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
527 if (select_font) |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
528 { |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
529 new_font = select_font->currentFont (); |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
530 if (styles[i] == 0) |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
531 default_font = new_font; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
532 else |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
533 if (select_font->currentText () == lexer->description (0)) |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
534 new_font = default_font; |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
535 } |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
536 if (font_size) |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
537 { |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
538 if (styles[i] == 0) |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
539 { |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
540 default_size = font_size->value (); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
541 new_font.setPointSize (font_size->value ()); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
542 } |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
543 else |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
544 new_font.setPointSize (font_size->value ()+default_size); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
545 } |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
546 if (attrib_font[0]) |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
547 new_font.setBold (attrib_font[0]->isChecked ()); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
548 if (attrib_font[1]) |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
549 new_font.setItalic (attrib_font[1]->isChecked ()); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
550 if (attrib_font[2]) |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
551 new_font.setUnderline (attrib_font[2]->isChecked ()); |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
552 lexer->setFont (new_font,styles[i]); |
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
553 if (styles[i] == 0) |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
554 lexer->setDefaultFont (new_font); |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
555 if (color) |
16500
06bdf84aa3d9
gui: make all styles of the lexers configurable
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
556 lexer->setColor (color->color (),styles[i]); |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
557 if (bg_color) |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
558 { |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
559 if (styles[i] == 0) |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
560 { |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
561 default_color = bg_color->color (); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
562 lexer->setPaper (default_color,styles[i]); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
563 lexer->setDefaultPaper (default_color); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
564 } |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
565 else |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
566 { |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
567 if (bg_color->color () == dummy_color) |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
568 lexer->setPaper (default_color,styles[i]); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
569 else |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
570 lexer->setPaper (bg_color->color (),styles[i]); |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
571 } |
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
572 } |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
573 } |
16700
cd7d08b8c928
make background colors of editor files configurable
Torsten <ttl@justmail.de>
parents:
16693
diff
changeset
|
574 |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
575 lexer->writeSettings (*settings); |
16623
9c0487bb205b
save and restore last used tabs of the settings dialog
Torsten <ttl@justmail.de>
parents:
16620
diff
changeset
|
576 |
9c0487bb205b
save and restore last used tabs of the settings dialog
Torsten <ttl@justmail.de>
parents:
16620
diff
changeset
|
577 settings->setValue ( |
9c0487bb205b
save and restore last used tabs of the settings dialog
Torsten <ttl@justmail.de>
parents:
16620
diff
changeset
|
578 "settings/last_editor_styles_tab",ui->tabs_editor_styles->currentIndex ()); |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
579 } |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
16379
diff
changeset
|
580 #endif |
16610
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
581 |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
582 void |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
583 settings_dialog::write_workspace_colors (QSettings *settings) |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
584 { |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
585 |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
586 QString class_chars = resource_manager::storage_class_chars (); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
587 color_picker *color; |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
588 |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
589 for (int i = 0; i < class_chars.length (); i++) |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
590 { |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
591 color = ui->workspace_colors_box->findChild <color_picker *>( |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
592 "color_"+class_chars.mid (i,1)); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
593 if (color) |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
594 settings->setValue ("workspaceview/color_"+class_chars.mid (i,1), |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
595 color->color ()); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
596 } |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
597 settings->sync (); |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
598 } |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
599 |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
600 void |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
601 settings_dialog::write_terminal_colors (QSettings *settings) |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
602 { |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
603 QString class_chars = resource_manager::terminal_color_chars (); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
604 color_picker *color; |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
605 |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
606 for (int i = 0; i < class_chars.length (); i++) |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
607 { |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
608 color = ui->terminal_colors_box->findChild <color_picker *>( |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
609 "terminal_color_"+class_chars.mid (i,1)); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
610 if (color) |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
611 settings->setValue ("terminal/color_"+class_chars.mid (i,1), |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
612 color->color ()); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
613 } |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
614 settings->sync (); |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
615 } |