GNU Octave  4.0.0
A high-level interpreted language, primarily intended for numerical computations, mostly compatible with Matlab
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Pages
ui-settings-dialog.h
Go to the documentation of this file.
1 /********************************************************************************
2 ** Form generated from reading UI file 'settings-dialog.ui'
3 **
4 ** Created by: Qt User Interface Compiler version 4.8.6
5 **
6 ** WARNING! All changes made in this file will be lost when recompiling UI file!
7 ********************************************************************************/
8 
9 #ifndef UI_2D_SETTINGS_2D_DIALOG_H
10 #define UI_2D_SETTINGS_2D_DIALOG_H
11 
12 #include <QtCore/QVariant>
13 #include <QtGui/QAction>
14 #include <QtGui/QApplication>
15 #include <QtGui/QButtonGroup>
16 #include <QtGui/QCheckBox>
17 #include <QtGui/QComboBox>
18 #include <QtGui/QDialog>
19 #include <QtGui/QDialogButtonBox>
20 #include <QtGui/QFontComboBox>
21 #include <QtGui/QFrame>
22 #include <QtGui/QGridLayout>
23 #include <QtGui/QGroupBox>
24 #include <QtGui/QHBoxLayout>
25 #include <QtGui/QHeaderView>
26 #include <QtGui/QLabel>
27 #include <QtGui/QLineEdit>
28 #include <QtGui/QPushButton>
29 #include <QtGui/QRadioButton>
30 #include <QtGui/QScrollArea>
31 #include <QtGui/QSpacerItem>
32 #include <QtGui/QSpinBox>
33 #include <QtGui/QTabWidget>
34 #include <QtGui/QTreeWidget>
35 #include <QtGui/QVBoxLayout>
36 #include <QtGui/QWidget>
37 
38 QT_BEGIN_NAMESPACE
39 
40 class Ui_settings_dialog
41 {
42 public:
43  QVBoxLayout *verticalLayout_2;
44  QTabWidget *tabWidget;
45  QWidget *tab_general;
46  QVBoxLayout *verticalLayout_10;
47  QScrollArea *scrollArea_2;
48  QWidget *scrollAreaWidgetContents_2;
49  QVBoxLayout *verticalLayout_17;
50  QGroupBox *groupBox;
51  QVBoxLayout *verticalLayout_21;
52  QGridLayout *gridLayout;
53  QLabel *label_15;
54  QHBoxLayout *horizontalLayout_8;
55  QComboBox *comboBox_language;
56  QSpacerItem *horizontalSpacer_3;
57  QLabel *label_8;
58  QCheckBox *cb_prompt_to_exit;
59  QHBoxLayout *horizontalLayout_6;
60  QRadioButton *icon_size_small;
61  QRadioButton *icon_size_normal;
62  QRadioButton *icon_size_large;
63  QSpacerItem *horizontalSpacer_4;
64  QLabel *label_2;
65  QHBoxLayout *horizontalLayout_9;
66  QRadioButton *general_icon_octave;
67  QRadioButton *general_icon_letter;
68  QRadioButton *general_icon_graphic;
69  QSpacerItem *horizontalSpacer_6;
70  QLabel *label_9;
71  QCheckBox *cb_status_bar;
72  QHBoxLayout *horizontalLayout_4;
73  QGridLayout *gridLayout_13;
74  QLabel *label_bgtitle_active;
75  QHBoxLayout *layout_widget_fgtitle;
76  QSpacerItem *horizontalSpacer_22;
77  QLabel *label_fgtitle;
78  QLabel *label_fgtitle_active;
79  QSpacerItem *horizontalSpacer_23;
80  QCheckBox *cb_widget_custom_style;
81  QHBoxLayout *layout_widget_bgtitle;
82  QLabel *label_bgtitle;
83  QHBoxLayout *layout_widget_bgtitle_active;
84  QHBoxLayout *layout_widget_fgtitle_active;
85  QLabel *label_3d_title;
86  QSpinBox *sb_3d_title;
87  QSpacerItem *horizontalSpacer_21;
88  QGroupBox *groupBox_2;
89  QVBoxLayout *verticalLayout_22;
90  QLabel *label_18;
91  QGridLayout *gridLayout_9;
92  QSpacerItem *horizontalSpacer;
93  QSpacerItem *horizontalSpacer_5;
94  QLabel *label_17;
95  QPushButton *pb_octave_dir;
96  QCheckBox *cb_restore_octave_dir;
97  QLineEdit *le_octave_dir;
98  QSpacerItem *verticalSpacer;
99  QWidget *tab_editor;
100  QVBoxLayout *verticalLayout_6;
101  QScrollArea *scrollArea;
102  QWidget *scrollAreaWidgetContents;
103  QVBoxLayout *verticalLayout_16;
104  QGroupBox *groupBox_5;
105  QVBoxLayout *verticalLayout_13;
106  QGridLayout *editor_common_settings_grid;
107  QCheckBox *editor_highlightCurrentLine;
108  QHBoxLayout *horizontalLayout_3;
109  QLabel *editor_long_line_column_text;
110  QSpinBox *editor_long_line_column;
111  QSpacerItem *horizontalSpacer_7;
112  QCheckBox *editor_ws_checkbox;
113  QCheckBox *editor_showLineNumbers;
114  QCheckBox *editor_longWindowTitle;
115  QCheckBox *editor_ws_indent_checkbox;
116  QGridLayout *editor_grid_current_line;
117  QLabel *editor_label_cl_color;
118  QSpacerItem *horizontalSpacer_11;
119  QSpacerItem *horizontalSpacer_9;
120  QGridLayout *gridLayout_6;
121  QLabel *editor_lbl_min_tab_width;
122  QSpinBox *editor_notebook_tab_width_min;
123  QSpacerItem *horizontalSpacer_25;
124  QSpinBox *editor_notebook_tab_width_max;
125  QLabel *editor_lbl_max_tab_width;
126  QSpacerItem *horizontalSpacer_24;
127  QCheckBox *editor_long_line_marker;
128  QCheckBox *cb_code_folding;
129  QCheckBox *cb_edit_status_bar;
130  QCheckBox *cb_show_eol;
131  QHBoxLayout *horizontalLayout_17;
132  QLabel *label_22;
133  QComboBox *combo_eol_mode;
134  QSpacerItem *horizontalSpacer_17;
135  QCheckBox *cb_show_hscrollbar;
136  QHBoxLayout *horizontalLayout;
137  QCheckBox *useCustomFileEditor;
138  QLabel *customEditorLabel;
139  QLineEdit *customFileEditor;
140  QSpacerItem *horizontalSpacer_12;
141  QGroupBox *groupBox_6;
142  QVBoxLayout *verticalLayout_28;
143  QGridLayout *gridLayout_4;
144  QSpacerItem *horizontalSpacer_14;
145  QLabel *label_13;
146  QCheckBox *editor_tab_ind_checkbox;
147  QCheckBox *editor_auto_ind_checkbox;
148  QSpinBox *editor_ind_width_spinbox;
149  QLabel *label_14;
150  QCheckBox *editor_ind_guides_checkbox;
151  QSpinBox *editor_tab_width_spinbox;
152  QCheckBox *editor_bs_unind_checkbox;
153  QSpacerItem *horizontalSpacer_10;
154  QCheckBox *editor_ind_uses_tabs_checkbox;
155  QSpacerItem *horizontalSpacer_20;
156  QSpacerItem *horizontalSpacer_13;
157  QGroupBox *groupBox_7;
158  QVBoxLayout *verticalLayout_29;
159  QGridLayout *gridLayout_3;
160  QSpacerItem *horizontalSpacer_15;
161  QCheckBox *editor_checkbox_ac_keywords;
162  QCheckBox *editor_checkbox_ac_case;
163  QCheckBox *editor_checkbox_ac_document;
164  QCheckBox *editor_checkbox_ac_replace;
165  QSpacerItem *horizontalSpacer_8;
166  QSpacerItem *horizontalSpacer_19;
167  QHBoxLayout *horizontalLayout_14;
168  QCheckBox *editor_checkbox_ac_builtins;
169  QCheckBox *editor_checkbox_ac_functions;
170  QGridLayout *gridLayout_10;
171  QLabel *editor_label_ac_threshold;
172  QSpinBox *editor_spinbox_ac_threshold;
173  QSpacerItem *horizontalSpacer_2;
174  QCheckBox *editor_codeCompletion;
175  QSpacerItem *horizontalSpacer_31;
176  QGroupBox *groupBox_8;
177  QVBoxLayout *verticalLayout_30;
178  QVBoxLayout *verticalLayout_11;
179  QCheckBox *editor_restoreSession;
180  QCheckBox *editor_create_new_file;
181  QCheckBox *editor_reload_changed_files;
182  QSpacerItem *verticalSpacer_7;
183  QWidget *tab_editor_styles;
184  QVBoxLayout *verticalLayout_12;
185  QVBoxLayout *verticalLayout_5;
186  QLabel *label_10;
187  QTabWidget *tabs_editor_lexers;
188  QWidget *tab_terminal;
189  QVBoxLayout *verticalLayout_14;
190  QScrollArea *scrollArea_3;
191  QWidget *scrollAreaWidgetContents_4;
192  QVBoxLayout *verticalLayout_7;
193  QVBoxLayout *verticalLayout_8;
194  QGridLayout *gridLayout_7;
195  QHBoxLayout *horizontalLayout_13;
196  QCheckBox *terminal_cursorUseForegroundColor;
197  QCheckBox *terminal_cursorBlinking;
198  QHBoxLayout *horizontalLayout_7;
199  QLabel *label;
200  QComboBox *terminal_cursorType;
201  QHBoxLayout *horizontalLayout_11;
202  QLabel *label_11;
203  QFontComboBox *terminal_fontName;
204  QHBoxLayout *horizontalLayout_12;
205  QLabel *label_12;
206  QSpinBox *terminal_fontSize;
207  QSpacerItem *horizontalSpacer_27;
208  QHBoxLayout *horizontalLayout_5;
209  QSpinBox *terminal_history_buffer;
210  QLabel *label_20;
211  QSpacerItem *horizontalSpacer_16;
212  QLabel *label_19;
213  QSpacerItem *horizontalSpacer_28;
214  QGridLayout *gridLayout_15;
215  QCheckBox *terminal_focus_command;
216  QCheckBox *terminal_print_dbg_location;
217  QFrame *line_7;
218  QGroupBox *terminal_colors_box;
219  QFrame *line_5;
220  QFrame *line_6;
221  QSpacerItem *verticalSpacer_3;
222  QWidget *tab_file_browser;
223  QVBoxLayout *verticalLayout_3;
224  QScrollArea *scrollArea_4;
225  QWidget *scrollAreaWidgetContents_5;
226  QVBoxLayout *verticalLayout_18;
227  QGroupBox *groupBox_3;
228  QVBoxLayout *verticalLayout_23;
229  QGridLayout *gridLayout_11;
230  QCheckBox *showFileType;
231  QCheckBox *showHiddenFiles;
232  QCheckBox *showFileSize;
233  QCheckBox *showLastModified;
234  QCheckBox *useAlternatingRowColors;
235  QGroupBox *groupBox_4;
236  QVBoxLayout *verticalLayout_24;
237  QGridLayout *gridLayout_8;
238  QCheckBox *sync_octave_directory;
239  QGridLayout *lo_file_browser_startup;
240  QLabel *lbl_file_browser_dir;
241  QLineEdit *le_file_browser_dir;
242  QCheckBox *cb_restore_file_browser_dir;
243  QPushButton *pb_file_browser_dir;
244  QSpacerItem *horizontalSpacer_29;
245  QSpacerItem *horizontalSpacer_30;
246  QSpacerItem *verticalSpacer_2;
247  QWidget *tab_workspace;
248  QVBoxLayout *verticalLayout_15;
249  QScrollArea *scrollArea_5;
250  QWidget *scrollAreaWidgetContents_6;
251  QVBoxLayout *verticalLayout_19;
252  QGridLayout *gridLayout_14;
253  QGroupBox *workspace_colors_box;
254  QCheckBox *cb_hide_tool_tips;
255  QSpacerItem *verticalSpacer_6;
256  QWidget *tab_shortcuts;
257  QVBoxLayout *verticalLayout_27;
258  QScrollArea *scrollArea_7;
259  QWidget *scrollAreaWidgetContents_8;
260  QVBoxLayout *verticalLayout_25;
261  QVBoxLayout *verticalLayout_26;
262  QHBoxLayout *horizontalLayout_15;
263  QCheckBox *cb_prevent_readline_conflicts;
264  QFrame *line_9;
265  QGridLayout *gridLayout_12;
266  QHBoxLayout *horizontalLayout_16;
267  QRadioButton *rb_sc_set2;
268  QLabel *label_23;
269  QPushButton *btn_export_shortcut_set2;
270  QPushButton *btn_import_shortcut_set2;
271  QRadioButton *rb_sc_set1;
272  QSpacerItem *horizontalSpacer_26;
273  QPushButton *btn_export_shortcut_set1;
274  QPushButton *btn_import_shortcut_set1;
275  QLabel *label_24;
276  QSpacerItem *horizontalSpacer_33;
277  QLabel *label_21;
278  QHBoxLayout *horizontalLayout_10;
279  QTreeWidget *shortcuts_treewidget;
280  QWidget *tab_network;
281  QVBoxLayout *verticalLayout_4;
282  QScrollArea *scrollArea_6;
283  QWidget *scrollAreaWidgetContents_7;
284  QVBoxLayout *verticalLayout_20;
285  QVBoxLayout *verticalLayout;
286  QCheckBox *checkbox_allow_web_connect;
287  QGridLayout *gridLayout_5;
288  QLabel *label_4;
289  QComboBox *proxyType;
290  QLabel *label_6;
291  QCheckBox *useProxyServer;
292  QLabel *label_3;
293  QLabel *label_5;
294  QLabel *label_7;
295  QLineEdit *proxyHostName;
296  QLineEdit *proxyPort;
297  QLineEdit *proxyUserName;
298  QLineEdit *proxyPassword;
299  QSpacerItem *verticalSpacer_5;
300  QDialogButtonBox *button_box;
301 
302  void setupUi(QDialog *settings_dialog)
303  {
304  if (settings_dialog->objectName().isEmpty())
305  settings_dialog->setObjectName(QString::fromUtf8("settings_dialog"));
306  settings_dialog->setWindowModality(Qt::ApplicationModal);
307  settings_dialog->resize(720, 480);
308  settings_dialog->setMinimumSize(QSize(400, 400));
309  verticalLayout_2 = new QVBoxLayout(settings_dialog);
310  verticalLayout_2->setObjectName(QString::fromUtf8("verticalLayout_2"));
311  tabWidget = new QTabWidget(settings_dialog);
312  tabWidget->setObjectName(QString::fromUtf8("tabWidget"));
313  tabWidget->setMinimumSize(QSize(0, 0));
314  tab_general = new QWidget();
315  tab_general->setObjectName(QString::fromUtf8("tab_general"));
316  tab_general->setEnabled(true);
317  verticalLayout_10 = new QVBoxLayout(tab_general);
318  verticalLayout_10->setObjectName(QString::fromUtf8("verticalLayout_10"));
319  scrollArea_2 = new QScrollArea(tab_general);
320  scrollArea_2->setObjectName(QString::fromUtf8("scrollArea_2"));
321  scrollArea_2->setWidgetResizable(true);
322  scrollAreaWidgetContents_2 = new QWidget();
323  scrollAreaWidgetContents_2->setObjectName(QString::fromUtf8("scrollAreaWidgetContents_2"));
324  scrollAreaWidgetContents_2->setGeometry(QRect(0, -4, 662, 382));
325  verticalLayout_17 = new QVBoxLayout(scrollAreaWidgetContents_2);
326  verticalLayout_17->setObjectName(QString::fromUtf8("verticalLayout_17"));
327  groupBox = new QGroupBox(scrollAreaWidgetContents_2);
328  groupBox->setObjectName(QString::fromUtf8("groupBox"));
329  verticalLayout_21 = new QVBoxLayout(groupBox);
330  verticalLayout_21->setObjectName(QString::fromUtf8("verticalLayout_21"));
331  gridLayout = new QGridLayout();
332  gridLayout->setObjectName(QString::fromUtf8("gridLayout"));
333  label_15 = new QLabel(groupBox);
334  label_15->setObjectName(QString::fromUtf8("label_15"));
335  label_15->setAlignment(Qt::AlignLeading|Qt::AlignLeft|Qt::AlignTop);
336 
337  gridLayout->addWidget(label_15, 4, 0, 1, 1);
338 
339  horizontalLayout_8 = new QHBoxLayout();
340  horizontalLayout_8->setObjectName(QString::fromUtf8("horizontalLayout_8"));
341  comboBox_language = new QComboBox(groupBox);
342  comboBox_language->setObjectName(QString::fromUtf8("comboBox_language"));
343  comboBox_language->setInsertPolicy(QComboBox::InsertAtBottom);
344 
345  horizontalLayout_8->addWidget(comboBox_language);
346 
347  horizontalSpacer_3 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
348 
349  horizontalLayout_8->addItem(horizontalSpacer_3);
350 
351 
352  gridLayout->addLayout(horizontalLayout_8, 1, 1, 1, 1);
353 
354  label_8 = new QLabel(groupBox);
355  label_8->setObjectName(QString::fromUtf8("label_8"));
356  label_8->setAlignment(Qt::AlignLeading|Qt::AlignLeft|Qt::AlignTop);
357 
358  gridLayout->addWidget(label_8, 2, 0, 1, 1);
359 
360  cb_prompt_to_exit = new QCheckBox(groupBox);
361  cb_prompt_to_exit->setObjectName(QString::fromUtf8("cb_prompt_to_exit"));
362 
363  gridLayout->addWidget(cb_prompt_to_exit, 6, 0, 1, 1);
364 
365  horizontalLayout_6 = new QHBoxLayout();
366  horizontalLayout_6->setObjectName(QString::fromUtf8("horizontalLayout_6"));
367  icon_size_small = new QRadioButton(groupBox);
368  icon_size_small->setObjectName(QString::fromUtf8("icon_size_small"));
369 
370  horizontalLayout_6->addWidget(icon_size_small);
371 
372  icon_size_normal = new QRadioButton(groupBox);
373  icon_size_normal->setObjectName(QString::fromUtf8("icon_size_normal"));
374  icon_size_normal->setChecked(true);
375 
376  horizontalLayout_6->addWidget(icon_size_normal);
377 
378  icon_size_large = new QRadioButton(groupBox);
379  icon_size_large->setObjectName(QString::fromUtf8("icon_size_large"));
380 
381  horizontalLayout_6->addWidget(icon_size_large);
382 
383  horizontalSpacer_4 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
384 
385  horizontalLayout_6->addItem(horizontalSpacer_4);
386 
387 
388  gridLayout->addLayout(horizontalLayout_6, 2, 1, 1, 1);
389 
390  label_2 = new QLabel(groupBox);
391  label_2->setObjectName(QString::fromUtf8("label_2"));
392 
393  gridLayout->addWidget(label_2, 1, 0, 1, 1);
394 
395  horizontalLayout_9 = new QHBoxLayout();
396  horizontalLayout_9->setObjectName(QString::fromUtf8("horizontalLayout_9"));
397  general_icon_octave = new QRadioButton(groupBox);
398  general_icon_octave->setObjectName(QString::fromUtf8("general_icon_octave"));
399  general_icon_octave->setChecked(true);
400 
401  horizontalLayout_9->addWidget(general_icon_octave);
402 
403  general_icon_letter = new QRadioButton(groupBox);
404  general_icon_letter->setObjectName(QString::fromUtf8("general_icon_letter"));
405 
406  horizontalLayout_9->addWidget(general_icon_letter);
407 
408  general_icon_graphic = new QRadioButton(groupBox);
409  general_icon_graphic->setObjectName(QString::fromUtf8("general_icon_graphic"));
410 
411  horizontalLayout_9->addWidget(general_icon_graphic);
412 
413  horizontalSpacer_6 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
414 
415  horizontalLayout_9->addItem(horizontalSpacer_6);
416 
417 
418  gridLayout->addLayout(horizontalLayout_9, 3, 1, 1, 1);
419 
420  label_9 = new QLabel(groupBox);
421  label_9->setObjectName(QString::fromUtf8("label_9"));
422 
423  gridLayout->addWidget(label_9, 3, 0, 1, 1);
424 
425  cb_status_bar = new QCheckBox(groupBox);
426  cb_status_bar->setObjectName(QString::fromUtf8("cb_status_bar"));
427  cb_status_bar->setChecked(true);
428 
429  gridLayout->addWidget(cb_status_bar, 5, 0, 1, 1);
430 
431  horizontalLayout_4 = new QHBoxLayout();
432  horizontalLayout_4->setObjectName(QString::fromUtf8("horizontalLayout_4"));
433  gridLayout_13 = new QGridLayout();
434  gridLayout_13->setObjectName(QString::fromUtf8("gridLayout_13"));
435  gridLayout_13->setContentsMargins(-1, -1, 0, -1);
436  label_bgtitle_active = new QLabel(groupBox);
437  label_bgtitle_active->setObjectName(QString::fromUtf8("label_bgtitle_active"));
438  label_bgtitle_active->setEnabled(false);
439  label_bgtitle_active->setAlignment(Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter);
440 
441  gridLayout_13->addWidget(label_bgtitle_active, 0, 9, 1, 1);
442 
443  layout_widget_fgtitle = new QHBoxLayout();
444  layout_widget_fgtitle->setObjectName(QString::fromUtf8("layout_widget_fgtitle"));
445 
446  gridLayout_13->addLayout(layout_widget_fgtitle, 1, 4, 1, 1);
447 
448  horizontalSpacer_22 = new QSpacerItem(40, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);
449 
450  gridLayout_13->addItem(horizontalSpacer_22, 0, 1, 1, 1);
451 
452  label_fgtitle = new QLabel(groupBox);
453  label_fgtitle->setObjectName(QString::fromUtf8("label_fgtitle"));
454  label_fgtitle->setEnabled(false);
455  label_fgtitle->setAlignment(Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter);
456 
457  gridLayout_13->addWidget(label_fgtitle, 1, 2, 1, 1);
458 
459  label_fgtitle_active = new QLabel(groupBox);
460  label_fgtitle_active->setObjectName(QString::fromUtf8("label_fgtitle_active"));
461  label_fgtitle_active->setEnabled(false);
462  label_fgtitle_active->setAlignment(Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter);
463 
464  gridLayout_13->addWidget(label_fgtitle_active, 1, 9, 1, 1);
465 
466  horizontalSpacer_23 = new QSpacerItem(12, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);
467 
468  gridLayout_13->addItem(horizontalSpacer_23, 0, 7, 1, 1);
469 
470  cb_widget_custom_style = new QCheckBox(groupBox);
471  cb_widget_custom_style->setObjectName(QString::fromUtf8("cb_widget_custom_style"));
472 
473  gridLayout_13->addWidget(cb_widget_custom_style, 0, 0, 1, 1);
474 
475  layout_widget_bgtitle = new QHBoxLayout();
476  layout_widget_bgtitle->setObjectName(QString::fromUtf8("layout_widget_bgtitle"));
477 
478  gridLayout_13->addLayout(layout_widget_bgtitle, 0, 4, 1, 1);
479 
480  label_bgtitle = new QLabel(groupBox);
481  label_bgtitle->setObjectName(QString::fromUtf8("label_bgtitle"));
482  label_bgtitle->setEnabled(false);
483  label_bgtitle->setAlignment(Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter);
484 
485  gridLayout_13->addWidget(label_bgtitle, 0, 2, 1, 1);
486 
487  layout_widget_bgtitle_active = new QHBoxLayout();
488  layout_widget_bgtitle_active->setObjectName(QString::fromUtf8("layout_widget_bgtitle_active"));
489 
490  gridLayout_13->addLayout(layout_widget_bgtitle_active, 0, 10, 1, 1);
491 
492  layout_widget_fgtitle_active = new QHBoxLayout();
493  layout_widget_fgtitle_active->setObjectName(QString::fromUtf8("layout_widget_fgtitle_active"));
494 
495  gridLayout_13->addLayout(layout_widget_fgtitle_active, 1, 10, 1, 1);
496 
497  label_3d_title = new QLabel(groupBox);
498  label_3d_title->setObjectName(QString::fromUtf8("label_3d_title"));
499  label_3d_title->setEnabled(false);
500  label_3d_title->setAlignment(Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter);
501 
502  gridLayout_13->addWidget(label_3d_title, 1, 0, 1, 1);
503 
504  sb_3d_title = new QSpinBox(groupBox);
505  sb_3d_title->setObjectName(QString::fromUtf8("sb_3d_title"));
506  sb_3d_title->setEnabled(false);
507  QSizePolicy sizePolicy(QSizePolicy::Preferred, QSizePolicy::Preferred);
508  sizePolicy.setHorizontalStretch(0);
509  sizePolicy.setVerticalStretch(0);
510  sizePolicy.setHeightForWidth(sb_3d_title->sizePolicy().hasHeightForWidth());
511  sb_3d_title->setSizePolicy(sizePolicy);
512  sb_3d_title->setMinimum(-80);
513  sb_3d_title->setMaximum(80);
514  sb_3d_title->setValue(50);
515 
516  gridLayout_13->addWidget(sb_3d_title, 1, 1, 1, 1);
517 
518 
519  horizontalLayout_4->addLayout(gridLayout_13);
520 
521  horizontalSpacer_21 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
522 
523  horizontalLayout_4->addItem(horizontalSpacer_21);
524 
525 
526  gridLayout->addLayout(horizontalLayout_4, 4, 1, 1, 1);
527 
528 
529  verticalLayout_21->addLayout(gridLayout);
530 
531 
532  verticalLayout_17->addWidget(groupBox);
533 
534  groupBox_2 = new QGroupBox(scrollAreaWidgetContents_2);
535  groupBox_2->setObjectName(QString::fromUtf8("groupBox_2"));
536  verticalLayout_22 = new QVBoxLayout(groupBox_2);
537  verticalLayout_22->setObjectName(QString::fromUtf8("verticalLayout_22"));
538  label_18 = new QLabel(groupBox_2);
539  label_18->setObjectName(QString::fromUtf8("label_18"));
540 
541  verticalLayout_22->addWidget(label_18);
542 
543  gridLayout_9 = new QGridLayout();
544  gridLayout_9->setObjectName(QString::fromUtf8("gridLayout_9"));
545  horizontalSpacer = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
546 
547  gridLayout_9->addItem(horizontalSpacer, 0, 5, 1, 1);
548 
549  horizontalSpacer_5 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
550 
551  gridLayout_9->addItem(horizontalSpacer_5, 1, 5, 1, 1);
552 
553  label_17 = new QLabel(groupBox_2);
554  label_17->setObjectName(QString::fromUtf8("label_17"));
555 
556  gridLayout_9->addWidget(label_17, 0, 0, 1, 1);
557 
558  pb_octave_dir = new QPushButton(groupBox_2);
559  pb_octave_dir->setObjectName(QString::fromUtf8("pb_octave_dir"));
560  QSizePolicy sizePolicy1(QSizePolicy::Minimum, QSizePolicy::Minimum);
561  sizePolicy1.setHorizontalStretch(0);
562  sizePolicy1.setVerticalStretch(0);
563  sizePolicy1.setHeightForWidth(pb_octave_dir->sizePolicy().hasHeightForWidth());
564  pb_octave_dir->setSizePolicy(sizePolicy1);
565 
566  gridLayout_9->addWidget(pb_octave_dir, 1, 3, 1, 1);
567 
568  cb_restore_octave_dir = new QCheckBox(groupBox_2);
569  cb_restore_octave_dir->setObjectName(QString::fromUtf8("cb_restore_octave_dir"));
570 
571  gridLayout_9->addWidget(cb_restore_octave_dir, 0, 1, 1, 1);
572 
573  le_octave_dir = new QLineEdit(groupBox_2);
574  le_octave_dir->setObjectName(QString::fromUtf8("le_octave_dir"));
575 
576  gridLayout_9->addWidget(le_octave_dir, 1, 1, 1, 1);
577 
578 
579  verticalLayout_22->addLayout(gridLayout_9);
580 
581 
582  verticalLayout_17->addWidget(groupBox_2);
583 
584  verticalSpacer = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
585 
586  verticalLayout_17->addItem(verticalSpacer);
587 
588  scrollArea_2->setWidget(scrollAreaWidgetContents_2);
589 
590  verticalLayout_10->addWidget(scrollArea_2);
591 
592  tabWidget->addTab(tab_general, QString());
593  tab_editor = new QWidget();
594  tab_editor->setObjectName(QString::fromUtf8("tab_editor"));
595  verticalLayout_6 = new QVBoxLayout(tab_editor);
596  verticalLayout_6->setObjectName(QString::fromUtf8("verticalLayout_6"));
597  scrollArea = new QScrollArea(tab_editor);
598  scrollArea->setObjectName(QString::fromUtf8("scrollArea"));
599  scrollArea->setWidgetResizable(true);
600  scrollAreaWidgetContents = new QWidget();
601  scrollAreaWidgetContents->setObjectName(QString::fromUtf8("scrollAreaWidgetContents"));
602  scrollAreaWidgetContents->setGeometry(QRect(0, 0, 662, 751));
603  verticalLayout_16 = new QVBoxLayout(scrollAreaWidgetContents);
604  verticalLayout_16->setObjectName(QString::fromUtf8("verticalLayout_16"));
605  groupBox_5 = new QGroupBox(scrollAreaWidgetContents);
606  groupBox_5->setObjectName(QString::fromUtf8("groupBox_5"));
607  verticalLayout_13 = new QVBoxLayout(groupBox_5);
608  verticalLayout_13->setObjectName(QString::fromUtf8("verticalLayout_13"));
609  editor_common_settings_grid = new QGridLayout();
610  editor_common_settings_grid->setObjectName(QString::fromUtf8("editor_common_settings_grid"));
611  editor_highlightCurrentLine = new QCheckBox(groupBox_5);
612  editor_highlightCurrentLine->setObjectName(QString::fromUtf8("editor_highlightCurrentLine"));
613  editor_highlightCurrentLine->setEnabled(true);
614  QSizePolicy sizePolicy2(QSizePolicy::Minimum, QSizePolicy::Preferred);
615  sizePolicy2.setHorizontalStretch(0);
616  sizePolicy2.setVerticalStretch(0);
617  sizePolicy2.setHeightForWidth(editor_highlightCurrentLine->sizePolicy().hasHeightForWidth());
618  editor_highlightCurrentLine->setSizePolicy(sizePolicy2);
619 
620  editor_common_settings_grid->addWidget(editor_highlightCurrentLine, 5, 0, 1, 1);
621 
622  horizontalLayout_3 = new QHBoxLayout();
623  horizontalLayout_3->setObjectName(QString::fromUtf8("horizontalLayout_3"));
624  editor_long_line_column_text = new QLabel(groupBox_5);
625  editor_long_line_column_text->setObjectName(QString::fromUtf8("editor_long_line_column_text"));
626 
627  horizontalLayout_3->addWidget(editor_long_line_column_text);
628 
629  editor_long_line_column = new QSpinBox(groupBox_5);
630  editor_long_line_column->setObjectName(QString::fromUtf8("editor_long_line_column"));
631  sizePolicy.setHeightForWidth(editor_long_line_column->sizePolicy().hasHeightForWidth());
632  editor_long_line_column->setSizePolicy(sizePolicy);
633  editor_long_line_column->setMinimum(2);
634  editor_long_line_column->setMaximum(256);
635  editor_long_line_column->setValue(80);
636 
637  horizontalLayout_3->addWidget(editor_long_line_column);
638 
639  horizontalSpacer_7 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
640 
641  horizontalLayout_3->addItem(horizontalSpacer_7);
642 
643 
644  editor_common_settings_grid->addLayout(horizontalLayout_3, 6, 2, 1, 1);
645 
646  editor_ws_checkbox = new QCheckBox(groupBox_5);
647  editor_ws_checkbox->setObjectName(QString::fromUtf8("editor_ws_checkbox"));
648  sizePolicy2.setHeightForWidth(editor_ws_checkbox->sizePolicy().hasHeightForWidth());
649  editor_ws_checkbox->setSizePolicy(sizePolicy2);
650 
651  editor_common_settings_grid->addWidget(editor_ws_checkbox, 3, 0, 1, 1);
652 
653  editor_showLineNumbers = new QCheckBox(groupBox_5);
654  editor_showLineNumbers->setObjectName(QString::fromUtf8("editor_showLineNumbers"));
655  editor_showLineNumbers->setEnabled(true);
656  sizePolicy2.setHeightForWidth(editor_showLineNumbers->sizePolicy().hasHeightForWidth());
657  editor_showLineNumbers->setSizePolicy(sizePolicy2);
658 
659  editor_common_settings_grid->addWidget(editor_showLineNumbers, 2, 0, 1, 1);
660 
661  editor_longWindowTitle = new QCheckBox(groupBox_5);
662  editor_longWindowTitle->setObjectName(QString::fromUtf8("editor_longWindowTitle"));
663  sizePolicy.setHeightForWidth(editor_longWindowTitle->sizePolicy().hasHeightForWidth());
664  editor_longWindowTitle->setSizePolicy(sizePolicy);
665 
666  editor_common_settings_grid->addWidget(editor_longWindowTitle, 1, 0, 1, 1);
667 
668  editor_ws_indent_checkbox = new QCheckBox(groupBox_5);
669  editor_ws_indent_checkbox->setObjectName(QString::fromUtf8("editor_ws_indent_checkbox"));
670  editor_ws_indent_checkbox->setEnabled(false);
671 
672  editor_common_settings_grid->addWidget(editor_ws_indent_checkbox, 3, 2, 1, 1);
673 
674  editor_grid_current_line = new QGridLayout();
675  editor_grid_current_line->setObjectName(QString::fromUtf8("editor_grid_current_line"));
676  editor_grid_current_line->setHorizontalSpacing(12);
677  editor_grid_current_line->setVerticalSpacing(0);
678  editor_label_cl_color = new QLabel(groupBox_5);
679  editor_label_cl_color->setObjectName(QString::fromUtf8("editor_label_cl_color"));
680  editor_label_cl_color->setEnabled(false);
681 
682  editor_grid_current_line->addWidget(editor_label_cl_color, 0, 1, 1, 1);
683 
684  horizontalSpacer_11 = new QSpacerItem(80, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);
685 
686  editor_grid_current_line->addItem(horizontalSpacer_11, 0, 3, 1, 1);
687 
688  horizontalSpacer_9 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
689 
690  editor_grid_current_line->addItem(horizontalSpacer_9, 0, 4, 1, 1);
691 
692 
693  editor_common_settings_grid->addLayout(editor_grid_current_line, 5, 2, 1, 1);
694 
695  gridLayout_6 = new QGridLayout();
696  gridLayout_6->setObjectName(QString::fromUtf8("gridLayout_6"));
697  editor_lbl_min_tab_width = new QLabel(groupBox_5);
698  editor_lbl_min_tab_width->setObjectName(QString::fromUtf8("editor_lbl_min_tab_width"));
699 
700  gridLayout_6->addWidget(editor_lbl_min_tab_width, 0, 0, 1, 1);
701 
702  editor_notebook_tab_width_min = new QSpinBox(groupBox_5);
703  editor_notebook_tab_width_min->setObjectName(QString::fromUtf8("editor_notebook_tab_width_min"));
704  sizePolicy.setHeightForWidth(editor_notebook_tab_width_min->sizePolicy().hasHeightForWidth());
705  editor_notebook_tab_width_min->setSizePolicy(sizePolicy);
706  editor_notebook_tab_width_min->setMinimum(80);
707  editor_notebook_tab_width_min->setMaximum(600);
708  editor_notebook_tab_width_min->setSingleStep(20);
709  editor_notebook_tab_width_min->setValue(160);
710 
711  gridLayout_6->addWidget(editor_notebook_tab_width_min, 0, 3, 1, 1);
712 
713  horizontalSpacer_25 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
714 
715  gridLayout_6->addItem(horizontalSpacer_25, 0, 6, 1, 1);
716 
717  editor_notebook_tab_width_max = new QSpinBox(groupBox_5);
718  editor_notebook_tab_width_max->setObjectName(QString::fromUtf8("editor_notebook_tab_width_max"));
719  sizePolicy.setHeightForWidth(editor_notebook_tab_width_max->sizePolicy().hasHeightForWidth());
720  editor_notebook_tab_width_max->setSizePolicy(sizePolicy);
721  editor_notebook_tab_width_max->setMinimum(180);
722  editor_notebook_tab_width_max->setMaximum(600);
723  editor_notebook_tab_width_max->setSingleStep(20);
724  editor_notebook_tab_width_max->setValue(300);
725 
726  gridLayout_6->addWidget(editor_notebook_tab_width_max, 0, 5, 1, 1);
727 
728  editor_lbl_max_tab_width = new QLabel(groupBox_5);
729  editor_lbl_max_tab_width->setObjectName(QString::fromUtf8("editor_lbl_max_tab_width"));
730 
731  gridLayout_6->addWidget(editor_lbl_max_tab_width, 0, 4, 1, 1);
732 
733 
734  editor_common_settings_grid->addLayout(gridLayout_6, 1, 2, 1, 1);
735 
736  horizontalSpacer_24 = new QSpacerItem(10, 0, QSizePolicy::Fixed, QSizePolicy::Minimum);
737 
738  editor_common_settings_grid->addItem(horizontalSpacer_24, 1, 1, 1, 1);
739 
740  editor_long_line_marker = new QCheckBox(groupBox_5);
741  editor_long_line_marker->setObjectName(QString::fromUtf8("editor_long_line_marker"));
742  sizePolicy2.setHeightForWidth(editor_long_line_marker->sizePolicy().hasHeightForWidth());
743  editor_long_line_marker->setSizePolicy(sizePolicy2);
744  editor_long_line_marker->setChecked(true);
745 
746  editor_common_settings_grid->addWidget(editor_long_line_marker, 6, 0, 1, 1);
747 
748  cb_code_folding = new QCheckBox(groupBox_5);
749  cb_code_folding->setObjectName(QString::fromUtf8("cb_code_folding"));
750  sizePolicy2.setHeightForWidth(cb_code_folding->sizePolicy().hasHeightForWidth());
751  cb_code_folding->setSizePolicy(sizePolicy2);
752  cb_code_folding->setChecked(true);
753 
754  editor_common_settings_grid->addWidget(cb_code_folding, 7, 0, 1, 1);
755 
756  cb_edit_status_bar = new QCheckBox(groupBox_5);
757  cb_edit_status_bar->setObjectName(QString::fromUtf8("cb_edit_status_bar"));
758  sizePolicy2.setHeightForWidth(cb_edit_status_bar->sizePolicy().hasHeightForWidth());
759  cb_edit_status_bar->setSizePolicy(sizePolicy2);
760  cb_edit_status_bar->setChecked(true);
761 
762  editor_common_settings_grid->addWidget(cb_edit_status_bar, 8, 0, 1, 1);
763 
764  cb_show_eol = new QCheckBox(groupBox_5);
765  cb_show_eol->setObjectName(QString::fromUtf8("cb_show_eol"));
766  sizePolicy2.setHeightForWidth(cb_show_eol->sizePolicy().hasHeightForWidth());
767  cb_show_eol->setSizePolicy(sizePolicy2);
768 
769  editor_common_settings_grid->addWidget(cb_show_eol, 4, 0, 1, 1);
770 
771  horizontalLayout_17 = new QHBoxLayout();
772  horizontalLayout_17->setObjectName(QString::fromUtf8("horizontalLayout_17"));
773  label_22 = new QLabel(groupBox_5);
774  label_22->setObjectName(QString::fromUtf8("label_22"));
775 
776  horizontalLayout_17->addWidget(label_22);
777 
778  combo_eol_mode = new QComboBox(groupBox_5);
779  combo_eol_mode->setObjectName(QString::fromUtf8("combo_eol_mode"));
780  sizePolicy.setHeightForWidth(combo_eol_mode->sizePolicy().hasHeightForWidth());
781  combo_eol_mode->setSizePolicy(sizePolicy);
782  combo_eol_mode->setSizeAdjustPolicy(QComboBox::AdjustToContents);
783  combo_eol_mode->setMinimumContentsLength(7);
784 
785  horizontalLayout_17->addWidget(combo_eol_mode);
786 
787  horizontalSpacer_17 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
788 
789  horizontalLayout_17->addItem(horizontalSpacer_17);
790 
791 
792  editor_common_settings_grid->addLayout(horizontalLayout_17, 4, 2, 1, 1);
793 
794  cb_show_hscrollbar = new QCheckBox(groupBox_5);
795  cb_show_hscrollbar->setObjectName(QString::fromUtf8("cb_show_hscrollbar"));
796  cb_show_hscrollbar->setEnabled(true);
797  sizePolicy2.setHeightForWidth(cb_show_hscrollbar->sizePolicy().hasHeightForWidth());
798  cb_show_hscrollbar->setSizePolicy(sizePolicy2);
799  cb_show_hscrollbar->setChecked(true);
800 
801  editor_common_settings_grid->addWidget(cb_show_hscrollbar, 9, 0, 1, 1);
802 
803 
804  verticalLayout_13->addLayout(editor_common_settings_grid);
805 
806  horizontalLayout = new QHBoxLayout();
807  horizontalLayout->setObjectName(QString::fromUtf8("horizontalLayout"));
808  useCustomFileEditor = new QCheckBox(groupBox_5);
809  useCustomFileEditor->setObjectName(QString::fromUtf8("useCustomFileEditor"));
810  useCustomFileEditor->setEnabled(true);
811  QSizePolicy sizePolicy3(QSizePolicy::Preferred, QSizePolicy::Fixed);
812  sizePolicy3.setHorizontalStretch(0);
813  sizePolicy3.setVerticalStretch(0);
814  sizePolicy3.setHeightForWidth(useCustomFileEditor->sizePolicy().hasHeightForWidth());
815  useCustomFileEditor->setSizePolicy(sizePolicy3);
816 
817  horizontalLayout->addWidget(useCustomFileEditor);
818 
819  customEditorLabel = new QLabel(groupBox_5);
820  customEditorLabel->setObjectName(QString::fromUtf8("customEditorLabel"));
821  customEditorLabel->setEnabled(false);
822 
823  horizontalLayout->addWidget(customEditorLabel);
824 
825  customFileEditor = new QLineEdit(groupBox_5);
826  customFileEditor->setObjectName(QString::fromUtf8("customFileEditor"));
827  customFileEditor->setEnabled(false);
828 
829  horizontalLayout->addWidget(customFileEditor);
830 
831  horizontalSpacer_12 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
832 
833  horizontalLayout->addItem(horizontalSpacer_12);
834 
835 
836  verticalLayout_13->addLayout(horizontalLayout);
837 
838 
839  verticalLayout_16->addWidget(groupBox_5);
840 
841  groupBox_6 = new QGroupBox(scrollAreaWidgetContents);
842  groupBox_6->setObjectName(QString::fromUtf8("groupBox_6"));
843  verticalLayout_28 = new QVBoxLayout(groupBox_6);
844  verticalLayout_28->setObjectName(QString::fromUtf8("verticalLayout_28"));
845  gridLayout_4 = new QGridLayout();
846  gridLayout_4->setObjectName(QString::fromUtf8("gridLayout_4"));
847  horizontalSpacer_14 = new QSpacerItem(10, 0, QSizePolicy::Fixed, QSizePolicy::Minimum);
848 
849  gridLayout_4->addItem(horizontalSpacer_14, 0, 5, 1, 1);
850 
851  label_13 = new QLabel(groupBox_6);
852  label_13->setObjectName(QString::fromUtf8("label_13"));
853 
854  gridLayout_4->addWidget(label_13, 0, 0, 1, 1);
855 
856  editor_tab_ind_checkbox = new QCheckBox(groupBox_6);
857  editor_tab_ind_checkbox->setObjectName(QString::fromUtf8("editor_tab_ind_checkbox"));
858 
859  gridLayout_4->addWidget(editor_tab_ind_checkbox, 2, 4, 1, 1);
860 
861  editor_auto_ind_checkbox = new QCheckBox(groupBox_6);
862  editor_auto_ind_checkbox->setObjectName(QString::fromUtf8("editor_auto_ind_checkbox"));
863 
864  gridLayout_4->addWidget(editor_auto_ind_checkbox, 0, 4, 1, 1);
865 
866  editor_ind_width_spinbox = new QSpinBox(groupBox_6);
867  editor_ind_width_spinbox->setObjectName(QString::fromUtf8("editor_ind_width_spinbox"));
868  sizePolicy.setHeightForWidth(editor_ind_width_spinbox->sizePolicy().hasHeightForWidth());
869  editor_ind_width_spinbox->setSizePolicy(sizePolicy);
870  editor_ind_width_spinbox->setMinimum(1);
871  editor_ind_width_spinbox->setMaximum(32);
872  editor_ind_width_spinbox->setValue(2);
873 
874  gridLayout_4->addWidget(editor_ind_width_spinbox, 0, 2, 1, 1);
875 
876  label_14 = new QLabel(groupBox_6);
877  label_14->setObjectName(QString::fromUtf8("label_14"));
878 
879  gridLayout_4->addWidget(label_14, 2, 0, 1, 1);
880 
881  editor_ind_guides_checkbox = new QCheckBox(groupBox_6);
882  editor_ind_guides_checkbox->setObjectName(QString::fromUtf8("editor_ind_guides_checkbox"));
883 
884  gridLayout_4->addWidget(editor_ind_guides_checkbox, 0, 6, 1, 1);
885 
886  editor_tab_width_spinbox = new QSpinBox(groupBox_6);
887  editor_tab_width_spinbox->setObjectName(QString::fromUtf8("editor_tab_width_spinbox"));
888  sizePolicy.setHeightForWidth(editor_tab_width_spinbox->sizePolicy().hasHeightForWidth());
889  editor_tab_width_spinbox->setSizePolicy(sizePolicy);
890  editor_tab_width_spinbox->setMinimum(1);
891  editor_tab_width_spinbox->setMaximum(32);
892 
893  gridLayout_4->addWidget(editor_tab_width_spinbox, 2, 2, 1, 1);
894 
895  editor_bs_unind_checkbox = new QCheckBox(groupBox_6);
896  editor_bs_unind_checkbox->setObjectName(QString::fromUtf8("editor_bs_unind_checkbox"));
897 
898  gridLayout_4->addWidget(editor_bs_unind_checkbox, 2, 6, 1, 1);
899 
900  horizontalSpacer_10 = new QSpacerItem(10, 0, QSizePolicy::Fixed, QSizePolicy::Minimum);
901 
902  gridLayout_4->addItem(horizontalSpacer_10, 0, 3, 1, 1);
903 
904  editor_ind_uses_tabs_checkbox = new QCheckBox(groupBox_6);
905  editor_ind_uses_tabs_checkbox->setObjectName(QString::fromUtf8("editor_ind_uses_tabs_checkbox"));
906 
907  gridLayout_4->addWidget(editor_ind_uses_tabs_checkbox, 3, 4, 1, 1);
908 
909  horizontalSpacer_20 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
910 
911  gridLayout_4->addItem(horizontalSpacer_20, 2, 10, 1, 1);
912 
913  horizontalSpacer_13 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
914 
915  gridLayout_4->addItem(horizontalSpacer_13, 0, 10, 1, 1);
916 
917 
918  verticalLayout_28->addLayout(gridLayout_4);
919 
920 
921  verticalLayout_16->addWidget(groupBox_6);
922 
923  groupBox_7 = new QGroupBox(scrollAreaWidgetContents);
924  groupBox_7->setObjectName(QString::fromUtf8("groupBox_7"));
925  verticalLayout_29 = new QVBoxLayout(groupBox_7);
926  verticalLayout_29->setObjectName(QString::fromUtf8("verticalLayout_29"));
927  gridLayout_3 = new QGridLayout();
928  gridLayout_3->setObjectName(QString::fromUtf8("gridLayout_3"));
929  horizontalSpacer_15 = new QSpacerItem(10, 0, QSizePolicy::Fixed, QSizePolicy::Minimum);
930 
931  gridLayout_3->addItem(horizontalSpacer_15, 0, 1, 1, 1);
932 
933  editor_checkbox_ac_keywords = new QCheckBox(groupBox_7);
934  editor_checkbox_ac_keywords->setObjectName(QString::fromUtf8("editor_checkbox_ac_keywords"));
935  editor_checkbox_ac_keywords->setEnabled(true);
936  editor_checkbox_ac_keywords->setChecked(true);
937 
938  gridLayout_3->addWidget(editor_checkbox_ac_keywords, 0, 0, 1, 1);
939 
940  editor_checkbox_ac_case = new QCheckBox(groupBox_7);
941  editor_checkbox_ac_case->setObjectName(QString::fromUtf8("editor_checkbox_ac_case"));
942  editor_checkbox_ac_case->setEnabled(true);
943  editor_checkbox_ac_case->setChecked(true);
944 
945  gridLayout_3->addWidget(editor_checkbox_ac_case, 2, 0, 1, 1);
946 
947  editor_checkbox_ac_document = new QCheckBox(groupBox_7);
948  editor_checkbox_ac_document->setObjectName(QString::fromUtf8("editor_checkbox_ac_document"));
949  editor_checkbox_ac_document->setEnabled(true);
950 
951  gridLayout_3->addWidget(editor_checkbox_ac_document, 1, 0, 1, 1);
952 
953  editor_checkbox_ac_replace = new QCheckBox(groupBox_7);
954  editor_checkbox_ac_replace->setObjectName(QString::fromUtf8("editor_checkbox_ac_replace"));
955  editor_checkbox_ac_replace->setEnabled(true);
956 
957  gridLayout_3->addWidget(editor_checkbox_ac_replace, 2, 2, 1, 1);
958 
959  horizontalSpacer_8 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
960 
961  gridLayout_3->addItem(horizontalSpacer_8, 0, 3, 1, 1);
962 
963  horizontalSpacer_19 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
964 
965  gridLayout_3->addItem(horizontalSpacer_19, 2, 3, 1, 1);
966 
967  horizontalLayout_14 = new QHBoxLayout();
968  horizontalLayout_14->setObjectName(QString::fromUtf8("horizontalLayout_14"));
969  editor_checkbox_ac_builtins = new QCheckBox(groupBox_7);
970  editor_checkbox_ac_builtins->setObjectName(QString::fromUtf8("editor_checkbox_ac_builtins"));
971  editor_checkbox_ac_builtins->setEnabled(false);
972 
973  horizontalLayout_14->addWidget(editor_checkbox_ac_builtins);
974 
975  editor_checkbox_ac_functions = new QCheckBox(groupBox_7);
976  editor_checkbox_ac_functions->setObjectName(QString::fromUtf8("editor_checkbox_ac_functions"));
977  editor_checkbox_ac_functions->setEnabled(false);
978 
979  horizontalLayout_14->addWidget(editor_checkbox_ac_functions);
980 
981 
982  gridLayout_3->addLayout(horizontalLayout_14, 0, 2, 1, 1);
983 
984 
985  verticalLayout_29->addLayout(gridLayout_3);
986 
987  gridLayout_10 = new QGridLayout();
988  gridLayout_10->setObjectName(QString::fromUtf8("gridLayout_10"));
989  editor_label_ac_threshold = new QLabel(groupBox_7);
990  editor_label_ac_threshold->setObjectName(QString::fromUtf8("editor_label_ac_threshold"));
991  editor_label_ac_threshold->setEnabled(false);
992 
993  gridLayout_10->addWidget(editor_label_ac_threshold, 0, 2, 1, 1);
994 
995  editor_spinbox_ac_threshold = new QSpinBox(groupBox_7);
996  editor_spinbox_ac_threshold->setObjectName(QString::fromUtf8("editor_spinbox_ac_threshold"));
997  editor_spinbox_ac_threshold->setEnabled(false);
998  editor_spinbox_ac_threshold->setMinimum(1);
999  editor_spinbox_ac_threshold->setMaximum(6);
1000  editor_spinbox_ac_threshold->setValue(2);
1001 
1002  gridLayout_10->addWidget(editor_spinbox_ac_threshold, 0, 3, 1, 1);
1003 
1004  horizontalSpacer_2 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
1005 
1006  gridLayout_10->addItem(horizontalSpacer_2, 0, 4, 1, 1);
1007 
1008  editor_codeCompletion = new QCheckBox(groupBox_7);
1009  editor_codeCompletion->setObjectName(QString::fromUtf8("editor_codeCompletion"));
1010  editor_codeCompletion->setEnabled(true);
1011  editor_codeCompletion->setChecked(false);
1012 
1013  gridLayout_10->addWidget(editor_codeCompletion, 0, 0, 1, 1);
1014 
1015  horizontalSpacer_31 = new QSpacerItem(10, 0, QSizePolicy::Fixed, QSizePolicy::Minimum);
1016 
1017  gridLayout_10->addItem(horizontalSpacer_31, 0, 1, 1, 1);
1018 
1019 
1020  verticalLayout_29->addLayout(gridLayout_10);
1021 
1022 
1023  verticalLayout_16->addWidget(groupBox_7);
1024 
1025  groupBox_8 = new QGroupBox(scrollAreaWidgetContents);
1026  groupBox_8->setObjectName(QString::fromUtf8("groupBox_8"));
1027  verticalLayout_30 = new QVBoxLayout(groupBox_8);
1028  verticalLayout_30->setObjectName(QString::fromUtf8("verticalLayout_30"));
1029  verticalLayout_11 = new QVBoxLayout();
1030  verticalLayout_11->setObjectName(QString::fromUtf8("verticalLayout_11"));
1031  verticalLayout_11->setContentsMargins(-1, 0, -1, 0);
1032  editor_restoreSession = new QCheckBox(groupBox_8);
1033  editor_restoreSession->setObjectName(QString::fromUtf8("editor_restoreSession"));
1034  QSizePolicy sizePolicy4(QSizePolicy::Minimum, QSizePolicy::Fixed);
1035  sizePolicy4.setHorizontalStretch(0);
1036  sizePolicy4.setVerticalStretch(0);
1037  sizePolicy4.setHeightForWidth(editor_restoreSession->sizePolicy().hasHeightForWidth());
1038  editor_restoreSession->setSizePolicy(sizePolicy4);
1039 
1040  verticalLayout_11->addWidget(editor_restoreSession);
1041 
1042  editor_create_new_file = new QCheckBox(groupBox_8);
1043  editor_create_new_file->setObjectName(QString::fromUtf8("editor_create_new_file"));
1044  sizePolicy4.setHeightForWidth(editor_create_new_file->sizePolicy().hasHeightForWidth());
1045  editor_create_new_file->setSizePolicy(sizePolicy4);
1046 
1047  verticalLayout_11->addWidget(editor_create_new_file);
1048 
1049  editor_reload_changed_files = new QCheckBox(groupBox_8);
1050  editor_reload_changed_files->setObjectName(QString::fromUtf8("editor_reload_changed_files"));
1051 
1052  verticalLayout_11->addWidget(editor_reload_changed_files);
1053 
1054 
1055  verticalLayout_30->addLayout(verticalLayout_11);
1056 
1057 
1058  verticalLayout_16->addWidget(groupBox_8);
1059 
1060  verticalSpacer_7 = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
1061 
1062  verticalLayout_16->addItem(verticalSpacer_7);
1063 
1064  scrollArea->setWidget(scrollAreaWidgetContents);
1065 
1066  verticalLayout_6->addWidget(scrollArea);
1067 
1068  tabWidget->addTab(tab_editor, QString());
1069  tab_editor_styles = new QWidget();
1070  tab_editor_styles->setObjectName(QString::fromUtf8("tab_editor_styles"));
1071  QSizePolicy sizePolicy5(QSizePolicy::Expanding, QSizePolicy::Expanding);
1072  sizePolicy5.setHorizontalStretch(0);
1073  sizePolicy5.setVerticalStretch(0);
1074  sizePolicy5.setHeightForWidth(tab_editor_styles->sizePolicy().hasHeightForWidth());
1075  tab_editor_styles->setSizePolicy(sizePolicy5);
1076  verticalLayout_12 = new QVBoxLayout(tab_editor_styles);
1077  verticalLayout_12->setObjectName(QString::fromUtf8("verticalLayout_12"));
1078  verticalLayout_5 = new QVBoxLayout();
1079  verticalLayout_5->setObjectName(QString::fromUtf8("verticalLayout_5"));
1080  label_10 = new QLabel(tab_editor_styles);
1081  label_10->setObjectName(QString::fromUtf8("label_10"));
1082  QSizePolicy sizePolicy6(QSizePolicy::Expanding, QSizePolicy::Preferred);
1083  sizePolicy6.setHorizontalStretch(0);
1084  sizePolicy6.setVerticalStretch(0);
1085  sizePolicy6.setHeightForWidth(label_10->sizePolicy().hasHeightForWidth());
1086  label_10->setSizePolicy(sizePolicy6);
1087  label_10->setFrameShape(QFrame::NoFrame);
1088  label_10->setScaledContents(false);
1089  label_10->setAlignment(Qt::AlignLeading|Qt::AlignLeft|Qt::AlignVCenter);
1090  label_10->setWordWrap(true);
1091  label_10->setMargin(4);
1092 
1093  verticalLayout_5->addWidget(label_10);
1094 
1095  tabs_editor_lexers = new QTabWidget(tab_editor_styles);
1096  tabs_editor_lexers->setObjectName(QString::fromUtf8("tabs_editor_lexers"));
1097  sizePolicy5.setHeightForWidth(tabs_editor_lexers->sizePolicy().hasHeightForWidth());
1098  tabs_editor_lexers->setSizePolicy(sizePolicy5);
1099 
1100  verticalLayout_5->addWidget(tabs_editor_lexers);
1101 
1102 
1103  verticalLayout_12->addLayout(verticalLayout_5);
1104 
1105  tabWidget->addTab(tab_editor_styles, QString());
1106  tab_terminal = new QWidget();
1107  tab_terminal->setObjectName(QString::fromUtf8("tab_terminal"));
1108  verticalLayout_14 = new QVBoxLayout(tab_terminal);
1109  verticalLayout_14->setObjectName(QString::fromUtf8("verticalLayout_14"));
1110  scrollArea_3 = new QScrollArea(tab_terminal);
1111  scrollArea_3->setObjectName(QString::fromUtf8("scrollArea_3"));
1112  scrollArea_3->setWidgetResizable(true);
1113  scrollAreaWidgetContents_4 = new QWidget();
1114  scrollAreaWidgetContents_4->setObjectName(QString::fromUtf8("scrollAreaWidgetContents_4"));
1115  scrollAreaWidgetContents_4->setGeometry(QRect(0, 0, 678, 378));
1116  verticalLayout_7 = new QVBoxLayout(scrollAreaWidgetContents_4);
1117  verticalLayout_7->setObjectName(QString::fromUtf8("verticalLayout_7"));
1118  verticalLayout_8 = new QVBoxLayout();
1119  verticalLayout_8->setObjectName(QString::fromUtf8("verticalLayout_8"));
1120  gridLayout_7 = new QGridLayout();
1121  gridLayout_7->setObjectName(QString::fromUtf8("gridLayout_7"));
1122  gridLayout_7->setProperty("sizeHint", QVariant(QSize(40, 20)));
1123  horizontalLayout_13 = new QHBoxLayout();
1124  horizontalLayout_13->setObjectName(QString::fromUtf8("horizontalLayout_13"));
1125  terminal_cursorUseForegroundColor = new QCheckBox(scrollAreaWidgetContents_4);
1126  terminal_cursorUseForegroundColor->setObjectName(QString::fromUtf8("terminal_cursorUseForegroundColor"));
1127 
1128  horizontalLayout_13->addWidget(terminal_cursorUseForegroundColor);
1129 
1130  terminal_cursorBlinking = new QCheckBox(scrollAreaWidgetContents_4);
1131  terminal_cursorBlinking->setObjectName(QString::fromUtf8("terminal_cursorBlinking"));
1132 
1133  horizontalLayout_13->addWidget(terminal_cursorBlinking);
1134 
1135 
1136  gridLayout_7->addLayout(horizontalLayout_13, 1, 2, 1, 1);
1137 
1138  horizontalLayout_7 = new QHBoxLayout();
1139  horizontalLayout_7->setObjectName(QString::fromUtf8("horizontalLayout_7"));
1140  label = new QLabel(scrollAreaWidgetContents_4);
1141  label->setObjectName(QString::fromUtf8("label"));
1142 
1143  horizontalLayout_7->addWidget(label);
1144 
1145  terminal_cursorType = new QComboBox(scrollAreaWidgetContents_4);
1146  terminal_cursorType->setObjectName(QString::fromUtf8("terminal_cursorType"));
1147 
1148  horizontalLayout_7->addWidget(terminal_cursorType);
1149 
1150 
1151  gridLayout_7->addLayout(horizontalLayout_7, 1, 0, 1, 1);
1152 
1153  horizontalLayout_11 = new QHBoxLayout();
1154  horizontalLayout_11->setObjectName(QString::fromUtf8("horizontalLayout_11"));
1155  label_11 = new QLabel(scrollAreaWidgetContents_4);
1156  label_11->setObjectName(QString::fromUtf8("label_11"));
1157 
1158  horizontalLayout_11->addWidget(label_11);
1159 
1160  terminal_fontName = new QFontComboBox(scrollAreaWidgetContents_4);
1161  terminal_fontName->setObjectName(QString::fromUtf8("terminal_fontName"));
1162  sizePolicy.setHeightForWidth(terminal_fontName->sizePolicy().hasHeightForWidth());
1163  terminal_fontName->setSizePolicy(sizePolicy);
1164  terminal_fontName->setEditable(false);
1165  terminal_fontName->setFontFilters(QFontComboBox::MonospacedFonts);
1166 
1167  horizontalLayout_11->addWidget(terminal_fontName);
1168 
1169 
1170  gridLayout_7->addLayout(horizontalLayout_11, 0, 0, 1, 1);
1171 
1172  horizontalLayout_12 = new QHBoxLayout();
1173  horizontalLayout_12->setObjectName(QString::fromUtf8("horizontalLayout_12"));
1174  label_12 = new QLabel(scrollAreaWidgetContents_4);
1175  label_12->setObjectName(QString::fromUtf8("label_12"));
1176 
1177  horizontalLayout_12->addWidget(label_12);
1178 
1179  terminal_fontSize = new QSpinBox(scrollAreaWidgetContents_4);
1180  terminal_fontSize->setObjectName(QString::fromUtf8("terminal_fontSize"));
1181  sizePolicy.setHeightForWidth(terminal_fontSize->sizePolicy().hasHeightForWidth());
1182  terminal_fontSize->setSizePolicy(sizePolicy);
1183  terminal_fontSize->setMinimum(2);
1184  terminal_fontSize->setMaximum(96);
1185  terminal_fontSize->setValue(10);
1186 
1187  horizontalLayout_12->addWidget(terminal_fontSize);
1188 
1189  horizontalSpacer_27 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
1190 
1191  horizontalLayout_12->addItem(horizontalSpacer_27);
1192 
1193 
1194  gridLayout_7->addLayout(horizontalLayout_12, 0, 2, 1, 1);
1195 
1196  horizontalLayout_5 = new QHBoxLayout();
1197  horizontalLayout_5->setObjectName(QString::fromUtf8("horizontalLayout_5"));
1198  horizontalLayout_5->setContentsMargins(-1, 0, -1, -1);
1199  terminal_history_buffer = new QSpinBox(scrollAreaWidgetContents_4);
1200  terminal_history_buffer->setObjectName(QString::fromUtf8("terminal_history_buffer"));
1201  sizePolicy.setHeightForWidth(terminal_history_buffer->sizePolicy().hasHeightForWidth());
1202  terminal_history_buffer->setSizePolicy(sizePolicy);
1203  terminal_history_buffer->setMinimum(0);
1204  terminal_history_buffer->setMaximum(5000);
1205  terminal_history_buffer->setSingleStep(20);
1206  terminal_history_buffer->setValue(1000);
1207 
1208  horizontalLayout_5->addWidget(terminal_history_buffer);
1209 
1210  label_20 = new QLabel(scrollAreaWidgetContents_4);
1211  label_20->setObjectName(QString::fromUtf8("label_20"));
1212 
1213  horizontalLayout_5->addWidget(label_20);
1214 
1215  horizontalSpacer_16 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
1216 
1217  horizontalLayout_5->addItem(horizontalSpacer_16);
1218 
1219 
1220  gridLayout_7->addLayout(horizontalLayout_5, 2, 2, 1, 1);
1221 
1222  label_19 = new QLabel(scrollAreaWidgetContents_4);
1223  label_19->setObjectName(QString::fromUtf8("label_19"));
1224  label_19->setMinimumSize(QSize(100, 20));
1225 
1226  gridLayout_7->addWidget(label_19, 2, 0, 1, 1);
1227 
1228  horizontalSpacer_28 = new QSpacerItem(20, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);
1229 
1230  gridLayout_7->addItem(horizontalSpacer_28, 0, 1, 1, 1);
1231 
1232 
1233  verticalLayout_8->addLayout(gridLayout_7);
1234 
1235  gridLayout_15 = new QGridLayout();
1236  gridLayout_15->setObjectName(QString::fromUtf8("gridLayout_15"));
1237  terminal_focus_command = new QCheckBox(scrollAreaWidgetContents_4);
1238  terminal_focus_command->setObjectName(QString::fromUtf8("terminal_focus_command"));
1239 
1240  gridLayout_15->addWidget(terminal_focus_command, 0, 0, 1, 1);
1241 
1242  terminal_print_dbg_location = new QCheckBox(scrollAreaWidgetContents_4);
1243  terminal_print_dbg_location->setObjectName(QString::fromUtf8("terminal_print_dbg_location"));
1244 
1245  gridLayout_15->addWidget(terminal_print_dbg_location, 1, 0, 1, 1);
1246 
1247 
1248  verticalLayout_8->addLayout(gridLayout_15);
1249 
1250  line_7 = new QFrame(scrollAreaWidgetContents_4);
1251  line_7->setObjectName(QString::fromUtf8("line_7"));
1252  line_7->setFrameShape(QFrame::HLine);
1253  line_7->setFrameShadow(QFrame::Sunken);
1254 
1255  verticalLayout_8->addWidget(line_7);
1256 
1257  terminal_colors_box = new QGroupBox(scrollAreaWidgetContents_4);
1258  terminal_colors_box->setObjectName(QString::fromUtf8("terminal_colors_box"));
1259 
1260  verticalLayout_8->addWidget(terminal_colors_box);
1261 
1262  line_5 = new QFrame(scrollAreaWidgetContents_4);
1263  line_5->setObjectName(QString::fromUtf8("line_5"));
1264  line_5->setMinimumSize(QSize(0, 0));
1265  line_5->setFrameShape(QFrame::HLine);
1266  line_5->setFrameShadow(QFrame::Sunken);
1267 
1268  verticalLayout_8->addWidget(line_5);
1269 
1270  line_6 = new QFrame(scrollAreaWidgetContents_4);
1271  line_6->setObjectName(QString::fromUtf8("line_6"));
1272  line_6->setFrameShape(QFrame::HLine);
1273  line_6->setFrameShadow(QFrame::Sunken);
1274 
1275  verticalLayout_8->addWidget(line_6);
1276 
1277 
1278  verticalLayout_7->addLayout(verticalLayout_8);
1279 
1280  verticalSpacer_3 = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
1281 
1282  verticalLayout_7->addItem(verticalSpacer_3);
1283 
1284  scrollArea_3->setWidget(scrollAreaWidgetContents_4);
1285 
1286  verticalLayout_14->addWidget(scrollArea_3);
1287 
1288  tabWidget->addTab(tab_terminal, QString());
1289  tab_file_browser = new QWidget();
1290  tab_file_browser->setObjectName(QString::fromUtf8("tab_file_browser"));
1291  verticalLayout_3 = new QVBoxLayout(tab_file_browser);
1292  verticalLayout_3->setObjectName(QString::fromUtf8("verticalLayout_3"));
1293  scrollArea_4 = new QScrollArea(tab_file_browser);
1294  scrollArea_4->setObjectName(QString::fromUtf8("scrollArea_4"));
1295  scrollArea_4->setWidgetResizable(true);
1296  scrollAreaWidgetContents_5 = new QWidget();
1297  scrollAreaWidgetContents_5->setObjectName(QString::fromUtf8("scrollAreaWidgetContents_5"));
1298  scrollAreaWidgetContents_5->setGeometry(QRect(0, 0, 678, 378));
1299  verticalLayout_18 = new QVBoxLayout(scrollAreaWidgetContents_5);
1300  verticalLayout_18->setObjectName(QString::fromUtf8("verticalLayout_18"));
1301  groupBox_3 = new QGroupBox(scrollAreaWidgetContents_5);
1302  groupBox_3->setObjectName(QString::fromUtf8("groupBox_3"));
1303  verticalLayout_23 = new QVBoxLayout(groupBox_3);
1304  verticalLayout_23->setObjectName(QString::fromUtf8("verticalLayout_23"));
1305  gridLayout_11 = new QGridLayout();
1306  gridLayout_11->setObjectName(QString::fromUtf8("gridLayout_11"));
1307  gridLayout_11->setContentsMargins(-1, 0, -1, -1);
1308  showFileType = new QCheckBox(groupBox_3);
1309  showFileType->setObjectName(QString::fromUtf8("showFileType"));
1310 
1311  gridLayout_11->addWidget(showFileType, 1, 0, 1, 1);
1312 
1313  showHiddenFiles = new QCheckBox(groupBox_3);
1314  showHiddenFiles->setObjectName(QString::fromUtf8("showHiddenFiles"));
1315 
1316  gridLayout_11->addWidget(showHiddenFiles, 3, 0, 1, 1);
1317 
1318  showFileSize = new QCheckBox(groupBox_3);
1319  showFileSize->setObjectName(QString::fromUtf8("showFileSize"));
1320 
1321  gridLayout_11->addWidget(showFileSize, 0, 0, 1, 1);
1322 
1323  showLastModified = new QCheckBox(groupBox_3);
1324  showLastModified->setObjectName(QString::fromUtf8("showLastModified"));
1325 
1326  gridLayout_11->addWidget(showLastModified, 2, 0, 1, 1);
1327 
1328  useAlternatingRowColors = new QCheckBox(groupBox_3);
1329  useAlternatingRowColors->setObjectName(QString::fromUtf8("useAlternatingRowColors"));
1330 
1331  gridLayout_11->addWidget(useAlternatingRowColors, 4, 0, 1, 1);
1332 
1333 
1334  verticalLayout_23->addLayout(gridLayout_11);
1335 
1336 
1337  verticalLayout_18->addWidget(groupBox_3);
1338 
1339  groupBox_4 = new QGroupBox(scrollAreaWidgetContents_5);
1340  groupBox_4->setObjectName(QString::fromUtf8("groupBox_4"));
1341  verticalLayout_24 = new QVBoxLayout(groupBox_4);
1342  verticalLayout_24->setObjectName(QString::fromUtf8("verticalLayout_24"));
1343  gridLayout_8 = new QGridLayout();
1344  gridLayout_8->setObjectName(QString::fromUtf8("gridLayout_8"));
1345  sync_octave_directory = new QCheckBox(groupBox_4);
1346  sync_octave_directory->setObjectName(QString::fromUtf8("sync_octave_directory"));
1347 
1348  gridLayout_8->addWidget(sync_octave_directory, 4, 0, 1, 1);
1349 
1350  lo_file_browser_startup = new QGridLayout();
1351  lo_file_browser_startup->setObjectName(QString::fromUtf8("lo_file_browser_startup"));
1352  lbl_file_browser_dir = new QLabel(groupBox_4);
1353  lbl_file_browser_dir->setObjectName(QString::fromUtf8("lbl_file_browser_dir"));
1354 
1355  lo_file_browser_startup->addWidget(lbl_file_browser_dir, 0, 0, 1, 1);
1356 
1357  le_file_browser_dir = new QLineEdit(groupBox_4);
1358  le_file_browser_dir->setObjectName(QString::fromUtf8("le_file_browser_dir"));
1359  sizePolicy6.setHeightForWidth(le_file_browser_dir->sizePolicy().hasHeightForWidth());
1360  le_file_browser_dir->setSizePolicy(sizePolicy6);
1361 
1362  lo_file_browser_startup->addWidget(le_file_browser_dir, 1, 1, 1, 1);
1363 
1364  cb_restore_file_browser_dir = new QCheckBox(groupBox_4);
1365  cb_restore_file_browser_dir->setObjectName(QString::fromUtf8("cb_restore_file_browser_dir"));
1366 
1367  lo_file_browser_startup->addWidget(cb_restore_file_browser_dir, 0, 1, 1, 1);
1368 
1369  pb_file_browser_dir = new QPushButton(groupBox_4);
1370  pb_file_browser_dir->setObjectName(QString::fromUtf8("pb_file_browser_dir"));
1371  sizePolicy4.setHeightForWidth(pb_file_browser_dir->sizePolicy().hasHeightForWidth());
1372  pb_file_browser_dir->setSizePolicy(sizePolicy4);
1373 
1374  lo_file_browser_startup->addWidget(pb_file_browser_dir, 1, 2, 1, 1);
1375 
1376  horizontalSpacer_29 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
1377 
1378  lo_file_browser_startup->addItem(horizontalSpacer_29, 0, 3, 1, 1);
1379 
1380  horizontalSpacer_30 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
1381 
1382  lo_file_browser_startup->addItem(horizontalSpacer_30, 1, 3, 1, 1);
1383 
1384 
1385  gridLayout_8->addLayout(lo_file_browser_startup, 5, 0, 1, 1);
1386 
1387 
1388  verticalLayout_24->addLayout(gridLayout_8);
1389 
1390 
1391  verticalLayout_18->addWidget(groupBox_4);
1392 
1393  verticalSpacer_2 = new QSpacerItem(20, 360, QSizePolicy::Minimum, QSizePolicy::Expanding);
1394 
1395  verticalLayout_18->addItem(verticalSpacer_2);
1396 
1397  scrollArea_4->setWidget(scrollAreaWidgetContents_5);
1398 
1399  verticalLayout_3->addWidget(scrollArea_4);
1400 
1401  tabWidget->addTab(tab_file_browser, QString());
1402  tab_workspace = new QWidget();
1403  tab_workspace->setObjectName(QString::fromUtf8("tab_workspace"));
1404  verticalLayout_15 = new QVBoxLayout(tab_workspace);
1405  verticalLayout_15->setObjectName(QString::fromUtf8("verticalLayout_15"));
1406  scrollArea_5 = new QScrollArea(tab_workspace);
1407  scrollArea_5->setObjectName(QString::fromUtf8("scrollArea_5"));
1408  scrollArea_5->setWidgetResizable(true);
1409  scrollAreaWidgetContents_6 = new QWidget();
1410  scrollAreaWidgetContents_6->setObjectName(QString::fromUtf8("scrollAreaWidgetContents_6"));
1411  scrollAreaWidgetContents_6->setGeometry(QRect(0, 0, 678, 378));
1412  verticalLayout_19 = new QVBoxLayout(scrollAreaWidgetContents_6);
1413  verticalLayout_19->setObjectName(QString::fromUtf8("verticalLayout_19"));
1414  gridLayout_14 = new QGridLayout();
1415  gridLayout_14->setObjectName(QString::fromUtf8("gridLayout_14"));
1416  gridLayout_14->setContentsMargins(-1, 0, -1, -1);
1417  workspace_colors_box = new QGroupBox(scrollAreaWidgetContents_6);
1418  workspace_colors_box->setObjectName(QString::fromUtf8("workspace_colors_box"));
1419  workspace_colors_box->setEnabled(true);
1420  sizePolicy.setHeightForWidth(workspace_colors_box->sizePolicy().hasHeightForWidth());
1421  workspace_colors_box->setSizePolicy(sizePolicy);
1422 
1423  gridLayout_14->addWidget(workspace_colors_box, 0, 0, 1, 1);
1424 
1425  cb_hide_tool_tips = new QCheckBox(scrollAreaWidgetContents_6);
1426  cb_hide_tool_tips->setObjectName(QString::fromUtf8("cb_hide_tool_tips"));
1427 
1428  gridLayout_14->addWidget(cb_hide_tool_tips, 1, 0, 1, 1);
1429 
1430 
1431  verticalLayout_19->addLayout(gridLayout_14);
1432 
1433  verticalSpacer_6 = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
1434 
1435  verticalLayout_19->addItem(verticalSpacer_6);
1436 
1437  scrollArea_5->setWidget(scrollAreaWidgetContents_6);
1438 
1439  verticalLayout_15->addWidget(scrollArea_5);
1440 
1441  tabWidget->addTab(tab_workspace, QString());
1442  tab_shortcuts = new QWidget();
1443  tab_shortcuts->setObjectName(QString::fromUtf8("tab_shortcuts"));
1444  verticalLayout_27 = new QVBoxLayout(tab_shortcuts);
1445  verticalLayout_27->setObjectName(QString::fromUtf8("verticalLayout_27"));
1446  scrollArea_7 = new QScrollArea(tab_shortcuts);
1447  scrollArea_7->setObjectName(QString::fromUtf8("scrollArea_7"));
1448  scrollArea_7->setWidgetResizable(true);
1449  scrollAreaWidgetContents_8 = new QWidget();
1450  scrollAreaWidgetContents_8->setObjectName(QString::fromUtf8("scrollAreaWidgetContents_8"));
1451  scrollAreaWidgetContents_8->setGeometry(QRect(0, 0, 678, 378));
1452  verticalLayout_25 = new QVBoxLayout(scrollAreaWidgetContents_8);
1453  verticalLayout_25->setObjectName(QString::fromUtf8("verticalLayout_25"));
1454  verticalLayout_26 = new QVBoxLayout();
1455  verticalLayout_26->setObjectName(QString::fromUtf8("verticalLayout_26"));
1456  verticalLayout_26->setSizeConstraint(QLayout::SetDefaultConstraint);
1457  verticalLayout_26->setContentsMargins(-1, 0, -1, -1);
1458  horizontalLayout_15 = new QHBoxLayout();
1459  horizontalLayout_15->setObjectName(QString::fromUtf8("horizontalLayout_15"));
1460  cb_prevent_readline_conflicts = new QCheckBox(scrollAreaWidgetContents_8);
1461  cb_prevent_readline_conflicts->setObjectName(QString::fromUtf8("cb_prevent_readline_conflicts"));
1462  cb_prevent_readline_conflicts->setChecked(true);
1463 
1464  horizontalLayout_15->addWidget(cb_prevent_readline_conflicts);
1465 
1466 
1467  verticalLayout_26->addLayout(horizontalLayout_15);
1468 
1469  line_9 = new QFrame(scrollAreaWidgetContents_8);
1470  line_9->setObjectName(QString::fromUtf8("line_9"));
1471  line_9->setFrameShape(QFrame::HLine);
1472  line_9->setFrameShadow(QFrame::Sunken);
1473 
1474  verticalLayout_26->addWidget(line_9);
1475 
1476  gridLayout_12 = new QGridLayout();
1477  gridLayout_12->setObjectName(QString::fromUtf8("gridLayout_12"));
1478  gridLayout_12->setContentsMargins(-1, 10, -1, -1);
1479  horizontalLayout_16 = new QHBoxLayout();
1480  horizontalLayout_16->setObjectName(QString::fromUtf8("horizontalLayout_16"));
1481  horizontalLayout_16->setContentsMargins(-1, 0, -1, -1);
1482 
1483  gridLayout_12->addLayout(horizontalLayout_16, 3, 0, 1, 1);
1484 
1485  rb_sc_set2 = new QRadioButton(scrollAreaWidgetContents_8);
1486  rb_sc_set2->setObjectName(QString::fromUtf8("rb_sc_set2"));
1487 
1488  gridLayout_12->addWidget(rb_sc_set2, 1, 2, 1, 1);
1489 
1490  label_23 = new QLabel(scrollAreaWidgetContents_8);
1491  label_23->setObjectName(QString::fromUtf8("label_23"));
1492 
1493  gridLayout_12->addWidget(label_23, 0, 0, 1, 1);
1494 
1495  btn_export_shortcut_set2 = new QPushButton(scrollAreaWidgetContents_8);
1496  btn_export_shortcut_set2->setObjectName(QString::fromUtf8("btn_export_shortcut_set2"));
1497 
1498  gridLayout_12->addWidget(btn_export_shortcut_set2, 1, 4, 1, 1);
1499 
1500  btn_import_shortcut_set2 = new QPushButton(scrollAreaWidgetContents_8);
1501  btn_import_shortcut_set2->setObjectName(QString::fromUtf8("btn_import_shortcut_set2"));
1502 
1503  gridLayout_12->addWidget(btn_import_shortcut_set2, 1, 3, 1, 1);
1504 
1505  rb_sc_set1 = new QRadioButton(scrollAreaWidgetContents_8);
1506  rb_sc_set1->setObjectName(QString::fromUtf8("rb_sc_set1"));
1507  rb_sc_set1->setChecked(true);
1508 
1509  gridLayout_12->addWidget(rb_sc_set1, 0, 2, 1, 1);
1510 
1511  horizontalSpacer_26 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
1512 
1513  gridLayout_12->addItem(horizontalSpacer_26, 0, 5, 1, 1);
1514 
1515  btn_export_shortcut_set1 = new QPushButton(scrollAreaWidgetContents_8);
1516  btn_export_shortcut_set1->setObjectName(QString::fromUtf8("btn_export_shortcut_set1"));
1517 
1518  gridLayout_12->addWidget(btn_export_shortcut_set1, 0, 4, 1, 1);
1519 
1520  btn_import_shortcut_set1 = new QPushButton(scrollAreaWidgetContents_8);
1521  btn_import_shortcut_set1->setObjectName(QString::fromUtf8("btn_import_shortcut_set1"));
1522 
1523  gridLayout_12->addWidget(btn_import_shortcut_set1, 0, 3, 1, 1);
1524 
1525  label_24 = new QLabel(scrollAreaWidgetContents_8);
1526  label_24->setObjectName(QString::fromUtf8("label_24"));
1527 
1528  gridLayout_12->addWidget(label_24, 1, 0, 1, 1);
1529 
1530  horizontalSpacer_33 = new QSpacerItem(20, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);
1531 
1532  gridLayout_12->addItem(horizontalSpacer_33, 0, 1, 1, 1);
1533 
1534 
1535  verticalLayout_26->addLayout(gridLayout_12);
1536 
1537  label_21 = new QLabel(scrollAreaWidgetContents_8);
1538  label_21->setObjectName(QString::fromUtf8("label_21"));
1539 
1540  verticalLayout_26->addWidget(label_21);
1541 
1542  horizontalLayout_10 = new QHBoxLayout();
1543  horizontalLayout_10->setObjectName(QString::fromUtf8("horizontalLayout_10"));
1544  horizontalLayout_10->setContentsMargins(-1, 0, -1, -1);
1545  shortcuts_treewidget = new QTreeWidget(scrollAreaWidgetContents_8);
1546  QFont font;
1547  font.setItalic(false);
1548  QTreeWidgetItem *__qtreewidgetitem = new QTreeWidgetItem();
1549  __qtreewidgetitem->setFont(3, font);
1550  __qtreewidgetitem->setFont(0, font);
1551  shortcuts_treewidget->setHeaderItem(__qtreewidgetitem);
1552  shortcuts_treewidget->setObjectName(QString::fromUtf8("shortcuts_treewidget"));
1553  sizePolicy5.setHeightForWidth(shortcuts_treewidget->sizePolicy().hasHeightForWidth());
1554  shortcuts_treewidget->setSizePolicy(sizePolicy5);
1555  shortcuts_treewidget->setSizeIncrement(QSize(0, 0));
1556  shortcuts_treewidget->setBaseSize(QSize(0, 0));
1557  shortcuts_treewidget->setAlternatingRowColors(true);
1558  shortcuts_treewidget->setAnimated(false);
1559  shortcuts_treewidget->setAllColumnsShowFocus(false);
1560  shortcuts_treewidget->setHeaderHidden(false);
1561  shortcuts_treewidget->setColumnCount(5);
1562  shortcuts_treewidget->header()->setCascadingSectionResizes(false);
1563  shortcuts_treewidget->header()->setDefaultSectionSize(120);
1564  shortcuts_treewidget->header()->setHighlightSections(false);
1565  shortcuts_treewidget->header()->setMinimumSectionSize(64);
1566  shortcuts_treewidget->header()->setStretchLastSection(true);
1567 
1568  horizontalLayout_10->addWidget(shortcuts_treewidget);
1569 
1570 
1571  verticalLayout_26->addLayout(horizontalLayout_10);
1572 
1573 
1574  verticalLayout_25->addLayout(verticalLayout_26);
1575 
1576  scrollArea_7->setWidget(scrollAreaWidgetContents_8);
1577 
1578  verticalLayout_27->addWidget(scrollArea_7);
1579 
1580  tabWidget->addTab(tab_shortcuts, QString());
1581  tab_network = new QWidget();
1582  tab_network->setObjectName(QString::fromUtf8("tab_network"));
1583  verticalLayout_4 = new QVBoxLayout(tab_network);
1584  verticalLayout_4->setObjectName(QString::fromUtf8("verticalLayout_4"));
1585  scrollArea_6 = new QScrollArea(tab_network);
1586  scrollArea_6->setObjectName(QString::fromUtf8("scrollArea_6"));
1587  scrollArea_6->setWidgetResizable(true);
1588  scrollAreaWidgetContents_7 = new QWidget();
1589  scrollAreaWidgetContents_7->setObjectName(QString::fromUtf8("scrollAreaWidgetContents_7"));
1590  scrollAreaWidgetContents_7->setGeometry(QRect(0, 0, 678, 378));
1591  verticalLayout_20 = new QVBoxLayout(scrollAreaWidgetContents_7);
1592  verticalLayout_20->setObjectName(QString::fromUtf8("verticalLayout_20"));
1593  verticalLayout = new QVBoxLayout();
1594  verticalLayout->setObjectName(QString::fromUtf8("verticalLayout"));
1595  checkbox_allow_web_connect = new QCheckBox(scrollAreaWidgetContents_7);
1596  checkbox_allow_web_connect->setObjectName(QString::fromUtf8("checkbox_allow_web_connect"));
1597 
1598  verticalLayout->addWidget(checkbox_allow_web_connect);
1599 
1600  gridLayout_5 = new QGridLayout();
1601  gridLayout_5->setObjectName(QString::fromUtf8("gridLayout_5"));
1602  label_4 = new QLabel(scrollAreaWidgetContents_7);
1603  label_4->setObjectName(QString::fromUtf8("label_4"));
1604  label_4->setEnabled(false);
1605 
1606  gridLayout_5->addWidget(label_4, 1, 1, 1, 1);
1607 
1608  proxyType = new QComboBox(scrollAreaWidgetContents_7);
1609  proxyType->setObjectName(QString::fromUtf8("proxyType"));
1610  proxyType->setEnabled(false);
1611 
1612  gridLayout_5->addWidget(proxyType, 0, 2, 1, 1);
1613 
1614  label_6 = new QLabel(scrollAreaWidgetContents_7);
1615  label_6->setObjectName(QString::fromUtf8("label_6"));
1616  label_6->setEnabled(false);
1617 
1618  gridLayout_5->addWidget(label_6, 3, 1, 1, 1);
1619 
1620  useProxyServer = new QCheckBox(scrollAreaWidgetContents_7);
1621  useProxyServer->setObjectName(QString::fromUtf8("useProxyServer"));
1622 
1623  gridLayout_5->addWidget(useProxyServer, 0, 0, 1, 1);
1624 
1625  label_3 = new QLabel(scrollAreaWidgetContents_7);
1626  label_3->setObjectName(QString::fromUtf8("label_3"));
1627  label_3->setEnabled(false);
1628 
1629  gridLayout_5->addWidget(label_3, 0, 1, 1, 1);
1630 
1631  label_5 = new QLabel(scrollAreaWidgetContents_7);
1632  label_5->setObjectName(QString::fromUtf8("label_5"));
1633  label_5->setEnabled(false);
1634 
1635  gridLayout_5->addWidget(label_5, 2, 1, 1, 1);
1636 
1637  label_7 = new QLabel(scrollAreaWidgetContents_7);
1638  label_7->setObjectName(QString::fromUtf8("label_7"));
1639  label_7->setEnabled(false);
1640 
1641  gridLayout_5->addWidget(label_7, 4, 1, 1, 1);
1642 
1643  proxyHostName = new QLineEdit(scrollAreaWidgetContents_7);
1644  proxyHostName->setObjectName(QString::fromUtf8("proxyHostName"));
1645  proxyHostName->setEnabled(false);
1646 
1647  gridLayout_5->addWidget(proxyHostName, 1, 2, 1, 1);
1648 
1649  proxyPort = new QLineEdit(scrollAreaWidgetContents_7);
1650  proxyPort->setObjectName(QString::fromUtf8("proxyPort"));
1651  proxyPort->setEnabled(false);
1652 
1653  gridLayout_5->addWidget(proxyPort, 2, 2, 1, 1);
1654 
1655  proxyUserName = new QLineEdit(scrollAreaWidgetContents_7);
1656  proxyUserName->setObjectName(QString::fromUtf8("proxyUserName"));
1657  proxyUserName->setEnabled(false);
1658 
1659  gridLayout_5->addWidget(proxyUserName, 3, 2, 1, 1);
1660 
1661  proxyPassword = new QLineEdit(scrollAreaWidgetContents_7);
1662  proxyPassword->setObjectName(QString::fromUtf8("proxyPassword"));
1663  proxyPassword->setEnabled(false);
1664  proxyPassword->setEchoMode(QLineEdit::Password);
1665 
1666  gridLayout_5->addWidget(proxyPassword, 4, 2, 1, 1);
1667 
1668 
1669  verticalLayout->addLayout(gridLayout_5);
1670 
1671 
1672  verticalLayout_20->addLayout(verticalLayout);
1673 
1674  verticalSpacer_5 = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
1675 
1676  verticalLayout_20->addItem(verticalSpacer_5);
1677 
1678  scrollArea_6->setWidget(scrollAreaWidgetContents_7);
1679 
1680  verticalLayout_4->addWidget(scrollArea_6);
1681 
1682  tabWidget->addTab(tab_network, QString());
1683 
1684  verticalLayout_2->addWidget(tabWidget);
1685 
1686  button_box = new QDialogButtonBox(settings_dialog);
1687  button_box->setObjectName(QString::fromUtf8("button_box"));
1688  button_box->setStandardButtons(QDialogButtonBox::Apply|QDialogButtonBox::Cancel|QDialogButtonBox::Ok);
1689 
1690  verticalLayout_2->addWidget(button_box);
1691 
1692 
1693  retranslateUi(settings_dialog);
1694  QObject::connect(useProxyServer, SIGNAL(toggled(bool)), label_4, SLOT(setEnabled(bool)));
1695  QObject::connect(useProxyServer, SIGNAL(toggled(bool)), label_3, SLOT(setEnabled(bool)));
1696  QObject::connect(useProxyServer, SIGNAL(toggled(bool)), label_5, SLOT(setEnabled(bool)));
1697  QObject::connect(useProxyServer, SIGNAL(toggled(bool)), proxyType, SLOT(setEnabled(bool)));
1698  QObject::connect(useProxyServer, SIGNAL(toggled(bool)), proxyHostName, SLOT(setEnabled(bool)));
1699  QObject::connect(useProxyServer, SIGNAL(toggled(bool)), proxyPort, SLOT(setEnabled(bool)));
1700  QObject::connect(useCustomFileEditor, SIGNAL(toggled(bool)), customFileEditor, SLOT(setEnabled(bool)));
1701  QObject::connect(useProxyServer, SIGNAL(toggled(bool)), label_7, SLOT(setEnabled(bool)));
1702  QObject::connect(useProxyServer, SIGNAL(toggled(bool)), proxyUserName, SLOT(setEnabled(bool)));
1703  QObject::connect(useProxyServer, SIGNAL(toggled(bool)), proxyPassword, SLOT(setEnabled(bool)));
1704  QObject::connect(useProxyServer, SIGNAL(toggled(bool)), label_6, SLOT(setEnabled(bool)));
1705  QObject::connect(useCustomFileEditor, SIGNAL(toggled(bool)), customEditorLabel, SLOT(setEnabled(bool)));
1706  QObject::connect(editor_codeCompletion, SIGNAL(toggled(bool)), editor_label_ac_threshold, SLOT(setEnabled(bool)));
1707  QObject::connect(editor_codeCompletion, SIGNAL(toggled(bool)), editor_spinbox_ac_threshold, SLOT(setEnabled(bool)));
1708  QObject::connect(editor_highlightCurrentLine, SIGNAL(toggled(bool)), editor_label_cl_color, SLOT(setEnabled(bool)));
1709  QObject::connect(editor_ws_checkbox, SIGNAL(toggled(bool)), editor_ws_indent_checkbox, SLOT(setEnabled(bool)));
1710  QObject::connect(cb_widget_custom_style, SIGNAL(toggled(bool)), label_bgtitle, SLOT(setEnabled(bool)));
1711  QObject::connect(cb_widget_custom_style, SIGNAL(toggled(bool)), label_fgtitle, SLOT(setEnabled(bool)));
1712  QObject::connect(cb_restore_octave_dir, SIGNAL(toggled(bool)), le_octave_dir, SLOT(setDisabled(bool)));
1713  QObject::connect(cb_restore_octave_dir, SIGNAL(toggled(bool)), pb_octave_dir, SLOT(setDisabled(bool)));
1714  QObject::connect(cb_restore_file_browser_dir, SIGNAL(toggled(bool)), le_file_browser_dir, SLOT(setDisabled(bool)));
1715  QObject::connect(cb_restore_file_browser_dir, SIGNAL(toggled(bool)), pb_file_browser_dir, SLOT(setDisabled(bool)));
1716  QObject::connect(editor_longWindowTitle, SIGNAL(toggled(bool)), editor_lbl_min_tab_width, SLOT(setEnabled(bool)));
1717  QObject::connect(editor_longWindowTitle, SIGNAL(toggled(bool)), editor_notebook_tab_width_max, SLOT(setEnabled(bool)));
1718  QObject::connect(editor_longWindowTitle, SIGNAL(toggled(bool)), editor_lbl_max_tab_width, SLOT(setEnabled(bool)));
1719  QObject::connect(editor_longWindowTitle, SIGNAL(toggled(bool)), editor_notebook_tab_width_min, SLOT(setEnabled(bool)));
1720  QObject::connect(editor_long_line_marker, SIGNAL(toggled(bool)), editor_long_line_column, SLOT(setEnabled(bool)));
1721  QObject::connect(editor_long_line_marker, SIGNAL(toggled(bool)), editor_long_line_column_text, SLOT(setEnabled(bool)));
1722  QObject::connect(editor_checkbox_ac_keywords, SIGNAL(toggled(bool)), editor_checkbox_ac_builtins, SLOT(setEnabled(bool)));
1723  QObject::connect(editor_checkbox_ac_keywords, SIGNAL(toggled(bool)), editor_checkbox_ac_functions, SLOT(setEnabled(bool)));
1724  QObject::connect(cb_widget_custom_style, SIGNAL(toggled(bool)), label_bgtitle_active, SLOT(setEnabled(bool)));
1725  QObject::connect(cb_widget_custom_style, SIGNAL(toggled(bool)), label_fgtitle_active, SLOT(setEnabled(bool)));
1726  QObject::connect(cb_widget_custom_style, SIGNAL(toggled(bool)), label_3d_title, SLOT(setEnabled(bool)));
1727  QObject::connect(cb_widget_custom_style, SIGNAL(toggled(bool)), sb_3d_title, SLOT(setEnabled(bool)));
1728 
1729  tabWidget->setCurrentIndex(1);
1730 
1731 
1732  QMetaObject::connectSlotsByName(settings_dialog);
1733  } // setupUi
1734 
1735  void retranslateUi(QDialog *settings_dialog)
1736  {
1737  settings_dialog->setWindowTitle(QApplication::translate("settings_dialog", "Settings", 0, QApplication::UnicodeUTF8));
1738  groupBox->setTitle(QApplication::translate("settings_dialog", "Interface", 0, QApplication::UnicodeUTF8));
1739  label_15->setText(QApplication::translate("settings_dialog", "Dock widget title bar", 0, QApplication::UnicodeUTF8));
1740  label_8->setText(QApplication::translate("settings_dialog", "Icon size", 0, QApplication::UnicodeUTF8));
1741  cb_prompt_to_exit->setText(QApplication::translate("settings_dialog", "Confirm before exiting", 0, QApplication::UnicodeUTF8));
1742  icon_size_small->setText(QApplication::translate("settings_dialog", "Small", 0, QApplication::UnicodeUTF8));
1743  icon_size_normal->setText(QApplication::translate("settings_dialog", "Normal", 0, QApplication::UnicodeUTF8));
1744  icon_size_large->setText(QApplication::translate("settings_dialog", "Large", 0, QApplication::UnicodeUTF8));
1745  label_2->setText(QApplication::translate("settings_dialog", "Language (requires restart)", 0, QApplication::UnicodeUTF8));
1746  general_icon_octave->setText(QApplication::translate("settings_dialog", "Octave logo only", 0, QApplication::UnicodeUTF8));
1747  general_icon_letter->setText(QApplication::translate("settings_dialog", "Letter icons", 0, QApplication::UnicodeUTF8));
1748  general_icon_graphic->setText(QApplication::translate("settings_dialog", "Graphic icons", 0, QApplication::UnicodeUTF8));
1749  label_9->setText(QApplication::translate("settings_dialog", "Icon set for dock widgets", 0, QApplication::UnicodeUTF8));
1750  cb_status_bar->setText(QApplication::translate("settings_dialog", "Show status bar", 0, QApplication::UnicodeUTF8));
1751  label_bgtitle_active->setText(QApplication::translate("settings_dialog", "Active", 0, QApplication::UnicodeUTF8));
1752  label_fgtitle->setText(QApplication::translate("settings_dialog", "Text inactive", 0, QApplication::UnicodeUTF8));
1753  label_fgtitle_active->setText(QApplication::translate("settings_dialog", "Active", 0, QApplication::UnicodeUTF8));
1754  cb_widget_custom_style->setText(QApplication::translate("settings_dialog", "Custom style", 0, QApplication::UnicodeUTF8));
1755  label_bgtitle->setText(QApplication::translate("settings_dialog", "Background inactive", 0, QApplication::UnicodeUTF8));
1756  label_3d_title->setText(QApplication::translate("settings_dialog", "3D", 0, QApplication::UnicodeUTF8));
1757  groupBox_2->setTitle(QApplication::translate("settings_dialog", "Octave Startup", 0, QApplication::UnicodeUTF8));
1758  label_18->setText(QApplication::translate("settings_dialog", "These preferences are applied after any .octaverc startup files.", 0, QApplication::UnicodeUTF8));
1759  label_17->setText(QApplication::translate("settings_dialog", "Startup path", 0, QApplication::UnicodeUTF8));
1760  pb_octave_dir->setText(QApplication::translate("settings_dialog", "Browse", 0, QApplication::UnicodeUTF8));
1761  cb_restore_octave_dir->setText(QApplication::translate("settings_dialog", "Restore working directory of previous session", 0, QApplication::UnicodeUTF8));
1762  tabWidget->setTabText(tabWidget->indexOf(tab_general), QApplication::translate("settings_dialog", "General", 0, QApplication::UnicodeUTF8));
1763  groupBox_5->setTitle(QApplication::translate("settings_dialog", "General", 0, QApplication::UnicodeUTF8));
1764  editor_highlightCurrentLine->setText(QApplication::translate("settings_dialog", "Highlight current line", 0, QApplication::UnicodeUTF8));
1765  editor_long_line_column_text->setText(QApplication::translate("settings_dialog", "After Column", 0, QApplication::UnicodeUTF8));
1766  editor_ws_checkbox->setText(QApplication::translate("settings_dialog", "Show whitespace", 0, QApplication::UnicodeUTF8));
1767  editor_showLineNumbers->setText(QApplication::translate("settings_dialog", "Show line numbers", 0, QApplication::UnicodeUTF8));
1768  editor_longWindowTitle->setText(QApplication::translate("settings_dialog", "Show complete path in window title", 0, QApplication::UnicodeUTF8));
1769  editor_ws_indent_checkbox->setText(QApplication::translate("settings_dialog", "Do not show whitespace used for indentation", 0, QApplication::UnicodeUTF8));
1770  editor_label_cl_color->setText(QApplication::translate("settings_dialog", "Color", 0, QApplication::UnicodeUTF8));
1771  editor_lbl_min_tab_width->setText(QApplication::translate("settings_dialog", "Tab width min.", 0, QApplication::UnicodeUTF8));
1772  editor_lbl_max_tab_width->setText(QApplication::translate("settings_dialog", "max.", 0, QApplication::UnicodeUTF8));
1773 #ifndef QT_NO_TOOLTIP
1774  editor_long_line_marker->setToolTip(QApplication::translate("settings_dialog", "This works well for monospaced fonts. The line is drawn at a position based on the width of a space character in the default font. It may not work very well if styles use proportional fonts or if varied font sizes or bold, italic and normal texts are used.", 0, QApplication::UnicodeUTF8));
1775 #endif // QT_NO_TOOLTIP
1776  editor_long_line_marker->setText(QApplication::translate("settings_dialog", "Draw a long line marker", 0, QApplication::UnicodeUTF8));
1777  cb_code_folding->setText(QApplication::translate("settings_dialog", "Enable Code Folding", 0, QApplication::UnicodeUTF8));
1778  cb_edit_status_bar->setText(QApplication::translate("settings_dialog", "Show status bar", 0, QApplication::UnicodeUTF8));
1779  cb_show_eol->setText(QApplication::translate("settings_dialog", "Show EOL characters", 0, QApplication::UnicodeUTF8));
1780  label_22->setText(QApplication::translate("settings_dialog", "Default EOL mode", 0, QApplication::UnicodeUTF8));
1781  combo_eol_mode->clear();
1782  combo_eol_mode->insertItems(0, QStringList()
1783  << QApplication::translate("settings_dialog", "Windows (CRLF)", 0, QApplication::UnicodeUTF8)
1784  << QApplication::translate("settings_dialog", "Mac (CR)", 0, QApplication::UnicodeUTF8)
1785  << QApplication::translate("settings_dialog", "Unix (LF)", 0, QApplication::UnicodeUTF8)
1786  );
1787  cb_show_hscrollbar->setText(QApplication::translate("settings_dialog", "Show horizontal scroll bar", 0, QApplication::UnicodeUTF8));
1788  useCustomFileEditor->setText(QApplication::translate("settings_dialog", "Use custom file editor", 0, QApplication::UnicodeUTF8));
1789  customEditorLabel->setText(QApplication::translate("settings_dialog", "command line (%f=file, %l=line):", 0, QApplication::UnicodeUTF8));
1790  customFileEditor->setText(QString());
1791  groupBox_6->setTitle(QApplication::translate("settings_dialog", "Indentation", 0, QApplication::UnicodeUTF8));
1792  label_13->setText(QApplication::translate("settings_dialog", "Indent width", 0, QApplication::UnicodeUTF8));
1793  editor_tab_ind_checkbox->setText(QApplication::translate("settings_dialog", "Tab indents line", 0, QApplication::UnicodeUTF8));
1794  editor_auto_ind_checkbox->setText(QApplication::translate("settings_dialog", "Auto indentation", 0, QApplication::UnicodeUTF8));
1795  label_14->setText(QApplication::translate("settings_dialog", "Tab width", 0, QApplication::UnicodeUTF8));
1796  editor_ind_guides_checkbox->setText(QApplication::translate("settings_dialog", "Show indentation guides", 0, QApplication::UnicodeUTF8));
1797  editor_bs_unind_checkbox->setText(QApplication::translate("settings_dialog", "Backspace unindents line", 0, QApplication::UnicodeUTF8));
1798  editor_ind_uses_tabs_checkbox->setText(QApplication::translate("settings_dialog", "Indentation uses tabs", 0, QApplication::UnicodeUTF8));
1799  groupBox_7->setTitle(QApplication::translate("settings_dialog", "Auto completion", 0, QApplication::UnicodeUTF8));
1800  editor_checkbox_ac_keywords->setText(QApplication::translate("settings_dialog", "Match keywords", 0, QApplication::UnicodeUTF8));
1801  editor_checkbox_ac_case->setText(QApplication::translate("settings_dialog", "Case sensitive", 0, QApplication::UnicodeUTF8));
1802  editor_checkbox_ac_document->setText(QApplication::translate("settings_dialog", "Match words in document", 0, QApplication::UnicodeUTF8));
1803  editor_checkbox_ac_replace->setText(QApplication::translate("settings_dialog", "Replace word by suggested one", 0, QApplication::UnicodeUTF8));
1804  editor_checkbox_ac_builtins->setText(QApplication::translate("settings_dialog", "With Octave builtins", 0, QApplication::UnicodeUTF8));
1805  editor_checkbox_ac_functions->setText(QApplication::translate("settings_dialog", "With Octave functions", 0, QApplication::UnicodeUTF8));
1806  editor_label_ac_threshold->setText(QApplication::translate("settings_dialog", "Number of characters before list is shown: ", 0, QApplication::UnicodeUTF8));
1807 #ifndef QT_NO_TOOLTIP
1808  editor_spinbox_ac_threshold->setToolTip(QString());
1809 #endif // QT_NO_TOOLTIP
1810 #ifndef QT_NO_WHATSTHIS
1811  editor_spinbox_ac_threshold->setWhatsThis(QString());
1812 #endif // QT_NO_WHATSTHIS
1813  editor_spinbox_ac_threshold->setSuffix(QString());
1814  editor_codeCompletion->setText(QApplication::translate("settings_dialog", "Show completion list automatically", 0, QApplication::UnicodeUTF8));
1815  groupBox_8->setTitle(QApplication::translate("settings_dialog", "File handling", 0, QApplication::UnicodeUTF8));
1816  editor_restoreSession->setText(QApplication::translate("settings_dialog", "Restore editor tabs from previous session on startup", 0, QApplication::UnicodeUTF8));
1817  editor_create_new_file->setText(QApplication::translate("settings_dialog", "Create nonexistent files without prompting", 0, QApplication::UnicodeUTF8));
1818  editor_reload_changed_files->setText(QApplication::translate("settings_dialog", "Reload externally changed files without prompt", 0, QApplication::UnicodeUTF8));
1819  tabWidget->setTabText(tabWidget->indexOf(tab_editor), QApplication::translate("settings_dialog", "Editor", 0, QApplication::UnicodeUTF8));
1820  label_10->setText(QApplication::translate("settings_dialog", "<html><head/><body><p>Select font, font size (as a difference from the default size), font style (<b>b</b>old, <b>i</b>talic, <b>u</b>nderline), text color, and background color (for the latter, the color magenta (255,0,255) is a placeholder for the default background color).</p></body></html>", 0, QApplication::UnicodeUTF8));
1821  tabWidget->setTabText(tabWidget->indexOf(tab_editor_styles), QApplication::translate("settings_dialog", "Editor Styles", 0, QApplication::UnicodeUTF8));
1822  terminal_cursorUseForegroundColor->setText(QApplication::translate("settings_dialog", "Use foreground color", 0, QApplication::UnicodeUTF8));
1823  terminal_cursorBlinking->setText(QApplication::translate("settings_dialog", "Cursor blinking", 0, QApplication::UnicodeUTF8));
1824  label->setText(QApplication::translate("settings_dialog", "Cursor type:", 0, QApplication::UnicodeUTF8));
1825  label_11->setText(QApplication::translate("settings_dialog", "Font", 0, QApplication::UnicodeUTF8));
1826  label_12->setText(QApplication::translate("settings_dialog", "Font size", 0, QApplication::UnicodeUTF8));
1827  label_20->setText(QApplication::translate("settings_dialog", "(Changing buffer size clears history)", 0, QApplication::UnicodeUTF8));
1828  label_19->setText(QApplication::translate("settings_dialog", "History buffer Size", 0, QApplication::UnicodeUTF8));
1829  terminal_focus_command->setText(QApplication::translate("settings_dialog", "Set focus to terminal when running a command from within another widget", 0, QApplication::UnicodeUTF8));
1830  terminal_print_dbg_location->setText(QApplication::translate("settings_dialog", "Print debug location in terminal window in addition to the marker in the editor", 0, QApplication::UnicodeUTF8));
1831  terminal_colors_box->setTitle(QApplication::translate("settings_dialog", "Terminal Colors", 0, QApplication::UnicodeUTF8));
1832  tabWidget->setTabText(tabWidget->indexOf(tab_terminal), QApplication::translate("settings_dialog", "Terminal", 0, QApplication::UnicodeUTF8));
1833  groupBox_3->setTitle(QApplication::translate("settings_dialog", "Display", 0, QApplication::UnicodeUTF8));
1834  showFileType->setText(QApplication::translate("settings_dialog", "Show file type", 0, QApplication::UnicodeUTF8));
1835  showHiddenFiles->setText(QApplication::translate("settings_dialog", "Show hidden files", 0, QApplication::UnicodeUTF8));
1836  showFileSize->setText(QApplication::translate("settings_dialog", "Show file size", 0, QApplication::UnicodeUTF8));
1837  showLastModified->setText(QApplication::translate("settings_dialog", "Show date of last modification", 0, QApplication::UnicodeUTF8));
1838  useAlternatingRowColors->setText(QApplication::translate("settings_dialog", "Alternating row colors", 0, QApplication::UnicodeUTF8));
1839  groupBox_4->setTitle(QApplication::translate("settings_dialog", "Behavior", 0, QApplication::UnicodeUTF8));
1840  sync_octave_directory->setText(QApplication::translate("settings_dialog", "Synchronize Octave working directory with file browser", 0, QApplication::UnicodeUTF8));
1841  lbl_file_browser_dir->setText(QApplication::translate("settings_dialog", "Startup path", 0, QApplication::UnicodeUTF8));
1842  cb_restore_file_browser_dir->setText(QApplication::translate("settings_dialog", "Restore last directory of previous session", 0, QApplication::UnicodeUTF8));
1843  pb_file_browser_dir->setText(QApplication::translate("settings_dialog", "Browse", 0, QApplication::UnicodeUTF8));
1844  tabWidget->setTabText(tabWidget->indexOf(tab_file_browser), QApplication::translate("settings_dialog", "File Browser", 0, QApplication::UnicodeUTF8));
1845  workspace_colors_box->setTitle(QApplication::translate("settings_dialog", "Colors for variable attributes ", 0, QApplication::UnicodeUTF8));
1846  cb_hide_tool_tips->setText(QApplication::translate("settings_dialog", "Hide tool tips", 0, QApplication::UnicodeUTF8));
1847  tabWidget->setTabText(tabWidget->indexOf(tab_workspace), QApplication::translate("settings_dialog", "Workspace", 0, QApplication::UnicodeUTF8));
1848 #ifndef QT_NO_TOOLTIP
1849  cb_prevent_readline_conflicts->setToolTip(QApplication::translate("settings_dialog", "Select this option to prevent conflicts with readline shortcuts", 0, QApplication::UnicodeUTF8));
1850 #endif // QT_NO_TOOLTIP
1851  cb_prevent_readline_conflicts->setText(QApplication::translate("settings_dialog", "Disable global shortcuts when terminal window has focus", 0, QApplication::UnicodeUTF8));
1852  rb_sc_set2->setText(QApplication::translate("settings_dialog", "Use this set", 0, QApplication::UnicodeUTF8));
1853  label_23->setText(QApplication::translate("settings_dialog", "Set 1:", 0, QApplication::UnicodeUTF8));
1854  btn_export_shortcut_set2->setText(QApplication::translate("settings_dialog", "Export", 0, QApplication::UnicodeUTF8));
1855  btn_import_shortcut_set2->setText(QApplication::translate("settings_dialog", "Import", 0, QApplication::UnicodeUTF8));
1856  rb_sc_set1->setText(QApplication::translate("settings_dialog", "Use this set", 0, QApplication::UnicodeUTF8));
1857  btn_export_shortcut_set1->setText(QApplication::translate("settings_dialog", "Export", 0, QApplication::UnicodeUTF8));
1858  btn_import_shortcut_set1->setText(QApplication::translate("settings_dialog", "Import", 0, QApplication::UnicodeUTF8));
1859  label_24->setText(QApplication::translate("settings_dialog", "Set 2:", 0, QApplication::UnicodeUTF8));
1860  label_21->setText(QApplication::translate("settings_dialog", "Edit a shortcut by double-clicking in a cell", 0, QApplication::UnicodeUTF8));
1861  QTreeWidgetItem *___qtreewidgetitem = shortcuts_treewidget->headerItem();
1862  ___qtreewidgetitem->setText(4, QApplication::translate("settings_dialog", "Set 2 Actual", 0, QApplication::UnicodeUTF8));
1863  ___qtreewidgetitem->setText(3, QApplication::translate("settings_dialog", "Set 2 Default", 0, QApplication::UnicodeUTF8));
1864  ___qtreewidgetitem->setText(2, QApplication::translate("settings_dialog", "Set 1 Actual", 0, QApplication::UnicodeUTF8));
1865  ___qtreewidgetitem->setText(1, QApplication::translate("settings_dialog", "Set 1 Default", 0, QApplication::UnicodeUTF8));
1866  ___qtreewidgetitem->setText(0, QApplication::translate("settings_dialog", "Action", 0, QApplication::UnicodeUTF8));
1867  tabWidget->setTabText(tabWidget->indexOf(tab_shortcuts), QApplication::translate("settings_dialog", "Shortcuts", 0, QApplication::UnicodeUTF8));
1868  checkbox_allow_web_connect->setText(QApplication::translate("settings_dialog", "Allow Octave to connect to the Octave web site to display current news and information", 0, QApplication::UnicodeUTF8));
1869  label_4->setText(QApplication::translate("settings_dialog", "Hostname:", 0, QApplication::UnicodeUTF8));
1870  proxyType->clear();
1871  proxyType->insertItems(0, QStringList()
1872  << QApplication::translate("settings_dialog", "HttpProxy", 0, QApplication::UnicodeUTF8)
1873  << QApplication::translate("settings_dialog", "Socks5Proxy", 0, QApplication::UnicodeUTF8)
1874  );
1875  label_6->setText(QApplication::translate("settings_dialog", "Username:", 0, QApplication::UnicodeUTF8));
1876  useProxyServer->setText(QApplication::translate("settings_dialog", "Use proxy server", 0, QApplication::UnicodeUTF8));
1877  label_3->setText(QApplication::translate("settings_dialog", "Proxy type:", 0, QApplication::UnicodeUTF8));
1878  label_5->setText(QApplication::translate("settings_dialog", "Port:", 0, QApplication::UnicodeUTF8));
1879  label_7->setText(QApplication::translate("settings_dialog", "Password:", 0, QApplication::UnicodeUTF8));
1880  tabWidget->setTabText(tabWidget->indexOf(tab_network), QApplication::translate("settings_dialog", "Network", 0, QApplication::UnicodeUTF8));
1881  } // retranslateUi
1882 
1883 };
1884 
1885 namespace Ui {
1886  class settings_dialog: public Ui_settings_dialog {};
1887 } // namespace Ui
1888 
1889 QT_END_NAMESPACE
1890 
1891 #endif // UI_2D_SETTINGS_2D_DIALOG_H
Ui_settings_dialog::horizontalSpacer_19
QSpacerItem * horizontalSpacer_19
Definition: ui-settings-dialog.h:166
Ui_settings_dialog::editor_lbl_min_tab_width
QLabel * editor_lbl_min_tab_width
Definition: ui-settings-dialog.h:121
Ui_settings_dialog::le_octave_dir
QLineEdit * le_octave_dir
Definition: ui-settings-dialog.h:97
Ui_settings_dialog::layout_widget_fgtitle
QHBoxLayout * layout_widget_fgtitle
Definition: ui-settings-dialog.h:75
Ui_settings_dialog::verticalLayout_19
QVBoxLayout * verticalLayout_19
Definition: ui-settings-dialog.h:251
Ui_settings_dialog::scrollArea_4
QScrollArea * scrollArea_4
Definition: ui-settings-dialog.h:224
Ui_settings_dialog::scrollAreaWidgetContents_5
QWidget * scrollAreaWidgetContents_5
Definition: ui-settings-dialog.h:225
Ui_settings_dialog::verticalLayout_8
QVBoxLayout * verticalLayout_8
Definition: ui-settings-dialog.h:193
Ui_settings_dialog::comboBox_language
QComboBox * comboBox_language
Definition: ui-settings-dialog.h:55
Ui_settings_dialog::groupBox_7
QGroupBox * groupBox_7
Definition: ui-settings-dialog.h:157
Ui_settings_dialog::proxyUserName
QLineEdit * proxyUserName
Definition: ui-settings-dialog.h:297
Ui_settings_dialog::terminal_cursorBlinking
QCheckBox * terminal_cursorBlinking
Definition: ui-settings-dialog.h:197
Ui_settings_dialog::le_file_browser_dir
QLineEdit * le_file_browser_dir
Definition: ui-settings-dialog.h:241
Ui_settings_dialog::scrollAreaWidgetContents
QWidget * scrollAreaWidgetContents
Definition: ui-settings-dialog.h:102
Ui_settings_dialog::tab_terminal
QWidget * tab_terminal
Definition: ui-settings-dialog.h:188
Ui_settings_dialog::cb_prevent_readline_conflicts
QCheckBox * cb_prevent_readline_conflicts
Definition: ui-settings-dialog.h:263
Ui_settings_dialog::line_5
QFrame * line_5
Definition: ui-settings-dialog.h:219
Ui_settings_dialog::general_icon_octave
QRadioButton * general_icon_octave
Definition: ui-settings-dialog.h:66
Ui_settings_dialog::horizontalSpacer_33
QSpacerItem * horizontalSpacer_33
Definition: ui-settings-dialog.h:276
Ui_settings_dialog::groupBox_4
QGroupBox * groupBox_4
Definition: ui-settings-dialog.h:235
Ui_settings_dialog::terminal_history_buffer
QSpinBox * terminal_history_buffer
Definition: ui-settings-dialog.h:209
Ui_settings_dialog::editor_checkbox_ac_document
QCheckBox * editor_checkbox_ac_document
Definition: ui-settings-dialog.h:163
Ui_settings_dialog::horizontalLayout_6
QHBoxLayout * horizontalLayout_6
Definition: ui-settings-dialog.h:59
Ui_settings_dialog::proxyPort
QLineEdit * proxyPort
Definition: ui-settings-dialog.h:296
Ui_settings_dialog::editor_tab_ind_checkbox
QCheckBox * editor_tab_ind_checkbox
Definition: ui-settings-dialog.h:146
Ui_settings_dialog::label_20
QLabel * label_20
Definition: ui-settings-dialog.h:210
Ui_settings_dialog::verticalLayout_16
QVBoxLayout * verticalLayout_16
Definition: ui-settings-dialog.h:103
Ui_settings_dialog::verticalLayout_11
QVBoxLayout * verticalLayout_11
Definition: ui-settings-dialog.h:178
Ui_settings_dialog::horizontalSpacer_27
QSpacerItem * horizontalSpacer_27
Definition: ui-settings-dialog.h:207
Ui_settings_dialog::groupBox_8
QGroupBox * groupBox_8
Definition: ui-settings-dialog.h:176
Ui_settings_dialog::editor_ind_width_spinbox
QSpinBox * editor_ind_width_spinbox
Definition: ui-settings-dialog.h:148
Ui_settings_dialog::verticalLayout_14
QVBoxLayout * verticalLayout_14
Definition: ui-settings-dialog.h:189
Ui_settings_dialog::verticalLayout_2
QVBoxLayout * verticalLayout_2
Definition: ui-settings-dialog.h:43
Ui_settings_dialog::editor_highlightCurrentLine
QCheckBox * editor_highlightCurrentLine
Definition: ui-settings-dialog.h:107
Ui_settings_dialog::gridLayout
QGridLayout * gridLayout
Definition: ui-settings-dialog.h:52
Ui_settings_dialog::cb_hide_tool_tips
QCheckBox * cb_hide_tool_tips
Definition: ui-settings-dialog.h:254
Ui_settings_dialog::useCustomFileEditor
QCheckBox * useCustomFileEditor
Definition: ui-settings-dialog.h:137
Ui_settings_dialog::label_6
QLabel * label_6
Definition: ui-settings-dialog.h:290
Ui_settings_dialog::label_4
QLabel * label_4
Definition: ui-settings-dialog.h:288
Ui_settings_dialog::cb_show_hscrollbar
QCheckBox * cb_show_hscrollbar
Definition: ui-settings-dialog.h:135
Ui_settings_dialog::label_9
QLabel * label_9
Definition: ui-settings-dialog.h:70
Ui_settings_dialog::verticalLayout_26
QVBoxLayout * verticalLayout_26
Definition: ui-settings-dialog.h:261
Ui_settings_dialog::horizontalLayout_8
QHBoxLayout * horizontalLayout_8
Definition: ui-settings-dialog.h:54
Ui_settings_dialog::scrollArea
QScrollArea * scrollArea
Definition: ui-settings-dialog.h:101
Ui_settings_dialog::scrollArea_2
QScrollArea * scrollArea_2
Definition: ui-settings-dialog.h:47
Ui_settings_dialog::gridLayout_11
QGridLayout * gridLayout_11
Definition: ui-settings-dialog.h:229
Ui_settings_dialog::verticalLayout_29
QVBoxLayout * verticalLayout_29
Definition: ui-settings-dialog.h:158
Ui_settings_dialog::label_bgtitle
QLabel * label_bgtitle
Definition: ui-settings-dialog.h:82
Ui_settings_dialog::cb_restore_octave_dir
QCheckBox * cb_restore_octave_dir
Definition: ui-settings-dialog.h:96
Ui_settings_dialog::horizontalLayout_4
QHBoxLayout * horizontalLayout_4
Definition: ui-settings-dialog.h:72
Ui_settings_dialog::label_fgtitle_active
QLabel * label_fgtitle_active
Definition: ui-settings-dialog.h:78
Ui_settings_dialog::label_19
QLabel * label_19
Definition: ui-settings-dialog.h:212
Ui_settings_dialog::retranslateUi
void retranslateUi(QDialog *settings_dialog)
Definition: ui-settings-dialog.h:1735
Ui_settings_dialog::label_18
QLabel * label_18
Definition: ui-settings-dialog.h:90
Ui_settings_dialog::horizontalSpacer_30
QSpacerItem * horizontalSpacer_30
Definition: ui-settings-dialog.h:245
Ui_settings_dialog::gridLayout_12
QGridLayout * gridLayout_12
Definition: ui-settings-dialog.h:265
Ui_settings_dialog::horizontalSpacer_3
QSpacerItem * horizontalSpacer_3
Definition: ui-settings-dialog.h:56
Ui_settings_dialog::showFileType
QCheckBox * showFileType
Definition: ui-settings-dialog.h:230
Ui_settings_dialog::horizontalSpacer_2
QSpacerItem * horizontalSpacer_2
Definition: ui-settings-dialog.h:173
Ui_settings_dialog::horizontalSpacer_15
QSpacerItem * horizontalSpacer_15
Definition: ui-settings-dialog.h:160
Ui_settings_dialog::label_fgtitle
QLabel * label_fgtitle
Definition: ui-settings-dialog.h:77
Ui_settings_dialog::editor_reload_changed_files
QCheckBox * editor_reload_changed_files
Definition: ui-settings-dialog.h:181
Ui_settings_dialog::scrollArea_7
QScrollArea * scrollArea_7
Definition: ui-settings-dialog.h:258
Ui_settings_dialog::btn_export_shortcut_set1
QPushButton * btn_export_shortcut_set1
Definition: ui-settings-dialog.h:273
Ui_settings_dialog::editor_label_ac_threshold
QLabel * editor_label_ac_threshold
Definition: ui-settings-dialog.h:171
Ui_settings_dialog::gridLayout_7
QGridLayout * gridLayout_7
Definition: ui-settings-dialog.h:194
Ui_settings_dialog::gridLayout_3
QGridLayout * gridLayout_3
Definition: ui-settings-dialog.h:159
Ui_settings_dialog::horizontalSpacer_24
QSpacerItem * horizontalSpacer_24
Definition: ui-settings-dialog.h:126
Ui_settings_dialog::verticalLayout_18
QVBoxLayout * verticalLayout_18
Definition: ui-settings-dialog.h:226
Ui_settings_dialog::gridLayout_15
QGridLayout * gridLayout_15
Definition: ui-settings-dialog.h:214
Ui_settings_dialog::gridLayout_5
QGridLayout * gridLayout_5
Definition: ui-settings-dialog.h:287
Ui_settings_dialog::verticalLayout_20
QVBoxLayout * verticalLayout_20
Definition: ui-settings-dialog.h:284
Ui_settings_dialog::cb_widget_custom_style
QCheckBox * cb_widget_custom_style
Definition: ui-settings-dialog.h:80
Ui_settings_dialog::verticalLayout_23
QVBoxLayout * verticalLayout_23
Definition: ui-settings-dialog.h:228
Ui_settings_dialog::gridLayout_4
QGridLayout * gridLayout_4
Definition: ui-settings-dialog.h:143
Ui_settings_dialog::verticalLayout_27
QVBoxLayout * verticalLayout_27
Definition: ui-settings-dialog.h:257
Ui_settings_dialog::lo_file_browser_startup
QGridLayout * lo_file_browser_startup
Definition: ui-settings-dialog.h:239
Ui_settings_dialog::editor_checkbox_ac_replace
QCheckBox * editor_checkbox_ac_replace
Definition: ui-settings-dialog.h:164
Ui_settings_dialog::tab_editor
QWidget * tab_editor
Definition: ui-settings-dialog.h:99
Ui_settings_dialog::btn_import_shortcut_set2
QPushButton * btn_import_shortcut_set2
Definition: ui-settings-dialog.h:270
Ui_settings_dialog::editor_ws_indent_checkbox
QCheckBox * editor_ws_indent_checkbox
Definition: ui-settings-dialog.h:115
Ui_settings_dialog::customEditorLabel
QLabel * customEditorLabel
Definition: ui-settings-dialog.h:138
Ui_settings_dialog::label_2
QLabel * label_2
Definition: ui-settings-dialog.h:64
Ui_settings_dialog::showLastModified
QCheckBox * showLastModified
Definition: ui-settings-dialog.h:233
Ui_settings_dialog::general_icon_graphic
QRadioButton * general_icon_graphic
Definition: ui-settings-dialog.h:68
Ui_settings_dialog::horizontalSpacer_28
QSpacerItem * horizontalSpacer_28
Definition: ui-settings-dialog.h:213
Ui_settings_dialog::horizontalSpacer_5
QSpacerItem * horizontalSpacer_5
Definition: ui-settings-dialog.h:93
Ui_settings_dialog::horizontalSpacer_9
QSpacerItem * horizontalSpacer_9
Definition: ui-settings-dialog.h:119
Ui_settings_dialog::useAlternatingRowColors
QCheckBox * useAlternatingRowColors
Definition: ui-settings-dialog.h:234
Ui_settings_dialog::editor_lbl_max_tab_width
QLabel * editor_lbl_max_tab_width
Definition: ui-settings-dialog.h:125
Ui_settings_dialog::gridLayout_13
QGridLayout * gridLayout_13
Definition: ui-settings-dialog.h:73
Ui_settings_dialog
Definition: ui-settings-dialog.h:40
Ui_settings_dialog::tab_general
QWidget * tab_general
Definition: ui-settings-dialog.h:45
Ui_settings_dialog::horizontalSpacer_6
QSpacerItem * horizontalSpacer_6
Definition: ui-settings-dialog.h:69
Ui_settings_dialog::editor_bs_unind_checkbox
QCheckBox * editor_bs_unind_checkbox
Definition: ui-settings-dialog.h:152
Ui_settings_dialog::shortcuts_treewidget
QTreeWidget * shortcuts_treewidget
Definition: ui-settings-dialog.h:279
Ui_settings_dialog::cb_show_eol
QCheckBox * cb_show_eol
Definition: ui-settings-dialog.h:130
Ui_settings_dialog::editor_auto_ind_checkbox
QCheckBox * editor_auto_ind_checkbox
Definition: ui-settings-dialog.h:147
Ui_settings_dialog::groupBox_5
QGroupBox * groupBox_5
Definition: ui-settings-dialog.h:104
Ui_settings_dialog::editor_checkbox_ac_functions
QCheckBox * editor_checkbox_ac_functions
Definition: ui-settings-dialog.h:169
Ui_settings_dialog::editor_showLineNumbers
QCheckBox * editor_showLineNumbers
Definition: ui-settings-dialog.h:113
Ui_settings_dialog::label_3d_title
QLabel * label_3d_title
Definition: ui-settings-dialog.h:85
Ui_settings_dialog::groupBox_2
QGroupBox * groupBox_2
Definition: ui-settings-dialog.h:88
Ui_settings_dialog::label_15
QLabel * label_15
Definition: ui-settings-dialog.h:53
Ui_settings_dialog::editor_create_new_file
QCheckBox * editor_create_new_file
Definition: ui-settings-dialog.h:180
Ui_settings_dialog::groupBox_3
QGroupBox * groupBox_3
Definition: ui-settings-dialog.h:227
Ui_settings_dialog::gridLayout_9
QGridLayout * gridLayout_9
Definition: ui-settings-dialog.h:91
Ui_settings_dialog::terminal_fontSize
QSpinBox * terminal_fontSize
Definition: ui-settings-dialog.h:206
Ui_settings_dialog::scrollArea_5
QScrollArea * scrollArea_5
Definition: ui-settings-dialog.h:249
Ui_settings_dialog::editor_longWindowTitle
QCheckBox * editor_longWindowTitle
Definition: ui-settings-dialog.h:114
Ui_settings_dialog::showFileSize
QCheckBox * showFileSize
Definition: ui-settings-dialog.h:232
Ui_settings_dialog::horizontalSpacer_8
QSpacerItem * horizontalSpacer_8
Definition: ui-settings-dialog.h:165
Ui_settings_dialog::verticalLayout_17
QVBoxLayout * verticalLayout_17
Definition: ui-settings-dialog.h:49
Ui_settings_dialog::layout_widget_fgtitle_active
QHBoxLayout * layout_widget_fgtitle_active
Definition: ui-settings-dialog.h:84
Ui_settings_dialog::horizontalLayout_9
QHBoxLayout * horizontalLayout_9
Definition: ui-settings-dialog.h:65
Ui_settings_dialog::editor_ind_guides_checkbox
QCheckBox * editor_ind_guides_checkbox
Definition: ui-settings-dialog.h:150
Ui_settings_dialog::verticalSpacer
QSpacerItem * verticalSpacer
Definition: ui-settings-dialog.h:98
Ui_settings_dialog::horizontalSpacer_16
QSpacerItem * horizontalSpacer_16
Definition: ui-settings-dialog.h:211
Ui_settings_dialog::verticalLayout_24
QVBoxLayout * verticalLayout_24
Definition: ui-settings-dialog.h:236
Ui_settings_dialog::verticalLayout_30
QVBoxLayout * verticalLayout_30
Definition: ui-settings-dialog.h:177
Ui_settings_dialog::proxyHostName
QLineEdit * proxyHostName
Definition: ui-settings-dialog.h:295
Ui_settings_dialog::tab_network
QWidget * tab_network
Definition: ui-settings-dialog.h:280
Ui_settings_dialog::verticalLayout_3
QVBoxLayout * verticalLayout_3
Definition: ui-settings-dialog.h:223
settings_dialog
Definition: settings-dialog.h:41
Ui_settings_dialog::horizontalLayout_12
QHBoxLayout * horizontalLayout_12
Definition: ui-settings-dialog.h:204
Ui_settings_dialog::editor_long_line_marker
QCheckBox * editor_long_line_marker
Definition: ui-settings-dialog.h:127
Ui_settings_dialog::icon_size_normal
QRadioButton * icon_size_normal
Definition: ui-settings-dialog.h:61
Ui_settings_dialog::useProxyServer
QCheckBox * useProxyServer
Definition: ui-settings-dialog.h:291
Ui_settings_dialog::verticalLayout_28
QVBoxLayout * verticalLayout_28
Definition: ui-settings-dialog.h:142
Ui_settings_dialog::scrollAreaWidgetContents_8
QWidget * scrollAreaWidgetContents_8
Definition: ui-settings-dialog.h:259
Ui_settings_dialog::layout_widget_bgtitle_active
QHBoxLayout * layout_widget_bgtitle_active
Definition: ui-settings-dialog.h:83
Ui_settings_dialog::btn_export_shortcut_set2
QPushButton * btn_export_shortcut_set2
Definition: ui-settings-dialog.h:269
Ui_settings_dialog::tab_editor_styles
QWidget * tab_editor_styles
Definition: ui-settings-dialog.h:183
Ui_settings_dialog::terminal_fontName
QFontComboBox * terminal_fontName
Definition: ui-settings-dialog.h:203
Ui_settings_dialog::verticalSpacer_5
QSpacerItem * verticalSpacer_5
Definition: ui-settings-dialog.h:299
Ui_settings_dialog::lbl_file_browser_dir
QLabel * lbl_file_browser_dir
Definition: ui-settings-dialog.h:240
Ui_settings_dialog::label_17
QLabel * label_17
Definition: ui-settings-dialog.h:94
Ui_settings_dialog::line_9
QFrame * line_9
Definition: ui-settings-dialog.h:264
Ui_settings_dialog::layout_widget_bgtitle
QHBoxLayout * layout_widget_bgtitle
Definition: ui-settings-dialog.h:81
Ui_settings_dialog::horizontalLayout_5
QHBoxLayout * horizontalLayout_5
Definition: ui-settings-dialog.h:208
Ui_settings_dialog::sb_3d_title
QSpinBox * sb_3d_title
Definition: ui-settings-dialog.h:86
Ui_settings_dialog::cb_restore_file_browser_dir
QCheckBox * cb_restore_file_browser_dir
Definition: ui-settings-dialog.h:242
Ui_settings_dialog::verticalLayout_13
QVBoxLayout * verticalLayout_13
Definition: ui-settings-dialog.h:105
Ui::settings_dialog
Definition: ui-settings-dialog.h:1886
Ui_settings_dialog::horizontalSpacer_12
QSpacerItem * horizontalSpacer_12
Definition: ui-settings-dialog.h:140
Ui_settings_dialog::scrollArea_6
QScrollArea * scrollArea_6
Definition: ui-settings-dialog.h:282
Ui_settings_dialog::verticalLayout_15
QVBoxLayout * verticalLayout_15
Definition: ui-settings-dialog.h:248
Ui_settings_dialog::editor_notebook_tab_width_max
QSpinBox * editor_notebook_tab_width_max
Definition: ui-settings-dialog.h:124
Ui_settings_dialog::editor_ws_checkbox
QCheckBox * editor_ws_checkbox
Definition: ui-settings-dialog.h:112
Ui_settings_dialog::horizontalLayout_16
QHBoxLayout * horizontalLayout_16
Definition: ui-settings-dialog.h:266
Ui_settings_dialog::rb_sc_set1
QRadioButton * rb_sc_set1
Definition: ui-settings-dialog.h:271
Ui_settings_dialog::horizontalLayout_15
QHBoxLayout * horizontalLayout_15
Definition: ui-settings-dialog.h:262
Ui_settings_dialog::editor_checkbox_ac_keywords
QCheckBox * editor_checkbox_ac_keywords
Definition: ui-settings-dialog.h:161
Ui_settings_dialog::editor_tab_width_spinbox
QSpinBox * editor_tab_width_spinbox
Definition: ui-settings-dialog.h:151
Ui_settings_dialog::label_22
QLabel * label_22
Definition: ui-settings-dialog.h:132
Ui_settings_dialog::tab_workspace
QWidget * tab_workspace
Definition: ui-settings-dialog.h:247
Ui_settings_dialog::horizontalSpacer_14
QSpacerItem * horizontalSpacer_14
Definition: ui-settings-dialog.h:144
Ui_settings_dialog::rb_sc_set2
QRadioButton * rb_sc_set2
Definition: ui-settings-dialog.h:267
Ui_settings_dialog::terminal_focus_command
QCheckBox * terminal_focus_command
Definition: ui-settings-dialog.h:215
Ui_settings_dialog::cb_status_bar
QCheckBox * cb_status_bar
Definition: ui-settings-dialog.h:71
Ui_settings_dialog::horizontalSpacer_11
QSpacerItem * horizontalSpacer_11
Definition: ui-settings-dialog.h:118
Ui_settings_dialog::label_bgtitle_active
QLabel * label_bgtitle_active
Definition: ui-settings-dialog.h:74
Ui_settings_dialog::tab_file_browser
QWidget * tab_file_browser
Definition: ui-settings-dialog.h:222
Ui_settings_dialog::horizontalSpacer_25
QSpacerItem * horizontalSpacer_25
Definition: ui-settings-dialog.h:123
Ui_settings_dialog::editor_spinbox_ac_threshold
QSpinBox * editor_spinbox_ac_threshold
Definition: ui-settings-dialog.h:172
Ui_settings_dialog::checkbox_allow_web_connect
QCheckBox * checkbox_allow_web_connect
Definition: ui-settings-dialog.h:286
Ui_settings_dialog::verticalLayout_4
QVBoxLayout * verticalLayout_4
Definition: ui-settings-dialog.h:281
Ui_settings_dialog::editor_checkbox_ac_builtins
QCheckBox * editor_checkbox_ac_builtins
Definition: ui-settings-dialog.h:168
Ui_settings_dialog::terminal_print_dbg_location
QCheckBox * terminal_print_dbg_location
Definition: ui-settings-dialog.h:216
Ui_settings_dialog::horizontalLayout_7
QHBoxLayout * horizontalLayout_7
Definition: ui-settings-dialog.h:198
Ui_settings_dialog::setupUi
void setupUi(QDialog *settings_dialog)
Definition: ui-settings-dialog.h:302
Ui_settings_dialog::horizontalSpacer_17
QSpacerItem * horizontalSpacer_17
Definition: ui-settings-dialog.h:134
Ui_settings_dialog::label_14
QLabel * label_14
Definition: ui-settings-dialog.h:149
Ui_settings_dialog::horizontalSpacer_26
QSpacerItem * horizontalSpacer_26
Definition: ui-settings-dialog.h:272
Ui_settings_dialog::label_21
QLabel * label_21
Definition: ui-settings-dialog.h:277
Ui_settings_dialog::horizontalSpacer_10
QSpacerItem * horizontalSpacer_10
Definition: ui-settings-dialog.h:153
Ui_settings_dialog::scrollAreaWidgetContents_2
QWidget * scrollAreaWidgetContents_2
Definition: ui-settings-dialog.h:48
Ui_settings_dialog::horizontalSpacer
QSpacerItem * horizontalSpacer
Definition: ui-settings-dialog.h:92
Ui_settings_dialog::pb_octave_dir
QPushButton * pb_octave_dir
Definition: ui-settings-dialog.h:95
Ui_settings_dialog::scrollAreaWidgetContents_4
QWidget * scrollAreaWidgetContents_4
Definition: ui-settings-dialog.h:191
Ui_settings_dialog::horizontalSpacer_21
QSpacerItem * horizontalSpacer_21
Definition: ui-settings-dialog.h:87
Ui_settings_dialog::horizontalSpacer_13
QSpacerItem * horizontalSpacer_13
Definition: ui-settings-dialog.h:156
Ui_settings_dialog::gridLayout_6
QGridLayout * gridLayout_6
Definition: ui-settings-dialog.h:120
Ui_settings_dialog::terminal_cursorUseForegroundColor
QCheckBox * terminal_cursorUseForegroundColor
Definition: ui-settings-dialog.h:196
Ui_settings_dialog::verticalLayout_25
QVBoxLayout * verticalLayout_25
Definition: ui-settings-dialog.h:260
Ui_settings_dialog::tabs_editor_lexers
QTabWidget * tabs_editor_lexers
Definition: ui-settings-dialog.h:187
Ui_settings_dialog::editor_common_settings_grid
QGridLayout * editor_common_settings_grid
Definition: ui-settings-dialog.h:106
Ui_settings_dialog::gridLayout_8
QGridLayout * gridLayout_8
Definition: ui-settings-dialog.h:237
Ui_settings_dialog::verticalLayout_12
QVBoxLayout * verticalLayout_12
Definition: ui-settings-dialog.h:184
Ui_settings_dialog::editor_restoreSession
QCheckBox * editor_restoreSession
Definition: ui-settings-dialog.h:179
Ui_settings_dialog::scrollAreaWidgetContents_6
QWidget * scrollAreaWidgetContents_6
Definition: ui-settings-dialog.h:250
Ui_settings_dialog::editor_ind_uses_tabs_checkbox
QCheckBox * editor_ind_uses_tabs_checkbox
Definition: ui-settings-dialog.h:154
Ui_settings_dialog::editor_checkbox_ac_case
QCheckBox * editor_checkbox_ac_case
Definition: ui-settings-dialog.h:162
Ui_settings_dialog::label_3
QLabel * label_3
Definition: ui-settings-dialog.h:292
Ui_settings_dialog::tab_shortcuts
QWidget * tab_shortcuts
Definition: ui-settings-dialog.h:256
Ui_settings_dialog::label_24
QLabel * label_24
Definition: ui-settings-dialog.h:275
Ui_settings_dialog::editor_long_line_column_text
QLabel * editor_long_line_column_text
Definition: ui-settings-dialog.h:109
Ui_settings_dialog::horizontalSpacer_4
QSpacerItem * horizontalSpacer_4
Definition: ui-settings-dialog.h:63
Ui_settings_dialog::horizontalLayout_3
QHBoxLayout * horizontalLayout_3
Definition: ui-settings-dialog.h:108
Ui_settings_dialog::horizontalLayout_13
QHBoxLayout * horizontalLayout_13
Definition: ui-settings-dialog.h:195
Ui_settings_dialog::label_8
QLabel * label_8
Definition: ui-settings-dialog.h:57
Ui_settings_dialog::verticalSpacer_3
QSpacerItem * verticalSpacer_3
Definition: ui-settings-dialog.h:221
Ui_settings_dialog::horizontalSpacer_31
QSpacerItem * horizontalSpacer_31
Definition: ui-settings-dialog.h:175
Ui_settings_dialog::horizontalSpacer_22
QSpacerItem * horizontalSpacer_22
Definition: ui-settings-dialog.h:76
Ui_settings_dialog::verticalSpacer_7
QSpacerItem * verticalSpacer_7
Definition: ui-settings-dialog.h:182
Ui_settings_dialog::label_23
QLabel * label_23
Definition: ui-settings-dialog.h:268
Ui_settings_dialog::verticalLayout_21
QVBoxLayout * verticalLayout_21
Definition: ui-settings-dialog.h:51
Ui_settings_dialog::pb_file_browser_dir
QPushButton * pb_file_browser_dir
Definition: ui-settings-dialog.h:243
Ui_settings_dialog::editor_long_line_column
QSpinBox * editor_long_line_column
Definition: ui-settings-dialog.h:110
Ui_settings_dialog::proxyPassword
QLineEdit * proxyPassword
Definition: ui-settings-dialog.h:298
Ui_settings_dialog::horizontalSpacer_29
QSpacerItem * horizontalSpacer_29
Definition: ui-settings-dialog.h:244
Ui_settings_dialog::gridLayout_10
QGridLayout * gridLayout_10
Definition: ui-settings-dialog.h:170
Ui_settings_dialog::label_10
QLabel * label_10
Definition: ui-settings-dialog.h:186
Ui_settings_dialog::horizontalLayout_14
QHBoxLayout * horizontalLayout_14
Definition: ui-settings-dialog.h:167
Ui_settings_dialog::scrollArea_3
QScrollArea * scrollArea_3
Definition: ui-settings-dialog.h:190
Ui_settings_dialog::tabWidget
QTabWidget * tabWidget
Definition: ui-settings-dialog.h:44
Ui_settings_dialog::horizontalSpacer_20
QSpacerItem * horizontalSpacer_20
Definition: ui-settings-dialog.h:155
Ui_settings_dialog::horizontalLayout_11
QHBoxLayout * horizontalLayout_11
Definition: ui-settings-dialog.h:201
Ui_settings_dialog::terminal_colors_box
QGroupBox * terminal_colors_box
Definition: ui-settings-dialog.h:218
Ui_settings_dialog::terminal_cursorType
QComboBox * terminal_cursorType
Definition: ui-settings-dialog.h:200
Ui_settings_dialog::showHiddenFiles
QCheckBox * showHiddenFiles
Definition: ui-settings-dialog.h:231
Ui_settings_dialog::line_7
QFrame * line_7
Definition: ui-settings-dialog.h:217
Ui_settings_dialog::horizontalLayout_17
QHBoxLayout * horizontalLayout_17
Definition: ui-settings-dialog.h:131
Ui_settings_dialog::label_7
QLabel * label_7
Definition: ui-settings-dialog.h:294
Ui_settings_dialog::customFileEditor
QLineEdit * customFileEditor
Definition: ui-settings-dialog.h:139
Ui_settings_dialog::groupBox
QGroupBox * groupBox
Definition: ui-settings-dialog.h:50
Ui_settings_dialog::label_11
QLabel * label_11
Definition: ui-settings-dialog.h:202
Ui_settings_dialog::groupBox_6
QGroupBox * groupBox_6
Definition: ui-settings-dialog.h:141
Ui_settings_dialog::verticalLayout_22
QVBoxLayout * verticalLayout_22
Definition: ui-settings-dialog.h:89
Ui_settings_dialog::scrollAreaWidgetContents_7
QWidget * scrollAreaWidgetContents_7
Definition: ui-settings-dialog.h:283
Ui_settings_dialog::icon_size_small
QRadioButton * icon_size_small
Definition: ui-settings-dialog.h:60
Ui_settings_dialog::verticalLayout
QVBoxLayout * verticalLayout
Definition: ui-settings-dialog.h:285
Ui_settings_dialog::label
QLabel * label
Definition: ui-settings-dialog.h:199
Ui_settings_dialog::general_icon_letter
QRadioButton * general_icon_letter
Definition: ui-settings-dialog.h:67
Ui_settings_dialog::editor_codeCompletion
QCheckBox * editor_codeCompletion
Definition: ui-settings-dialog.h:174
Ui_settings_dialog::button_box
QDialogButtonBox * button_box
Definition: ui-settings-dialog.h:300
Ui_settings_dialog::combo_eol_mode
QComboBox * combo_eol_mode
Definition: ui-settings-dialog.h:133
Ui_settings_dialog::sync_octave_directory
QCheckBox * sync_octave_directory
Definition: ui-settings-dialog.h:238
Ui_settings_dialog::verticalSpacer_6
QSpacerItem * verticalSpacer_6
Definition: ui-settings-dialog.h:255
Ui_settings_dialog::proxyType
QComboBox * proxyType
Definition: ui-settings-dialog.h:289
Ui_settings_dialog::verticalLayout_6
QVBoxLayout * verticalLayout_6
Definition: ui-settings-dialog.h:100
Ui_settings_dialog::horizontalSpacer_23
QSpacerItem * horizontalSpacer_23
Definition: ui-settings-dialog.h:79
Ui_settings_dialog::editor_grid_current_line
QGridLayout * editor_grid_current_line
Definition: ui-settings-dialog.h:116
Ui_settings_dialog::icon_size_large
QRadioButton * icon_size_large
Definition: ui-settings-dialog.h:62
Ui_settings_dialog::workspace_colors_box
QGroupBox * workspace_colors_box
Definition: ui-settings-dialog.h:253
Ui_settings_dialog::editor_label_cl_color
QLabel * editor_label_cl_color
Definition: ui-settings-dialog.h:117
Ui_settings_dialog::line_6
QFrame * line_6
Definition: ui-settings-dialog.h:220
Ui_settings_dialog::verticalLayout_5
QVBoxLayout * verticalLayout_5
Definition: ui-settings-dialog.h:185
Ui_settings_dialog::btn_import_shortcut_set1
QPushButton * btn_import_shortcut_set1
Definition: ui-settings-dialog.h:274
Ui_settings_dialog::verticalSpacer_2
QSpacerItem * verticalSpacer_2
Definition: ui-settings-dialog.h:246
translate
void translate(Matrix &m, double x, double y, double z)
Definition: graphics.cc:5287
Ui_settings_dialog::horizontalLayout_10
QHBoxLayout * horizontalLayout_10
Definition: ui-settings-dialog.h:278
Ui_settings_dialog::horizontalLayout
QHBoxLayout * horizontalLayout
Definition: ui-settings-dialog.h:136
Ui_settings_dialog::verticalLayout_10
QVBoxLayout * verticalLayout_10
Definition: ui-settings-dialog.h:46
Ui_settings_dialog::horizontalSpacer_7
QSpacerItem * horizontalSpacer_7
Definition: ui-settings-dialog.h:111
Ui_settings_dialog::gridLayout_14
QGridLayout * gridLayout_14
Definition: ui-settings-dialog.h:252
Ui_settings_dialog::cb_prompt_to_exit
QCheckBox * cb_prompt_to_exit
Definition: ui-settings-dialog.h:58
Ui_settings_dialog::verticalLayout_7
QVBoxLayout * verticalLayout_7
Definition: ui-settings-dialog.h:192
Ui_settings_dialog::cb_code_folding
QCheckBox * cb_code_folding
Definition: ui-settings-dialog.h:128
Ui_settings_dialog::label_5
QLabel * label_5
Definition: ui-settings-dialog.h:293
Ui_settings_dialog::label_12
QLabel * label_12
Definition: ui-settings-dialog.h:205
Ui_settings_dialog::cb_edit_status_bar
QCheckBox * cb_edit_status_bar
Definition: ui-settings-dialog.h:129
Ui_settings_dialog::editor_notebook_tab_width_min
QSpinBox * editor_notebook_tab_width_min
Definition: ui-settings-dialog.h:122
Ui_settings_dialog::label_13
QLabel * label_13
Definition: ui-settings-dialog.h:145
Generated on Thu Jun 4 2015 23:30:12 for GNU Octave by   doxygen 1.8.8