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