9 #ifndef UI_2D_SETTINGS_2D_DIALOG_H
10 #define UI_2D_SETTINGS_2D_DIALOG_H
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>
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"));
306 tabWidget->setObjectName(QString::fromUtf8(
"tabWidget"));
307 tabWidget->setMinimumSize(QSize(0, 0));
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);
331 gridLayout->addWidget(label_15, 4, 0, 1, 1);
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);
339 horizontalLayout_8->addWidget(comboBox_language);
341 horizontalSpacer_3 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
343 horizontalLayout_8->addItem(horizontalSpacer_3);
346 gridLayout->addLayout(horizontalLayout_8, 1, 1, 1, 1);
348 label_8 =
new QLabel(groupBox);
349 label_8->setObjectName(QString::fromUtf8(
"label_8"));
350 label_8->setAlignment(Qt::AlignLeading|Qt::AlignLeft|Qt::AlignTop);
352 gridLayout->addWidget(label_8, 2, 0, 1, 1);
354 cb_prompt_to_exit =
new QCheckBox(groupBox);
355 cb_prompt_to_exit->setObjectName(QString::fromUtf8(
"cb_prompt_to_exit"));
357 gridLayout->addWidget(cb_prompt_to_exit, 6, 0, 1, 1);
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"));
364 horizontalLayout_6->addWidget(icon_size_small);
366 icon_size_normal =
new QRadioButton(groupBox);
367 icon_size_normal->setObjectName(QString::fromUtf8(
"icon_size_normal"));
368 icon_size_normal->setChecked(
true);
370 horizontalLayout_6->addWidget(icon_size_normal);
372 icon_size_large =
new QRadioButton(groupBox);
373 icon_size_large->setObjectName(QString::fromUtf8(
"icon_size_large"));
375 horizontalLayout_6->addWidget(icon_size_large);
377 horizontalSpacer_4 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
379 horizontalLayout_6->addItem(horizontalSpacer_4);
382 gridLayout->addLayout(horizontalLayout_6, 2, 1, 1, 1);
384 label_2 =
new QLabel(groupBox);
385 label_2->setObjectName(QString::fromUtf8(
"label_2"));
387 gridLayout->addWidget(label_2, 1, 0, 1, 1);
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);
395 horizontalLayout_9->addWidget(general_icon_octave);
397 general_icon_letter =
new QRadioButton(groupBox);
398 general_icon_letter->setObjectName(QString::fromUtf8(
"general_icon_letter"));
400 horizontalLayout_9->addWidget(general_icon_letter);
402 general_icon_graphic =
new QRadioButton(groupBox);
403 general_icon_graphic->setObjectName(QString::fromUtf8(
"general_icon_graphic"));
405 horizontalLayout_9->addWidget(general_icon_graphic);
407 horizontalSpacer_6 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
409 horizontalLayout_9->addItem(horizontalSpacer_6);
412 gridLayout->addLayout(horizontalLayout_9, 3, 1, 1, 1);
414 label_9 =
new QLabel(groupBox);
415 label_9->setObjectName(QString::fromUtf8(
"label_9"));
417 gridLayout->addWidget(label_9, 3, 0, 1, 1);
419 cb_status_bar =
new QCheckBox(groupBox);
420 cb_status_bar->setObjectName(QString::fromUtf8(
"cb_status_bar"));
421 cb_status_bar->setChecked(
true);
423 gridLayout->addWidget(cb_status_bar, 5, 0, 1, 1);
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);
435 gridLayout_13->addWidget(label_bgtitle_active, 0, 9, 1, 1);
437 layout_widget_fgtitle =
new QHBoxLayout();
438 layout_widget_fgtitle->setObjectName(QString::fromUtf8(
"layout_widget_fgtitle"));
440 gridLayout_13->addLayout(layout_widget_fgtitle, 1, 4, 1, 1);
442 horizontalSpacer_22 =
new QSpacerItem(40, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);
444 gridLayout_13->addItem(horizontalSpacer_22, 0, 1, 1, 1);
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);
451 gridLayout_13->addWidget(label_fgtitle, 1, 2, 1, 1);
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);
458 gridLayout_13->addWidget(label_fgtitle_active, 1, 9, 1, 1);
460 horizontalSpacer_23 =
new QSpacerItem(12, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);
462 gridLayout_13->addItem(horizontalSpacer_23, 0, 7, 1, 1);
464 cb_widget_custom_style =
new QCheckBox(groupBox);
465 cb_widget_custom_style->setObjectName(QString::fromUtf8(
"cb_widget_custom_style"));
467 gridLayout_13->addWidget(cb_widget_custom_style, 0, 0, 1, 1);
469 layout_widget_bgtitle =
new QHBoxLayout();
470 layout_widget_bgtitle->setObjectName(QString::fromUtf8(
"layout_widget_bgtitle"));
472 gridLayout_13->addLayout(layout_widget_bgtitle, 0, 4, 1, 1);
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);
479 gridLayout_13->addWidget(label_bgtitle, 0, 2, 1, 1);
481 layout_widget_bgtitle_active =
new QHBoxLayout();
482 layout_widget_bgtitle_active->setObjectName(QString::fromUtf8(
"layout_widget_bgtitle_active"));
484 gridLayout_13->addLayout(layout_widget_bgtitle_active, 0, 10, 1, 1);
486 layout_widget_fgtitle_active =
new QHBoxLayout();
487 layout_widget_fgtitle_active->setObjectName(QString::fromUtf8(
"layout_widget_fgtitle_active"));
489 gridLayout_13->addLayout(layout_widget_fgtitle_active, 1, 10, 1, 1);
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);
496 gridLayout_13->addWidget(label_3d_title, 1, 0, 1, 1);
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);
510 gridLayout_13->addWidget(sb_3d_title, 1, 1, 1, 1);
513 horizontalLayout_4->addLayout(gridLayout_13);
515 horizontalSpacer_21 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
517 horizontalLayout_4->addItem(horizontalSpacer_21);
520 gridLayout->addLayout(horizontalLayout_4, 4, 1, 1, 1);
523 verticalLayout_21->addLayout(gridLayout);
526 verticalLayout_17->addWidget(groupBox);
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"));
535 verticalLayout_22->addWidget(label_18);
537 gridLayout_9 =
new QGridLayout();
538 gridLayout_9->setObjectName(QString::fromUtf8(
"gridLayout_9"));
539 horizontalSpacer =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
541 gridLayout_9->addItem(horizontalSpacer, 0, 5, 1, 1);
543 horizontalSpacer_5 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
545 gridLayout_9->addItem(horizontalSpacer_5, 1, 5, 1, 1);
547 label_17 =
new QLabel(groupBox_2);
548 label_17->setObjectName(QString::fromUtf8(
"label_17"));
550 gridLayout_9->addWidget(label_17, 0, 0, 1, 1);
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);
560 gridLayout_9->addWidget(pb_octave_dir, 1, 3, 1, 1);
562 cb_restore_octave_dir =
new QCheckBox(groupBox_2);
563 cb_restore_octave_dir->setObjectName(QString::fromUtf8(
"cb_restore_octave_dir"));
565 gridLayout_9->addWidget(cb_restore_octave_dir, 0, 1, 1, 1);
567 le_octave_dir =
new QLineEdit(groupBox_2);
568 le_octave_dir->setObjectName(QString::fromUtf8(
"le_octave_dir"));
570 gridLayout_9->addWidget(le_octave_dir, 1, 1, 1, 1);
573 verticalLayout_22->addLayout(gridLayout_9);
576 verticalLayout_17->addWidget(groupBox_2);
578 verticalSpacer =
new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
580 verticalLayout_17->addItem(verticalSpacer);
582 scrollArea_2->setWidget(scrollAreaWidgetContents_2);
584 verticalLayout_10->addWidget(scrollArea_2);
586 tabWidget->addTab(tab_general, QString());
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);
614 editor_common_settings_grid->addWidget(editor_long_line_marker, 6, 0, 1, 1);
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);
622 editor_common_settings_grid->addWidget(cb_edit_tool_bar, 8, 2, 1, 1);
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);
630 editor_common_settings_grid->addWidget(editor_showLineNumbers, 2, 0, 1, 1);
632 horizontalSpacer_24 =
new QSpacerItem(10, 0, QSizePolicy::Fixed, QSizePolicy::Minimum);
634 editor_common_settings_grid->addItem(horizontalSpacer_24, 1, 1, 1, 1);
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);
644 editor_grid_current_line->addWidget(editor_label_cl_color, 0, 1, 1, 1);
646 horizontalSpacer_11 =
new QSpacerItem(80, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);
648 editor_grid_current_line->addItem(horizontalSpacer_11, 0, 3, 1, 1);
650 horizontalSpacer_9 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
652 editor_grid_current_line->addItem(horizontalSpacer_9, 0, 4, 1, 1);
655 editor_common_settings_grid->addLayout(editor_grid_current_line, 5, 2, 1, 1);
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);
663 editor_common_settings_grid->addWidget(editor_highlightCurrentLine, 5, 0, 1, 1);
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);
670 editor_common_settings_grid->addWidget(editor_longWindowTitle, 1, 0, 1, 1);
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);
677 editor_common_settings_grid->addWidget(editor_ws_checkbox, 3, 0, 1, 1);
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);
684 editor_common_settings_grid->addWidget(cb_show_eol, 4, 0, 1, 1);
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"));
691 gridLayout_6->addWidget(editor_lbl_min_tab_width, 0, 0, 1, 1);
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);
702 gridLayout_6->addWidget(editor_notebook_tab_width_min, 0, 3, 1, 1);
704 horizontalSpacer_25 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
706 gridLayout_6->addItem(horizontalSpacer_25, 0, 6, 1, 1);
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);
717 gridLayout_6->addWidget(editor_notebook_tab_width_max, 0, 5, 1, 1);
719 editor_lbl_max_tab_width =
new QLabel(groupBox_5);
720 editor_lbl_max_tab_width->setObjectName(QString::fromUtf8(
"editor_lbl_max_tab_width"));
722 gridLayout_6->addWidget(editor_lbl_max_tab_width, 0, 4, 1, 1);
725 editor_common_settings_grid->addLayout(gridLayout_6, 1, 2, 1, 1);
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"));
732 horizontalLayout_3->addWidget(editor_long_line_column_text);
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);
742 horizontalLayout_3->addWidget(editor_long_line_column);
744 horizontalSpacer_7 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
746 horizontalLayout_3->addItem(horizontalSpacer_7);
749 editor_common_settings_grid->addLayout(horizontalLayout_3, 6, 2, 1, 1);
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);
757 editor_common_settings_grid->addWidget(cb_code_folding, 7, 0, 1, 1);
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);
763 editor_common_settings_grid->addWidget(editor_ws_indent_checkbox, 3, 2, 1, 1);
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);
772 editor_common_settings_grid->addWidget(cb_show_hscrollbar, 9, 0, 1, 1);
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);
780 editor_common_settings_grid->addWidget(cb_edit_status_bar, 8, 0, 1, 1);
783 verticalLayout_13->addLayout(editor_common_settings_grid);
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);
796 horizontalLayout->addWidget(useCustomFileEditor);
798 customEditorLabel =
new QLabel(groupBox_5);
799 customEditorLabel->setObjectName(QString::fromUtf8(
"customEditorLabel"));
800 customEditorLabel->setEnabled(
false);
802 horizontalLayout->addWidget(customEditorLabel);
804 customFileEditor =
new QLineEdit(groupBox_5);
805 customFileEditor->setObjectName(QString::fromUtf8(
"customFileEditor"));
806 customFileEditor->setEnabled(
false);
808 horizontalLayout->addWidget(customFileEditor);
810 horizontalSpacer_12 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
812 horizontalLayout->addItem(horizontalSpacer_12);
815 verticalLayout_13->addLayout(horizontalLayout);
818 verticalLayout_16->addWidget(groupBox_5);
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);
828 gridLayout_4->addItem(horizontalSpacer_14, 0, 5, 1, 1);
830 label_13 =
new QLabel(groupBox_6);
831 label_13->setObjectName(QString::fromUtf8(
"label_13"));
833 gridLayout_4->addWidget(label_13, 0, 0, 1, 1);
835 editor_tab_ind_checkbox =
new QCheckBox(groupBox_6);
836 editor_tab_ind_checkbox->setObjectName(QString::fromUtf8(
"editor_tab_ind_checkbox"));
838 gridLayout_4->addWidget(editor_tab_ind_checkbox, 2, 4, 1, 1);
840 editor_auto_ind_checkbox =
new QCheckBox(groupBox_6);
841 editor_auto_ind_checkbox->setObjectName(QString::fromUtf8(
"editor_auto_ind_checkbox"));
843 gridLayout_4->addWidget(editor_auto_ind_checkbox, 0, 4, 1, 1);
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);
853 gridLayout_4->addWidget(editor_ind_width_spinbox, 0, 2, 1, 1);
855 label_14 =
new QLabel(groupBox_6);
856 label_14->setObjectName(QString::fromUtf8(
"label_14"));
858 gridLayout_4->addWidget(label_14, 2, 0, 1, 1);
860 editor_ind_guides_checkbox =
new QCheckBox(groupBox_6);
861 editor_ind_guides_checkbox->setObjectName(QString::fromUtf8(
"editor_ind_guides_checkbox"));
863 gridLayout_4->addWidget(editor_ind_guides_checkbox, 0, 6, 1, 1);
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);
872 gridLayout_4->addWidget(editor_tab_width_spinbox, 2, 2, 1, 1);
874 editor_bs_unind_checkbox =
new QCheckBox(groupBox_6);
875 editor_bs_unind_checkbox->setObjectName(QString::fromUtf8(
"editor_bs_unind_checkbox"));
877 gridLayout_4->addWidget(editor_bs_unind_checkbox, 2, 6, 1, 1);
879 horizontalSpacer_10 =
new QSpacerItem(10, 0, QSizePolicy::Fixed, QSizePolicy::Minimum);
881 gridLayout_4->addItem(horizontalSpacer_10, 0, 3, 1, 1);
883 editor_ind_uses_tabs_checkbox =
new QCheckBox(groupBox_6);
884 editor_ind_uses_tabs_checkbox->setObjectName(QString::fromUtf8(
"editor_ind_uses_tabs_checkbox"));
886 gridLayout_4->addWidget(editor_ind_uses_tabs_checkbox, 3, 4, 1, 1);
888 horizontalSpacer_20 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
890 gridLayout_4->addItem(horizontalSpacer_20, 2, 10, 1, 1);
892 horizontalSpacer_13 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
894 gridLayout_4->addItem(horizontalSpacer_13, 0, 10, 1, 1);
897 verticalLayout_28->addLayout(gridLayout_4);
900 verticalLayout_16->addWidget(groupBox_6);
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);
910 gridLayout_3->addItem(horizontalSpacer_15, 0, 1, 1, 1);
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);
917 gridLayout_3->addWidget(editor_checkbox_ac_keywords, 0, 0, 1, 1);
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);
924 gridLayout_3->addWidget(editor_checkbox_ac_case, 2, 0, 1, 1);
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);
930 gridLayout_3->addWidget(editor_checkbox_ac_document, 1, 0, 1, 1);
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);
936 gridLayout_3->addWidget(editor_checkbox_ac_replace, 2, 2, 1, 1);
938 horizontalSpacer_8 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
940 gridLayout_3->addItem(horizontalSpacer_8, 0, 3, 1, 1);
942 horizontalSpacer_19 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
944 gridLayout_3->addItem(horizontalSpacer_19, 2, 3, 1, 1);
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);
952 horizontalLayout_14->addWidget(editor_checkbox_ac_builtins);
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);
958 horizontalLayout_14->addWidget(editor_checkbox_ac_functions);
961 gridLayout_3->addLayout(horizontalLayout_14, 0, 2, 1, 1);
964 verticalLayout_29->addLayout(gridLayout_3);
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);
972 gridLayout_10->addWidget(editor_label_ac_threshold, 0, 2, 1, 1);
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);
981 gridLayout_10->addWidget(editor_spinbox_ac_threshold, 0, 3, 1, 1);
983 horizontalSpacer_2 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
985 gridLayout_10->addItem(horizontalSpacer_2, 0, 4, 1, 1);
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);
992 gridLayout_10->addWidget(editor_codeCompletion, 0, 0, 1, 1);
994 horizontalSpacer_31 =
new QSpacerItem(10, 0, QSizePolicy::Fixed, QSizePolicy::Minimum);
996 gridLayout_10->addItem(horizontalSpacer_31, 0, 1, 1, 1);
999 verticalLayout_29->addLayout(gridLayout_10);
1002 verticalLayout_16->addWidget(groupBox_7);
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"));
1017 gridLayout_11->addWidget(editor_reload_changed_files, 4, 0, 1, 1);
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);
1027 gridLayout_11->addWidget(editor_restoreSession, 1, 0, 1, 1);
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);
1034 gridLayout_11->addWidget(editor_create_new_file, 3, 0, 1, 1);
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"));
1042 horizontalLayout_2->addWidget(label_22);
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);
1051 horizontalLayout_2->addWidget(combo_eol_mode);
1053 horizontalSpacer_18 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
1055 horizontalLayout_2->addItem(horizontalSpacer_18);
1058 gridLayout_11->addLayout(horizontalLayout_2, 5, 0, 1, 1);
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"));
1065 horizontalLayout_16->addWidget(label_16);
1067 editor_combo_encoding =
new QComboBox(groupBox_8);
1068 editor_combo_encoding->setObjectName(QString::fromUtf8(
"editor_combo_encoding"));
1070 horizontalLayout_16->addWidget(editor_combo_encoding);
1072 horizontalSpacer_32 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
1074 horizontalLayout_16->addItem(horizontalSpacer_32);
1077 gridLayout_11->addLayout(horizontalLayout_16, 7, 0, 1, 1);
1080 verticalLayout_11->addLayout(gridLayout_11);
1083 verticalLayout_30->addLayout(verticalLayout_11);
1086 verticalLayout_16->addWidget(groupBox_8);
1088 verticalSpacer_7 =
new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
1090 verticalLayout_16->addItem(verticalSpacer_7);
1092 scrollArea->setWidget(scrollAreaWidgetContents);
1094 verticalLayout_6->addWidget(scrollArea);
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);
1121 verticalLayout_5->addWidget(label_10);
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);
1128 verticalLayout_5->addWidget(tabs_editor_lexers);
1131 verticalLayout_12->addLayout(verticalLayout_5);
1133 tabWidget->addTab(tab_editor_styles, QString());
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"));
1156 horizontalLayout_13->addWidget(terminal_cursorUseForegroundColor);
1158 terminal_cursorBlinking =
new QCheckBox(scrollAreaWidgetContents_4);
1159 terminal_cursorBlinking->setObjectName(QString::fromUtf8(
"terminal_cursorBlinking"));
1161 horizontalLayout_13->addWidget(terminal_cursorBlinking);
1164 gridLayout_7->addLayout(horizontalLayout_13, 1, 2, 1, 1);
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"));
1171 horizontalLayout_7->addWidget(label);
1173 terminal_cursorType =
new QComboBox(scrollAreaWidgetContents_4);
1174 terminal_cursorType->setObjectName(QString::fromUtf8(
"terminal_cursorType"));
1176 horizontalLayout_7->addWidget(terminal_cursorType);
1179 gridLayout_7->addLayout(horizontalLayout_7, 1, 0, 1, 1);
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"));
1186 horizontalLayout_11->addWidget(label_11);
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);
1195 horizontalLayout_11->addWidget(terminal_fontName);
1198 gridLayout_7->addLayout(horizontalLayout_11, 0, 0, 1, 1);
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"));
1205 horizontalLayout_12->addWidget(label_12);
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);
1215 horizontalLayout_12->addWidget(terminal_fontSize);
1217 horizontalSpacer_27 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
1219 horizontalLayout_12->addItem(horizontalSpacer_27);
1222 gridLayout_7->addLayout(horizontalLayout_12, 0, 2, 1, 1);
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);
1236 horizontalLayout_5->addWidget(terminal_history_buffer);
1238 label_20 =
new QLabel(scrollAreaWidgetContents_4);
1239 label_20->setObjectName(QString::fromUtf8(
"label_20"));
1241 horizontalLayout_5->addWidget(label_20);
1243 horizontalSpacer_16 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
1245 horizontalLayout_5->addItem(horizontalSpacer_16);
1248 gridLayout_7->addLayout(horizontalLayout_5, 2, 2, 1, 1);
1250 label_19 =
new QLabel(scrollAreaWidgetContents_4);
1251 label_19->setObjectName(QString::fromUtf8(
"label_19"));
1252 label_19->setMinimumSize(QSize(100, 20));
1254 gridLayout_7->addWidget(label_19, 2, 0, 1, 1);
1256 horizontalSpacer_28 =
new QSpacerItem(20, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);
1258 gridLayout_7->addItem(horizontalSpacer_28, 0, 1, 1, 1);
1261 verticalLayout_8->addLayout(gridLayout_7);
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"));
1268 gridLayout_15->addWidget(terminal_focus_command, 0, 0, 1, 1);
1270 terminal_print_dbg_location =
new QCheckBox(scrollAreaWidgetContents_4);
1271 terminal_print_dbg_location->setObjectName(QString::fromUtf8(
"terminal_print_dbg_location"));
1273 gridLayout_15->addWidget(terminal_print_dbg_location, 1, 0, 1, 1);
1276 verticalLayout_8->addLayout(gridLayout_15);
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);
1283 verticalLayout_8->addWidget(line_7);
1285 terminal_colors_box =
new QGroupBox(scrollAreaWidgetContents_4);
1286 terminal_colors_box->setObjectName(QString::fromUtf8(
"terminal_colors_box"));
1288 verticalLayout_8->addWidget(terminal_colors_box);
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);
1296 verticalLayout_8->addWidget(line_5);
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);
1303 verticalLayout_8->addWidget(line_6);
1306 verticalLayout_7->addLayout(verticalLayout_8);
1308 verticalSpacer_3 =
new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
1310 verticalLayout_7->addItem(verticalSpacer_3);
1312 scrollArea_3->setWidget(scrollAreaWidgetContents_4);
1314 verticalLayout_14->addWidget(scrollArea_3);
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"));
1338 verticalLayout_18->addWidget(sync_octave_directory);
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);
1344 lo_file_browser_startup->addItem(horizontalSpacer_30, 1, 3, 1, 1);
1346 cb_restore_file_browser_dir =
new QCheckBox(groupBox_4);
1347 cb_restore_file_browser_dir->setObjectName(QString::fromUtf8(
"cb_restore_file_browser_dir"));
1349 lo_file_browser_startup->addWidget(cb_restore_file_browser_dir, 0, 1, 1, 1);
1351 horizontalSpacer_29 =
new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
1353 lo_file_browser_startup->addItem(horizontalSpacer_29, 0, 3, 1, 1);
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);
1360 lo_file_browser_startup->addWidget(pb_file_browser_dir, 1, 2, 1, 1);
1362 lbl_file_browser_dir =
new QLabel(groupBox_4);
1363 lbl_file_browser_dir->setObjectName(QString::fromUtf8(
"lbl_file_browser_dir"));
1365 lo_file_browser_startup->addWidget(lbl_file_browser_dir, 0, 0, 1, 1);
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);
1372 lo_file_browser_startup->addWidget(le_file_browser_dir, 1, 1, 1, 1);
1375 verticalLayout_18->addLayout(lo_file_browser_startup);
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"));
1382 verticalLayout_9->addWidget(lbl_file_browser_extensions);
1384 le_file_browser_extensions =
new QLineEdit(groupBox_4);
1385 le_file_browser_extensions->setObjectName(QString::fromUtf8(
"le_file_browser_extensions"));
1387 verticalLayout_9->addWidget(le_file_browser_extensions);
1390 verticalLayout_18->addLayout(verticalLayout_9);
1393 gridLayout_2->addLayout(verticalLayout_18, 0, 0, 1, 1);
1396 gridLayout_8->addWidget(groupBox_4, 0, 0, 1, 1);
1398 verticalSpacer_2 =
new QSpacerItem(20, 360, QSizePolicy::Minimum, QSizePolicy::Expanding);
1400 gridLayout_8->addItem(verticalSpacer_2, 1, 0, 1, 1);
1402 scrollArea_4->setWidget(scrollAreaWidgetContents_5);
1404 verticalLayout_3->addWidget(scrollArea_4);
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);
1428 gridLayout_14->addWidget(workspace_colors_box, 0, 0, 1, 1);
1430 cb_hide_tool_tips =
new QCheckBox(scrollAreaWidgetContents_6);
1431 cb_hide_tool_tips->setObjectName(QString::fromUtf8(
"cb_hide_tool_tips"));
1433 gridLayout_14->addWidget(cb_hide_tool_tips, 1, 0, 1, 1);
1436 verticalLayout_19->addLayout(gridLayout_14);
1438 verticalSpacer_6 =
new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
1440 verticalLayout_19->addItem(verticalSpacer_6);
1442 scrollArea_5->setWidget(scrollAreaWidgetContents_6);
1444 verticalLayout_15->addWidget(scrollArea_5);
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);
1469 horizontalLayout_15->addWidget(cb_prevent_readline_conflicts);
1472 verticalLayout_26->addLayout(horizontalLayout_15);
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);
1479 verticalLayout_26->addWidget(line_9);
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);
1486 gridLayout_12->addItem(horizontalSpacer_26, 0, 3, 1, 1);
1488 btn_import_shortcut_set =
new QPushButton(scrollAreaWidgetContents_8);
1489 btn_import_shortcut_set->setObjectName(QString::fromUtf8(
"btn_import_shortcut_set"));
1491 gridLayout_12->addWidget(btn_import_shortcut_set, 0, 0, 1, 1);
1493 btn_export_shortcut_set =
new QPushButton(scrollAreaWidgetContents_8);
1494 btn_export_shortcut_set->setObjectName(QString::fromUtf8(
"btn_export_shortcut_set"));
1496 gridLayout_12->addWidget(btn_export_shortcut_set, 0, 1, 1, 1);
1498 btn_default_shortcut_set =
new QPushButton(scrollAreaWidgetContents_8);
1499 btn_default_shortcut_set->setObjectName(QString::fromUtf8(
"btn_default_shortcut_set"));
1501 gridLayout_12->addWidget(btn_default_shortcut_set, 0, 2, 1, 1);
1504 verticalLayout_26->addLayout(gridLayout_12);
1506 label_21 =
new QLabel(scrollAreaWidgetContents_8);
1507 label_21->setObjectName(QString::fromUtf8(
"label_21"));
1509 verticalLayout_26->addWidget(label_21);
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);
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);
1536 horizontalLayout_10->addWidget(shortcuts_treewidget);
1539 verticalLayout_26->addLayout(horizontalLayout_10);
1542 verticalLayout_25->addLayout(verticalLayout_26);
1544 scrollArea_7->setWidget(scrollAreaWidgetContents_8);
1546 verticalLayout_27->addWidget(scrollArea_7);
1548 tabWidget->addTab(tab_shortcuts, QString());
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"));
1566 verticalLayout->addWidget(checkbox_allow_web_connect);
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);
1574 gridLayout_5->addWidget(label_4, 1, 1, 1, 1);
1576 proxyType =
new QComboBox(scrollAreaWidgetContents_7);
1577 proxyType->setObjectName(QString::fromUtf8(
"proxyType"));
1578 proxyType->setEnabled(
false);
1580 gridLayout_5->addWidget(proxyType, 0, 2, 1, 1);
1582 label_6 =
new QLabel(scrollAreaWidgetContents_7);
1583 label_6->setObjectName(QString::fromUtf8(
"label_6"));
1584 label_6->setEnabled(
false);
1586 gridLayout_5->addWidget(label_6, 3, 1, 1, 1);
1588 useProxyServer =
new QCheckBox(scrollAreaWidgetContents_7);
1589 useProxyServer->setObjectName(QString::fromUtf8(
"useProxyServer"));
1591 gridLayout_5->addWidget(useProxyServer, 0, 0, 1, 1);
1593 label_3 =
new QLabel(scrollAreaWidgetContents_7);
1594 label_3->setObjectName(QString::fromUtf8(
"label_3"));
1595 label_3->setEnabled(
false);
1597 gridLayout_5->addWidget(label_3, 0, 1, 1, 1);
1599 label_5 =
new QLabel(scrollAreaWidgetContents_7);
1600 label_5->setObjectName(QString::fromUtf8(
"label_5"));
1601 label_5->setEnabled(
false);
1603 gridLayout_5->addWidget(label_5, 2, 1, 1, 1);
1605 label_7 =
new QLabel(scrollAreaWidgetContents_7);
1606 label_7->setObjectName(QString::fromUtf8(
"label_7"));
1607 label_7->setEnabled(
false);
1609 gridLayout_5->addWidget(label_7, 4, 1, 1, 1);
1611 proxyHostName =
new QLineEdit(scrollAreaWidgetContents_7);
1612 proxyHostName->setObjectName(QString::fromUtf8(
"proxyHostName"));
1613 proxyHostName->setEnabled(
false);
1615 gridLayout_5->addWidget(proxyHostName, 1, 2, 1, 1);
1617 proxyPort =
new QLineEdit(scrollAreaWidgetContents_7);
1618 proxyPort->setObjectName(QString::fromUtf8(
"proxyPort"));
1619 proxyPort->setEnabled(
false);
1621 gridLayout_5->addWidget(proxyPort, 2, 2, 1, 1);
1623 proxyUserName =
new QLineEdit(scrollAreaWidgetContents_7);
1624 proxyUserName->setObjectName(QString::fromUtf8(
"proxyUserName"));
1625 proxyUserName->setEnabled(
false);
1627 gridLayout_5->addWidget(proxyUserName, 3, 2, 1, 1);
1629 proxyPassword =
new QLineEdit(scrollAreaWidgetContents_7);
1630 proxyPassword->setObjectName(QString::fromUtf8(
"proxyPassword"));
1631 proxyPassword->setEnabled(
false);
1632 proxyPassword->setEchoMode(QLineEdit::Password);
1634 gridLayout_5->addWidget(proxyPassword, 4, 2, 1, 1);
1637 verticalLayout->addLayout(gridLayout_5);
1640 verticalLayout_20->addLayout(verticalLayout);
1642 verticalSpacer_5 =
new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
1644 verticalLayout_20->addItem(verticalSpacer_5);
1646 scrollArea_6->setWidget(scrollAreaWidgetContents_7);
1648 verticalLayout_4->addWidget(scrollArea_6);
1650 tabWidget->addTab(tab_network, QString());
1652 verticalLayout_2->addWidget(tabWidget);
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);
1658 verticalLayout_2->addWidget(button_box);
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)));
1697 tabWidget->setCurrentIndex(3);
1700 QMetaObject::connectSlotsByName(settings_dialog);
1705 settings_dialog->setWindowTitle(
QApplication::translate(
"settings_dialog",
"Settings", 0, QApplication::UnicodeUTF8));
1707 label_15->setText(
QApplication::translate(
"settings_dialog",
"Dock widget title bar", 0, QApplication::UnicodeUTF8));
1709 cb_prompt_to_exit->setText(
QApplication::translate(
"settings_dialog",
"Confirm before exiting", 0, QApplication::UnicodeUTF8));
1711 icon_size_normal->setText(
QApplication::translate(
"settings_dialog",
"Normal", 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));
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));
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));
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));
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));
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()
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));
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));
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));
1839 proxyType->insertItems(0, QStringList()
1844 useProxyServer->setText(
QApplication::translate(
"settings_dialog",
"Use proxy server", 0, QApplication::UnicodeUTF8));
1848 tabWidget->setTabText(tabWidget->indexOf(tab_network),
QApplication::translate(
"settings_dialog",
"Network", 0, QApplication::UnicodeUTF8));
1859 #endif // UI_2D_SETTINGS_2D_DIALOG_H
QSpacerItem * horizontalSpacer_19
QLabel * editor_lbl_min_tab_width
QLineEdit * le_octave_dir
QHBoxLayout * layout_widget_fgtitle
QVBoxLayout * verticalLayout_19
QScrollArea * scrollArea_4
QWidget * scrollAreaWidgetContents_5
QVBoxLayout * verticalLayout_8
QComboBox * comboBox_language
QLineEdit * proxyUserName
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
QCheckBox * cb_hide_tool_tips
QCheckBox * useCustomFileEditor
QCheckBox * cb_show_hscrollbar
QVBoxLayout * verticalLayout_26
QHBoxLayout * horizontalLayout_8
QScrollArea * scrollArea_2
QGridLayout * gridLayout_11
QVBoxLayout * verticalLayout_29
QCheckBox * cb_restore_octave_dir
QHBoxLayout * horizontalLayout_4
QLabel * label_fgtitle_active
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
QLabel * customEditorLabel
QGridLayout * gridLayout_2
QRadioButton * general_icon_graphic
QSpacerItem * horizontalSpacer_28
QSpacerItem * horizontalSpacer_5
QSpacerItem * horizontalSpacer_9
QLabel * editor_lbl_max_tab_width
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
QSpinBox * terminal_fontSize
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
QLineEdit * proxyHostName
QSpacerItem * horizontalSpacer_18
QVBoxLayout * verticalLayout_3
QHBoxLayout * horizontalLayout_12
QCheckBox * editor_long_line_marker
QRadioButton * icon_size_normal
QCheckBox * useProxyServer
QVBoxLayout * verticalLayout_28
QWidget * scrollAreaWidgetContents_8
QHBoxLayout * layout_widget_bgtitle_active
QLineEdit * le_file_browser_extensions
QWidget * tab_editor_styles
QFontComboBox * terminal_fontName
QSpacerItem * verticalSpacer_5
QLabel * lbl_file_browser_dir
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
QCheckBox * cb_status_bar
QSpacerItem * horizontalSpacer_11
QPushButton * btn_default_shortcut_set
QLabel * label_bgtitle_active
QWidget * tab_file_browser
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
QLineEdit * proxyPassword
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
QComboBox * combo_eol_mode
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
QLabel * editor_label_cl_color
QVBoxLayout * verticalLayout_5
QSpacerItem * verticalSpacer_2
void translate(Matrix &m, double x, double y, double z)
QHBoxLayout * horizontalLayout_10
QHBoxLayout * horizontalLayout
QVBoxLayout * verticalLayout_10
QSpacerItem * horizontalSpacer_7
QGridLayout * gridLayout_14
QCheckBox * cb_prompt_to_exit
QVBoxLayout * verticalLayout_7
QCheckBox * cb_code_folding
QCheckBox * cb_edit_status_bar
QSpinBox * editor_notebook_tab_width_min