1<?xml version="1.0" encoding="UTF-8"?> 2<ui version="4.0"> 3 <class>settings_dialog</class> 4 <widget class="QDialog" name="settings_dialog"> 5 <property name="windowModality"> 6 <enum>Qt::ApplicationModal</enum> 7 </property> 8 <property name="geometry"> 9 <rect> 10 <x>0</x> 11 <y>0</y> 12 <width>1077</width> 13 <height>673</height> 14 </rect> 15 </property> 16 <property name="minimumSize"> 17 <size> 18 <width>400</width> 19 <height>400</height> 20 </size> 21 </property> 22 <property name="windowTitle"> 23 <string>Preferences</string> 24 </property> 25 <layout class="QVBoxLayout" name="verticalLayout_2"> 26 <item> 27 <widget class="QTabWidget" name="tabWidget"> 28 <property name="minimumSize"> 29 <size> 30 <width>0</width> 31 <height>0</height> 32 </size> 33 </property> 34 <property name="currentIndex"> 35 <number>5</number> 36 </property> 37 <widget class="QWidget" name="tab_general"> 38 <property name="enabled"> 39 <bool>true</bool> 40 </property> 41 <attribute name="title"> 42 <string>General</string> 43 </attribute> 44 <layout class="QVBoxLayout" name="verticalLayout_10"> 45 <item> 46 <widget class="QScrollArea" name="scrollArea_2"> 47 <property name="widgetResizable"> 48 <bool>true</bool> 49 </property> 50 <widget class="QWidget" name="scrollAreaWidgetContents_2"> 51 <property name="geometry"> 52 <rect> 53 <x>0</x> 54 <y>0</y> 55 <width>1021</width> 56 <height>607</height> 57 </rect> 58 </property> 59 <layout class="QVBoxLayout" name="verticalLayout_17"> 60 <item> 61 <widget class="QGroupBox" name="groupBox"> 62 <property name="title"> 63 <string>Interface</string> 64 </property> 65 <layout class="QVBoxLayout" name="verticalLayout_21"> 66 <item> 67 <layout class="QGridLayout" name="gridLayout"> 68 <item row="1" column="1"> 69 <layout class="QHBoxLayout" name="horizontalLayout_8"> 70 <item> 71 <widget class="QComboBox" name="comboBox_language"> 72 <property name="minimumSize"> 73 <size> 74 <width>135</width> 75 <height>0</height> 76 </size> 77 </property> 78 <property name="insertPolicy"> 79 <enum>QComboBox::InsertAtBottom</enum> 80 </property> 81 </widget> 82 </item> 83 <item> 84 <widget class="QLabel" name="label_10"> 85 <property name="text"> 86 <string>(requires restart)</string> 87 </property> 88 </widget> 89 </item> 90 <item> 91 <spacer name="horizontalSpacer_3"> 92 <property name="orientation"> 93 <enum>Qt::Horizontal</enum> 94 </property> 95 <property name="sizeHint" stdset="0"> 96 <size> 97 <width>40</width> 98 <height>20</height> 99 </size> 100 </property> 101 </spacer> 102 </item> 103 </layout> 104 </item> 105 <item row="7" column="0"> 106 <widget class="QLabel" name="label_15"> 107 <property name="text"> 108 <string>Dock widget title bar</string> 109 </property> 110 <property name="alignment"> 111 <set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignTop</set> 112 </property> 113 </widget> 114 </item> 115 <item row="8" column="0"> 116 <widget class="QCheckBox" name="cb_use_native_file_dialogs"> 117 <property name="text"> 118 <string>Use native file dialogs</string> 119 </property> 120 <property name="checked"> 121 <bool>true</bool> 122 </property> 123 </widget> 124 </item> 125 <item row="3" column="1"> 126 <layout class="QVBoxLayout" name="verticalLayout_5"> 127 <item> 128 <layout class="QHBoxLayout" name="horizontalLayout_6"> 129 <item> 130 <widget class="QRadioButton" name="icon_size_small"> 131 <property name="text"> 132 <string>Small</string> 133 </property> 134 </widget> 135 </item> 136 <item> 137 <widget class="QRadioButton" name="icon_size_normal"> 138 <property name="text"> 139 <string>Normal</string> 140 </property> 141 <property name="checked"> 142 <bool>true</bool> 143 </property> 144 </widget> 145 </item> 146 <item> 147 <widget class="QRadioButton" name="icon_size_large"> 148 <property name="text"> 149 <string>Large</string> 150 </property> 151 </widget> 152 </item> 153 <item> 154 <spacer name="horizontalSpacer_4"> 155 <property name="orientation"> 156 <enum>Qt::Horizontal</enum> 157 </property> 158 <property name="sizeHint" stdset="0"> 159 <size> 160 <width>40</width> 161 <height>20</height> 162 </size> 163 </property> 164 </spacer> 165 </item> 166 </layout> 167 </item> 168 <item> 169 <widget class="QCheckBox" name="cb_system_icon_theme"> 170 <property name="text"> 171 <string>Use system icon theme if available (requires restart)</string> 172 </property> 173 </widget> 174 </item> 175 </layout> 176 </item> 177 <item row="9" column="0"> 178 <widget class="QCheckBox" name="cb_cursor_blinking"> 179 <property name="text"> 180 <string>Cursor blinking</string> 181 </property> 182 <property name="checked"> 183 <bool>true</bool> 184 </property> 185 </widget> 186 </item> 187 <item row="10" column="0"> 188 <widget class="QCheckBox" name="cb_status_bar"> 189 <property name="text"> 190 <string>Show status bar</string> 191 </property> 192 <property name="checked"> 193 <bool>true</bool> 194 </property> 195 </widget> 196 </item> 197 <item row="5" column="1"> 198 <layout class="QHBoxLayout" name="horizontalLayout_9"> 199 <item> 200 <widget class="QRadioButton" name="general_icon_octave"> 201 <property name="text"> 202 <string>Octave logo only</string> 203 </property> 204 <property name="checked"> 205 <bool>true</bool> 206 </property> 207 </widget> 208 </item> 209 <item> 210 <widget class="QRadioButton" name="general_icon_letter"> 211 <property name="text"> 212 <string>Letter icons</string> 213 </property> 214 </widget> 215 </item> 216 <item> 217 <widget class="QRadioButton" name="general_icon_graphic"> 218 <property name="text"> 219 <string>Graphic icons</string> 220 </property> 221 </widget> 222 </item> 223 <item> 224 <spacer name="horizontalSpacer_6"> 225 <property name="orientation"> 226 <enum>Qt::Horizontal</enum> 227 </property> 228 <property name="sizeHint" stdset="0"> 229 <size> 230 <width>40</width> 231 <height>20</height> 232 </size> 233 </property> 234 </spacer> 235 </item> 236 </layout> 237 </item> 238 <item row="3" column="0"> 239 <widget class="QLabel" name="label_8"> 240 <property name="text"> 241 <string>Toolbar Icons</string> 242 </property> 243 <property name="alignment"> 244 <set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignTop</set> 245 </property> 246 </widget> 247 </item> 248 <item row="5" column="0"> 249 <widget class="QLabel" name="label_9"> 250 <property name="text"> 251 <string>Icon set for dock widgets</string> 252 </property> 253 </widget> 254 </item> 255 <item row="7" column="1"> 256 <layout class="QHBoxLayout" name="horizontalLayout_4"> 257 <item> 258 <layout class="QGridLayout" name="gridLayout_13"> 259 <property name="rightMargin"> 260 <number>0</number> 261 </property> 262 <item row="0" column="9"> 263 <widget class="QLabel" name="label_bgtitle_active"> 264 <property name="enabled"> 265 <bool>false</bool> 266 </property> 267 <property name="text"> 268 <string>Active</string> 269 </property> 270 <property name="alignment"> 271 <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> 272 </property> 273 </widget> 274 </item> 275 <item row="1" column="4"> 276 <layout class="QHBoxLayout" name="layout_widget_fgtitle"/> 277 </item> 278 <item row="0" column="1"> 279 <spacer name="horizontalSpacer_22"> 280 <property name="orientation"> 281 <enum>Qt::Horizontal</enum> 282 </property> 283 <property name="sizeType"> 284 <enum>QSizePolicy::Fixed</enum> 285 </property> 286 <property name="sizeHint" stdset="0"> 287 <size> 288 <width>40</width> 289 <height>20</height> 290 </size> 291 </property> 292 </spacer> 293 </item> 294 <item row="1" column="2"> 295 <widget class="QLabel" name="label_fgtitle"> 296 <property name="enabled"> 297 <bool>false</bool> 298 </property> 299 <property name="text"> 300 <string>Text inactive</string> 301 </property> 302 <property name="alignment"> 303 <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> 304 </property> 305 </widget> 306 </item> 307 <item row="1" column="9"> 308 <widget class="QLabel" name="label_fgtitle_active"> 309 <property name="enabled"> 310 <bool>false</bool> 311 </property> 312 <property name="text"> 313 <string>Active</string> 314 </property> 315 <property name="alignment"> 316 <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> 317 </property> 318 </widget> 319 </item> 320 <item row="0" column="7"> 321 <spacer name="horizontalSpacer_23"> 322 <property name="orientation"> 323 <enum>Qt::Horizontal</enum> 324 </property> 325 <property name="sizeType"> 326 <enum>QSizePolicy::Fixed</enum> 327 </property> 328 <property name="sizeHint" stdset="0"> 329 <size> 330 <width>12</width> 331 <height>20</height> 332 </size> 333 </property> 334 </spacer> 335 </item> 336 <item row="0" column="0"> 337 <widget class="QCheckBox" name="cb_widget_custom_style"> 338 <property name="text"> 339 <string>Custom style</string> 340 </property> 341 </widget> 342 </item> 343 <item row="0" column="4"> 344 <layout class="QHBoxLayout" name="layout_widget_bgtitle"/> 345 </item> 346 <item row="0" column="2"> 347 <widget class="QLabel" name="label_bgtitle"> 348 <property name="enabled"> 349 <bool>false</bool> 350 </property> 351 <property name="text"> 352 <string>Background inactive</string> 353 </property> 354 <property name="alignment"> 355 <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> 356 </property> 357 </widget> 358 </item> 359 <item row="0" column="10"> 360 <layout class="QHBoxLayout" name="layout_widget_bgtitle_active"/> 361 </item> 362 <item row="1" column="10"> 363 <layout class="QHBoxLayout" name="layout_widget_fgtitle_active"/> 364 </item> 365 <item row="1" column="0"> 366 <widget class="QLabel" name="label_3d_title"> 367 <property name="enabled"> 368 <bool>false</bool> 369 </property> 370 <property name="text"> 371 <string>3D</string> 372 </property> 373 <property name="alignment"> 374 <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> 375 </property> 376 </widget> 377 </item> 378 <item row="1" column="1"> 379 <widget class="QSpinBox" name="sb_3d_title"> 380 <property name="enabled"> 381 <bool>false</bool> 382 </property> 383 <property name="sizePolicy"> 384 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 385 <horstretch>0</horstretch> 386 <verstretch>0</verstretch> 387 </sizepolicy> 388 </property> 389 <property name="minimum"> 390 <number>-80</number> 391 </property> 392 <property name="maximum"> 393 <number>80</number> 394 </property> 395 <property name="value"> 396 <number>50</number> 397 </property> 398 </widget> 399 </item> 400 </layout> 401 </item> 402 <item> 403 <spacer name="horizontalSpacer_21"> 404 <property name="orientation"> 405 <enum>Qt::Horizontal</enum> 406 </property> 407 <property name="sizeHint" stdset="0"> 408 <size> 409 <width>40</width> 410 <height>20</height> 411 </size> 412 </property> 413 </spacer> 414 </item> 415 </layout> 416 </item> 417 <item row="11" column="0"> 418 <widget class="QCheckBox" name="cb_prompt_to_exit"> 419 <property name="text"> 420 <string>Confirm before exiting</string> 421 </property> 422 </widget> 423 </item> 424 <item row="1" column="0"> 425 <widget class="QLabel" name="label_2"> 426 <property name="text"> 427 <string>Language</string> 428 </property> 429 </widget> 430 </item> 431 <item row="2" column="1"> 432 <layout class="QHBoxLayout" name="horizontalLayout_17"> 433 <item> 434 <widget class="QComboBox" name="combo_styles"> 435 <property name="minimumSize"> 436 <size> 437 <width>135</width> 438 <height>0</height> 439 </size> 440 </property> 441 </widget> 442 </item> 443 <item> 444 <spacer name="horizontalSpacer"> 445 <property name="orientation"> 446 <enum>Qt::Horizontal</enum> 447 </property> 448 <property name="sizeHint" stdset="0"> 449 <size> 450 <width>40</width> 451 <height>20</height> 452 </size> 453 </property> 454 </spacer> 455 </item> 456 </layout> 457 </item> 458 <item row="2" column="0"> 459 <widget class="QLabel" name="label_29"> 460 <property name="text"> 461 <string>Style</string> 462 </property> 463 </widget> 464 </item> 465 </layout> 466 </item> 467 </layout> 468 </widget> 469 </item> 470 <item> 471 <widget class="QGroupBox" name="groupBox_2"> 472 <property name="title"> 473 <string>Octave Startup</string> 474 </property> 475 <layout class="QVBoxLayout" name="verticalLayout_22"> 476 <item> 477 <widget class="QLabel" name="label_18"> 478 <property name="text"> 479 <string>These preferences are applied after any .octaverc startup files.</string> 480 </property> 481 </widget> 482 </item> 483 <item> 484 <layout class="QGridLayout" name="gridLayout_9"> 485 <item row="0" column="0"> 486 <widget class="QLabel" name="label_17"> 487 <property name="text"> 488 <string>Initial working directory of Octave interpreter</string> 489 </property> 490 <property name="alignment"> 491 <set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignTop</set> 492 </property> 493 <property name="wordWrap"> 494 <bool>true</bool> 495 </property> 496 </widget> 497 </item> 498 <item row="0" column="1"> 499 <layout class="QGridLayout" name="gridLayout_20"> 500 <item row="1" column="0"> 501 <widget class="QLineEdit" name="le_octave_dir"/> 502 </item> 503 <item row="0" column="0"> 504 <widget class="QCheckBox" name="cb_restore_octave_dir"> 505 <property name="text"> 506 <string>Restore last working directory of previous session</string> 507 </property> 508 </widget> 509 </item> 510 <item row="1" column="1"> 511 <widget class="QPushButton" name="pb_octave_dir"> 512 <property name="sizePolicy"> 513 <sizepolicy hsizetype="Minimum" vsizetype="Minimum"> 514 <horstretch>0</horstretch> 515 <verstretch>0</verstretch> 516 </sizepolicy> 517 </property> 518 <property name="text"> 519 <string>Browse</string> 520 </property> 521 </widget> 522 </item> 523 </layout> 524 </item> 525 </layout> 526 </item> 527 </layout> 528 </widget> 529 </item> 530 <item> 531 <spacer name="verticalSpacer"> 532 <property name="orientation"> 533 <enum>Qt::Vertical</enum> 534 </property> 535 <property name="sizeHint" stdset="0"> 536 <size> 537 <width>20</width> 538 <height>40</height> 539 </size> 540 </property> 541 </spacer> 542 </item> 543 </layout> 544 </widget> 545 </widget> 546 </item> 547 </layout> 548 </widget> 549 <widget class="QWidget" name="tab_terminal"> 550 <attribute name="title"> 551 <string>Command</string> 552 </attribute> 553 <layout class="QVBoxLayout" name="verticalLayout_14"> 554 <item> 555 <widget class="QScrollArea" name="scrollArea_3"> 556 <property name="widgetResizable"> 557 <bool>true</bool> 558 </property> 559 <widget class="QWidget" name="scrollAreaWidgetContents_4"> 560 <property name="geometry"> 561 <rect> 562 <x>0</x> 563 <y>0</y> 564 <width>1035</width> 565 <height>569</height> 566 </rect> 567 </property> 568 <layout class="QVBoxLayout" name="verticalLayout_7"> 569 <item> 570 <layout class="QVBoxLayout" name="verticalLayout_8"> 571 <item> 572 <layout class="QGridLayout" name="gridLayout_7"> 573 <property name="sizeHint" stdset="0"> 574 <size> 575 <width>40</width> 576 <height>20</height> 577 </size> 578 </property> 579 <item row="1" column="2"> 580 <layout class="QHBoxLayout" name="horizontalLayout_13"> 581 <item> 582 <widget class="QCheckBox" name="terminal_cursorUseForegroundColor"> 583 <property name="text"> 584 <string>Use foreground color</string> 585 </property> 586 </widget> 587 </item> 588 </layout> 589 </item> 590 <item row="1" column="0"> 591 <layout class="QHBoxLayout" name="horizontalLayout_7"> 592 <item> 593 <widget class="QLabel" name="label"> 594 <property name="text"> 595 <string>Cursor type:</string> 596 </property> 597 </widget> 598 </item> 599 <item> 600 <widget class="QComboBox" name="terminal_cursorType"/> 601 </item> 602 </layout> 603 </item> 604 <item row="0" column="0"> 605 <layout class="QHBoxLayout" name="horizontalLayout_11"> 606 <item> 607 <widget class="QLabel" name="label_11"> 608 <property name="text"> 609 <string>Font</string> 610 </property> 611 </widget> 612 </item> 613 <item> 614 <widget class="QFontComboBox" name="terminal_fontName"> 615 <property name="sizePolicy"> 616 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 617 <horstretch>0</horstretch> 618 <verstretch>0</verstretch> 619 </sizepolicy> 620 </property> 621 <property name="editable"> 622 <bool>false</bool> 623 </property> 624 <property name="fontFilters"> 625 <set>QFontComboBox::MonospacedFonts</set> 626 </property> 627 </widget> 628 </item> 629 </layout> 630 </item> 631 <item row="0" column="2"> 632 <layout class="QHBoxLayout" name="horizontalLayout_12"> 633 <item> 634 <widget class="QLabel" name="label_12"> 635 <property name="text"> 636 <string>Font size</string> 637 </property> 638 </widget> 639 </item> 640 <item> 641 <widget class="QSpinBox" name="terminal_fontSize"> 642 <property name="sizePolicy"> 643 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 644 <horstretch>0</horstretch> 645 <verstretch>0</verstretch> 646 </sizepolicy> 647 </property> 648 <property name="minimum"> 649 <number>2</number> 650 </property> 651 <property name="maximum"> 652 <number>96</number> 653 </property> 654 <property name="value"> 655 <number>10</number> 656 </property> 657 </widget> 658 </item> 659 <item> 660 <spacer name="horizontalSpacer_27"> 661 <property name="orientation"> 662 <enum>Qt::Horizontal</enum> 663 </property> 664 <property name="sizeHint" stdset="0"> 665 <size> 666 <width>40</width> 667 <height>20</height> 668 </size> 669 </property> 670 </spacer> 671 </item> 672 </layout> 673 </item> 674 <item row="2" column="2"> 675 <layout class="QHBoxLayout" name="horizontalLayout_5"> 676 <property name="topMargin"> 677 <number>0</number> 678 </property> 679 <item> 680 <widget class="QSpinBox" name="terminal_history_buffer"> 681 <property name="sizePolicy"> 682 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 683 <horstretch>0</horstretch> 684 <verstretch>0</verstretch> 685 </sizepolicy> 686 </property> 687 <property name="minimum"> 688 <number>0</number> 689 </property> 690 <property name="maximum"> 691 <number>5000</number> 692 </property> 693 <property name="singleStep"> 694 <number>20</number> 695 </property> 696 <property name="value"> 697 <number>1000</number> 698 </property> 699 </widget> 700 </item> 701 <item> 702 <widget class="QLabel" name="label_20"> 703 <property name="text"> 704 <string>(Changing buffer size clears history)</string> 705 </property> 706 </widget> 707 </item> 708 <item> 709 <spacer name="horizontalSpacer_16"> 710 <property name="orientation"> 711 <enum>Qt::Horizontal</enum> 712 </property> 713 <property name="sizeHint" stdset="0"> 714 <size> 715 <width>40</width> 716 <height>20</height> 717 </size> 718 </property> 719 </spacer> 720 </item> 721 </layout> 722 </item> 723 <item row="2" column="0"> 724 <widget class="QLabel" name="label_19"> 725 <property name="minimumSize"> 726 <size> 727 <width>100</width> 728 <height>20</height> 729 </size> 730 </property> 731 <property name="text"> 732 <string>History buffer Size</string> 733 </property> 734 </widget> 735 </item> 736 <item row="0" column="1"> 737 <spacer name="horizontalSpacer_28"> 738 <property name="orientation"> 739 <enum>Qt::Horizontal</enum> 740 </property> 741 <property name="sizeType"> 742 <enum>QSizePolicy::Fixed</enum> 743 </property> 744 <property name="sizeHint" stdset="0"> 745 <size> 746 <width>20</width> 747 <height>20</height> 748 </size> 749 </property> 750 </spacer> 751 </item> 752 </layout> 753 </item> 754 <item> 755 <layout class="QGridLayout" name="gridLayout_15"> 756 <item row="0" column="0"> 757 <widget class="QCheckBox" name="terminal_focus_command"> 758 <property name="text"> 759 <string>Set focus to Command Window when running a command from within another widget</string> 760 </property> 761 </widget> 762 </item> 763 <item row="1" column="0"> 764 <widget class="QCheckBox" name="terminal_print_dbg_location"> 765 <property name="text"> 766 <string>Print debug location in Command Window in addition to the marker in the editor</string> 767 </property> 768 </widget> 769 </item> 770 </layout> 771 </item> 772 <item> 773 <widget class="Line" name="line_7"> 774 <property name="orientation"> 775 <enum>Qt::Horizontal</enum> 776 </property> 777 </widget> 778 </item> 779 <item> 780 <widget class="QGroupBox" name="terminal_colors_box"> 781 <property name="title"> 782 <string>Command Window Colors</string> 783 </property> 784 </widget> 785 </item> 786 <item> 787 <widget class="Line" name="line_5"> 788 <property name="minimumSize"> 789 <size> 790 <width>0</width> 791 <height>0</height> 792 </size> 793 </property> 794 <property name="orientation"> 795 <enum>Qt::Horizontal</enum> 796 </property> 797 </widget> 798 </item> 799 <item> 800 <widget class="Line" name="line_6"> 801 <property name="orientation"> 802 <enum>Qt::Horizontal</enum> 803 </property> 804 </widget> 805 </item> 806 </layout> 807 </item> 808 <item> 809 <spacer name="verticalSpacer_3"> 810 <property name="orientation"> 811 <enum>Qt::Vertical</enum> 812 </property> 813 <property name="sizeType"> 814 <enum>QSizePolicy::Expanding</enum> 815 </property> 816 <property name="sizeHint" stdset="0"> 817 <size> 818 <width>20</width> 819 <height>40</height> 820 </size> 821 </property> 822 </spacer> 823 </item> 824 </layout> 825 </widget> 826 </widget> 827 </item> 828 </layout> 829 </widget> 830 <widget class="QWidget" name="tab_editor"> 831 <attribute name="title"> 832 <string>Editor</string> 833 </attribute> 834 <layout class="QVBoxLayout" name="verticalLayout_6"> 835 <item> 836 <widget class="QScrollArea" name="tab_editor_scroll_area"> 837 <property name="widgetResizable"> 838 <bool>true</bool> 839 </property> 840 <widget class="QWidget" name="scrollAreaWidgetContents"> 841 <property name="geometry"> 842 <rect> 843 <x>0</x> 844 <y>0</y> 845 <width>1021</width> 846 <height>1467</height> 847 </rect> 848 </property> 849 <layout class="QVBoxLayout" name="verticalLayout_16"> 850 <item> 851 <widget class="QGroupBox" name="groupBox_5"> 852 <property name="title"> 853 <string>General</string> 854 </property> 855 <layout class="QVBoxLayout" name="verticalLayout_13"> 856 <item> 857 <layout class="QGridLayout" name="editor_common_settings_grid"> 858 <property name="topMargin"> 859 <number>0</number> 860 </property> 861 <item row="2" column="2"> 862 <widget class="QCheckBox" name="editor_ws_indent_checkbox"> 863 <property name="enabled"> 864 <bool>false</bool> 865 </property> 866 <property name="text"> 867 <string>Do not show whitespace used for indentation</string> 868 </property> 869 </widget> 870 </item> 871 <item row="9" column="0"> 872 <widget class="QCheckBox" name="cb_edit_status_bar"> 873 <property name="sizePolicy"> 874 <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> 875 <horstretch>0</horstretch> 876 <verstretch>0</verstretch> 877 </sizepolicy> 878 </property> 879 <property name="text"> 880 <string>Show status bar</string> 881 </property> 882 <property name="checked"> 883 <bool>true</bool> 884 </property> 885 </widget> 886 </item> 887 <item row="1" column="0"> 888 <widget class="QCheckBox" name="editor_showLineNumbers"> 889 <property name="enabled"> 890 <bool>true</bool> 891 </property> 892 <property name="sizePolicy"> 893 <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> 894 <horstretch>0</horstretch> 895 <verstretch>0</verstretch> 896 </sizepolicy> 897 </property> 898 <property name="text"> 899 <string>Show line numbers</string> 900 </property> 901 </widget> 902 </item> 903 <item row="2" column="0"> 904 <widget class="QCheckBox" name="editor_ws_checkbox"> 905 <property name="sizePolicy"> 906 <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> 907 <horstretch>0</horstretch> 908 <verstretch>0</verstretch> 909 </sizepolicy> 910 </property> 911 <property name="text"> 912 <string>Show whitespace</string> 913 </property> 914 </widget> 915 </item> 916 <item row="8" column="0"> 917 <widget class="QCheckBox" name="cb_code_folding"> 918 <property name="sizePolicy"> 919 <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> 920 <horstretch>0</horstretch> 921 <verstretch>0</verstretch> 922 </sizepolicy> 923 </property> 924 <property name="text"> 925 <string>Enable Code Folding</string> 926 </property> 927 <property name="checked"> 928 <bool>true</bool> 929 </property> 930 </widget> 931 </item> 932 <item row="9" column="2"> 933 <widget class="QCheckBox" name="cb_edit_tool_bar"> 934 <property name="sizePolicy"> 935 <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> 936 <horstretch>0</horstretch> 937 <verstretch>0</verstretch> 938 </sizepolicy> 939 </property> 940 <property name="text"> 941 <string>Show tool bar</string> 942 </property> 943 <property name="checked"> 944 <bool>true</bool> 945 </property> 946 </widget> 947 </item> 948 <item row="8" column="2"> 949 <widget class="QCheckBox" name="cb_show_hscrollbar"> 950 <property name="enabled"> 951 <bool>true</bool> 952 </property> 953 <property name="sizePolicy"> 954 <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> 955 <horstretch>0</horstretch> 956 <verstretch>0</verstretch> 957 </sizepolicy> 958 </property> 959 <property name="text"> 960 <string>Show horizontal scroll bar</string> 961 </property> 962 <property name="checked"> 963 <bool>true</bool> 964 </property> 965 </widget> 966 </item> 967 <item row="1" column="2"> 968 <layout class="QGridLayout" name="gridLayout_17"> 969 <item row="0" column="0"> 970 <widget class="QLabel" name="editor_linenr_size_label"> 971 <property name="text"> 972 <string>Number size as difference to editor font</string> 973 </property> 974 </widget> 975 </item> 976 <item row="0" column="1"> 977 <widget class="QSpinBox" name="editor_linenr_size"> 978 <property name="enabled"> 979 <bool>false</bool> 980 </property> 981 <property name="sizePolicy"> 982 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 983 <horstretch>0</horstretch> 984 <verstretch>0</verstretch> 985 </sizepolicy> 986 </property> 987 <property name="minimum"> 988 <number>-6</number> 989 </property> 990 <property name="maximum"> 991 <number>6</number> 992 </property> 993 </widget> 994 </item> 995 <item row="0" column="2"> 996 <spacer name="horizontalSpacer_9"> 997 <property name="orientation"> 998 <enum>Qt::Horizontal</enum> 999 </property> 1000 <property name="sizeHint" stdset="0"> 1001 <size> 1002 <width>40</width> 1003 <height>20</height> 1004 </size> 1005 </property> 1006 </spacer> 1007 </item> 1008 </layout> 1009 </item> 1010 <item row="3" column="2"> 1011 <layout class="QGridLayout" name="gridLayout_16"> 1012 <item row="0" column="1"> 1013 <spacer name="horizontalSpacer_11"> 1014 <property name="orientation"> 1015 <enum>Qt::Horizontal</enum> 1016 </property> 1017 <property name="sizeHint" stdset="0"> 1018 <size> 1019 <width>40</width> 1020 <height>20</height> 1021 </size> 1022 </property> 1023 </spacer> 1024 </item> 1025 <item row="0" column="0"> 1026 <layout class="QGridLayout" name="editor_grid_current_line"> 1027 <item row="0" column="2"> 1028 <widget class="QLabel" name="editor_label_cl_color"> 1029 <property name="enabled"> 1030 <bool>false</bool> 1031 </property> 1032 <property name="text"> 1033 <string>Color</string> 1034 </property> 1035 </widget> 1036 </item> 1037 <item row="0" column="0"> 1038 <widget class="QCheckBox" name="editor_highlightCurrentLine"> 1039 <property name="enabled"> 1040 <bool>true</bool> 1041 </property> 1042 <property name="sizePolicy"> 1043 <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> 1044 <horstretch>0</horstretch> 1045 <verstretch>0</verstretch> 1046 </sizepolicy> 1047 </property> 1048 <property name="text"> 1049 <string>Highlight current line</string> 1050 </property> 1051 </widget> 1052 </item> 1053 <item row="0" column="1"> 1054 <spacer name="horizontalSpacer_14"> 1055 <property name="orientation"> 1056 <enum>Qt::Horizontal</enum> 1057 </property> 1058 <property name="sizeType"> 1059 <enum>QSizePolicy::Fixed</enum> 1060 </property> 1061 <property name="sizeHint" stdset="0"> 1062 <size> 1063 <width>20</width> 1064 <height>20</height> 1065 </size> 1066 </property> 1067 </spacer> 1068 </item> 1069 </layout> 1070 </item> 1071 </layout> 1072 </item> 1073 <item row="3" column="0"> 1074 <widget class="QCheckBox" name="cb_show_eol"> 1075 <property name="sizePolicy"> 1076 <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> 1077 <horstretch>0</horstretch> 1078 <verstretch>0</verstretch> 1079 </sizepolicy> 1080 </property> 1081 <property name="text"> 1082 <string>Show EOL characters</string> 1083 </property> 1084 </widget> 1085 </item> 1086 <item row="1" column="1"> 1087 <spacer name="horizontalSpacer_36"> 1088 <property name="orientation"> 1089 <enum>Qt::Horizontal</enum> 1090 </property> 1091 <property name="sizeType"> 1092 <enum>QSizePolicy::Fixed</enum> 1093 </property> 1094 <property name="sizeHint" stdset="0"> 1095 <size> 1096 <width>10</width> 1097 <height>0</height> 1098 </size> 1099 </property> 1100 </spacer> 1101 </item> 1102 </layout> 1103 </item> 1104 <item> 1105 <layout class="QHBoxLayout" name="horizontalLayout_22"> 1106 <property name="topMargin"> 1107 <number>0</number> 1108 </property> 1109 <item> 1110 <widget class="QCheckBox" name="editor_highlight_all_occurrences"> 1111 <property name="text"> 1112 <string>Highlight all occurrences of a word selected by a double click</string> 1113 </property> 1114 </widget> 1115 </item> 1116 </layout> 1117 </item> 1118 <item> 1119 <layout class="QHBoxLayout" name="horizontalLayout"> 1120 <item> 1121 <widget class="QCheckBox" name="useCustomFileEditor"> 1122 <property name="enabled"> 1123 <bool>true</bool> 1124 </property> 1125 <property name="sizePolicy"> 1126 <sizepolicy hsizetype="Preferred" vsizetype="Fixed"> 1127 <horstretch>0</horstretch> 1128 <verstretch>0</verstretch> 1129 </sizepolicy> 1130 </property> 1131 <property name="text"> 1132 <string>Use custom file editor</string> 1133 </property> 1134 </widget> 1135 </item> 1136 <item> 1137 <widget class="QLabel" name="customEditorLabel"> 1138 <property name="enabled"> 1139 <bool>false</bool> 1140 </property> 1141 <property name="text"> 1142 <string>command line (%f=file, %l=line):</string> 1143 </property> 1144 </widget> 1145 </item> 1146 <item> 1147 <widget class="QLineEdit" name="customFileEditor"> 1148 <property name="enabled"> 1149 <bool>false</bool> 1150 </property> 1151 <property name="text"> 1152 <string/> 1153 </property> 1154 </widget> 1155 </item> 1156 <item> 1157 <spacer name="horizontalSpacer_12"> 1158 <property name="orientation"> 1159 <enum>Qt::Horizontal</enum> 1160 </property> 1161 <property name="sizeHint" stdset="0"> 1162 <size> 1163 <width>40</width> 1164 <height>20</height> 1165 </size> 1166 </property> 1167 </spacer> 1168 </item> 1169 </layout> 1170 </item> 1171 </layout> 1172 </widget> 1173 </item> 1174 <item> 1175 <widget class="QGroupBox" name="groupBox_11"> 1176 <property name="title"> 1177 <string>Tabs</string> 1178 </property> 1179 <layout class="QVBoxLayout" name="verticalLayout_32"> 1180 <item> 1181 <layout class="QGridLayout" name="gridLayout_23"> 1182 <item row="1" column="1"> 1183 <spacer name="horizontalSpacer_24"> 1184 <property name="orientation"> 1185 <enum>Qt::Horizontal</enum> 1186 </property> 1187 <property name="sizeType"> 1188 <enum>QSizePolicy::Fixed</enum> 1189 </property> 1190 <property name="sizeHint" stdset="0"> 1191 <size> 1192 <width>10</width> 1193 <height>0</height> 1194 </size> 1195 </property> 1196 </spacer> 1197 </item> 1198 <item row="0" column="2"> 1199 <layout class="QHBoxLayout" name="horizontalLayout_21"> 1200 <item> 1201 <widget class="QComboBox" name="editor_combox_tab_pos"/> 1202 </item> 1203 <item> 1204 <spacer name="horizontalSpacer_25"> 1205 <property name="orientation"> 1206 <enum>Qt::Horizontal</enum> 1207 </property> 1208 <property name="sizeHint" stdset="0"> 1209 <size> 1210 <width>40</width> 1211 <height>20</height> 1212 </size> 1213 </property> 1214 </spacer> 1215 </item> 1216 </layout> 1217 </item> 1218 <item row="0" column="0"> 1219 <widget class="QLabel" name="label_30"> 1220 <property name="text"> 1221 <string>Tab position</string> 1222 </property> 1223 </widget> 1224 </item> 1225 <item row="1" column="2"> 1226 <layout class="QHBoxLayout" name="horizontalLayout_20"> 1227 <property name="rightMargin"> 1228 <number>0</number> 1229 </property> 1230 <item> 1231 <widget class="QLabel" name="editor_lbl_min_tab_width"> 1232 <property name="enabled"> 1233 <bool>false</bool> 1234 </property> 1235 <property name="text"> 1236 <string>Tab width min.</string> 1237 </property> 1238 </widget> 1239 </item> 1240 <item> 1241 <widget class="QSpinBox" name="editor_notebook_tab_width_min"> 1242 <property name="sizePolicy"> 1243 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 1244 <horstretch>0</horstretch> 1245 <verstretch>0</verstretch> 1246 </sizepolicy> 1247 </property> 1248 <property name="minimum"> 1249 <number>80</number> 1250 </property> 1251 <property name="maximum"> 1252 <number>600</number> 1253 </property> 1254 <property name="singleStep"> 1255 <number>20</number> 1256 </property> 1257 <property name="value"> 1258 <number>160</number> 1259 </property> 1260 </widget> 1261 </item> 1262 <item> 1263 <widget class="QLabel" name="editor_lbl_max_tab_width"> 1264 <property name="enabled"> 1265 <bool>false</bool> 1266 </property> 1267 <property name="text"> 1268 <string>max.</string> 1269 </property> 1270 </widget> 1271 </item> 1272 <item> 1273 <widget class="QSpinBox" name="editor_notebook_tab_width_max"> 1274 <property name="enabled"> 1275 <bool>false</bool> 1276 </property> 1277 <property name="sizePolicy"> 1278 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 1279 <horstretch>0</horstretch> 1280 <verstretch>0</verstretch> 1281 </sizepolicy> 1282 </property> 1283 <property name="minimum"> 1284 <number>180</number> 1285 </property> 1286 <property name="maximum"> 1287 <number>600</number> 1288 </property> 1289 <property name="singleStep"> 1290 <number>20</number> 1291 </property> 1292 <property name="value"> 1293 <number>300</number> 1294 </property> 1295 </widget> 1296 </item> 1297 </layout> 1298 </item> 1299 <item row="1" column="0"> 1300 <widget class="QCheckBox" name="editor_longWindowTitle"> 1301 <property name="sizePolicy"> 1302 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 1303 <horstretch>0</horstretch> 1304 <verstretch>0</verstretch> 1305 </sizepolicy> 1306 </property> 1307 <property name="text"> 1308 <string>Show complete path in title</string> 1309 </property> 1310 </widget> 1311 </item> 1312 <item row="1" column="3"> 1313 <spacer name="horizontalSpacer_5"> 1314 <property name="orientation"> 1315 <enum>Qt::Horizontal</enum> 1316 </property> 1317 <property name="sizeHint" stdset="0"> 1318 <size> 1319 <width>40</width> 1320 <height>20</height> 1321 </size> 1322 </property> 1323 </spacer> 1324 </item> 1325 </layout> 1326 </item> 1327 </layout> 1328 </widget> 1329 </item> 1330 <item> 1331 <widget class="QGroupBox" name="groupBox_9"> 1332 <property name="title"> 1333 <string>Comments (Octave)</string> 1334 </property> 1335 <property name="checked"> 1336 <bool>false</bool> 1337 </property> 1338 <layout class="QVBoxLayout" name="verticalLayout_24"> 1339 <item> 1340 <layout class="QGridLayout" name="gridLayout_18"> 1341 <item row="1" column="0"> 1342 <widget class="QLabel" name="label_28"> 1343 <property name="text"> 1344 <string>Strings considered for uncommenting text</string> 1345 </property> 1346 </widget> 1347 </item> 1348 <item row="0" column="1"> 1349 <spacer name="horizontalSpacer_35"> 1350 <property name="orientation"> 1351 <enum>Qt::Horizontal</enum> 1352 </property> 1353 <property name="sizeType"> 1354 <enum>QSizePolicy::Fixed</enum> 1355 </property> 1356 <property name="sizeHint" stdset="0"> 1357 <size> 1358 <width>10</width> 1359 <height>10</height> 1360 </size> 1361 </property> 1362 </spacer> 1363 </item> 1364 <item row="0" column="0"> 1365 <widget class="QLabel" name="label_24"> 1366 <property name="text"> 1367 <string>String used for commenting selected text</string> 1368 </property> 1369 </widget> 1370 </item> 1371 <item row="0" column="2"> 1372 <layout class="QHBoxLayout" name="layout_comment_strings"/> 1373 </item> 1374 <item row="1" column="2"> 1375 <layout class="QHBoxLayout" name="layout_uncomment_strings"/> 1376 </item> 1377 <item row="0" column="8"> 1378 <spacer name="horizontalSpacer_34"> 1379 <property name="orientation"> 1380 <enum>Qt::Horizontal</enum> 1381 </property> 1382 <property name="sizeHint" stdset="0"> 1383 <size> 1384 <width>40</width> 1385 <height>10</height> 1386 </size> 1387 </property> 1388 </spacer> 1389 </item> 1390 </layout> 1391 </item> 1392 </layout> 1393 </widget> 1394 </item> 1395 <item> 1396 <widget class="QGroupBox" name="groupBox_3"> 1397 <property name="title"> 1398 <string>Long lines</string> 1399 </property> 1400 <layout class="QVBoxLayout" name="verticalLayout_23"> 1401 <item> 1402 <layout class="QGridLayout" name="gridLayout_21"> 1403 <property name="topMargin"> 1404 <number>0</number> 1405 </property> 1406 <item row="2" column="5"> 1407 <layout class="QHBoxLayout" name="horizontalLayout_18"> 1408 <item> 1409 <widget class="QCheckBox" name="editor_break_checkbox"> 1410 <property name="enabled"> 1411 <bool>true</bool> 1412 </property> 1413 <property name="sizePolicy"> 1414 <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> 1415 <horstretch>0</horstretch> 1416 <verstretch>0</verstretch> 1417 </sizepolicy> 1418 </property> 1419 <property name="toolTip"> 1420 <string>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.</string> 1421 </property> 1422 <property name="text"> 1423 <string>Break long lines at line length</string> 1424 </property> 1425 <property name="checked"> 1426 <bool>false</bool> 1427 </property> 1428 </widget> 1429 </item> 1430 <item> 1431 <widget class="QCheckBox" name="editor_break_comments_checkbox"> 1432 <property name="enabled"> 1433 <bool>false</bool> 1434 </property> 1435 <property name="text"> 1436 <string>Break lines only in comments</string> 1437 </property> 1438 <property name="checked"> 1439 <bool>false</bool> 1440 </property> 1441 </widget> 1442 </item> 1443 <item> 1444 <spacer name="horizontalSpacer_17"> 1445 <property name="orientation"> 1446 <enum>Qt::Horizontal</enum> 1447 </property> 1448 <property name="sizeHint" stdset="0"> 1449 <size> 1450 <width>40</width> 1451 <height>20</height> 1452 </size> 1453 </property> 1454 </spacer> 1455 </item> 1456 </layout> 1457 </item> 1458 <item row="0" column="3"> 1459 <spacer name="horizontalSpacer_37"> 1460 <property name="orientation"> 1461 <enum>Qt::Horizontal</enum> 1462 </property> 1463 <property name="sizeType"> 1464 <enum>QSizePolicy::Fixed</enum> 1465 </property> 1466 <property name="sizeHint" stdset="0"> 1467 <size> 1468 <width>10</width> 1469 <height>0</height> 1470 </size> 1471 </property> 1472 </spacer> 1473 </item> 1474 <item row="0" column="2"> 1475 <widget class="QSpinBox" name="editor_long_line_column"> 1476 <property name="sizePolicy"> 1477 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 1478 <horstretch>0</horstretch> 1479 <verstretch>0</verstretch> 1480 </sizepolicy> 1481 </property> 1482 <property name="minimum"> 1483 <number>2</number> 1484 </property> 1485 <property name="maximum"> 1486 <number>256</number> 1487 </property> 1488 <property name="value"> 1489 <number>80</number> 1490 </property> 1491 </widget> 1492 </item> 1493 <item row="0" column="1"> 1494 <widget class="QLabel" name="editor_long_line_column_text"> 1495 <property name="text"> 1496 <string>Line length</string> 1497 </property> 1498 </widget> 1499 </item> 1500 <item row="0" column="5"> 1501 <layout class="QHBoxLayout" name="horizontalLayout_3"> 1502 <item> 1503 <widget class="QCheckBox" name="editor_long_line_marker"> 1504 <property name="text"> 1505 <string>Long line marker</string> 1506 </property> 1507 <property name="checked"> 1508 <bool>true</bool> 1509 </property> 1510 </widget> 1511 </item> 1512 <item> 1513 <widget class="QRadioButton" name="editor_long_line_marker_line"> 1514 <property name="text"> 1515 <string>Line</string> 1516 </property> 1517 <property name="checked"> 1518 <bool>true</bool> 1519 </property> 1520 </widget> 1521 </item> 1522 <item> 1523 <widget class="QRadioButton" name="editor_long_line_marker_background"> 1524 <property name="text"> 1525 <string>Background</string> 1526 </property> 1527 </widget> 1528 </item> 1529 <item> 1530 <spacer name="horizontalSpacer_7"> 1531 <property name="orientation"> 1532 <enum>Qt::Horizontal</enum> 1533 </property> 1534 <property name="sizeHint" stdset="0"> 1535 <size> 1536 <width>40</width> 1537 <height>20</height> 1538 </size> 1539 </property> 1540 </spacer> 1541 </item> 1542 </layout> 1543 </item> 1544 </layout> 1545 </item> 1546 <item> 1547 <layout class="QHBoxLayout" name="horizontalLayout_19"> 1548 <item> 1549 <widget class="QCheckBox" name="editor_wrap_checkbox"> 1550 <property name="enabled"> 1551 <bool>true</bool> 1552 </property> 1553 <property name="sizePolicy"> 1554 <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> 1555 <horstretch>0</horstretch> 1556 <verstretch>0</verstretch> 1557 </sizepolicy> 1558 </property> 1559 <property name="toolTip"> 1560 <string>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.</string> 1561 </property> 1562 <property name="text"> 1563 <string>Wrap long lines at current window border</string> 1564 </property> 1565 <property name="checked"> 1566 <bool>false</bool> 1567 </property> 1568 </widget> 1569 </item> 1570 </layout> 1571 </item> 1572 </layout> 1573 </widget> 1574 </item> 1575 <item> 1576 <widget class="QGroupBox" name="groupBox_6"> 1577 <property name="title"> 1578 <string>Indentation</string> 1579 </property> 1580 <layout class="QVBoxLayout" name="verticalLayout_28"> 1581 <item> 1582 <layout class="QGridLayout" name="gridLayout_4"> 1583 <item row="0" column="2"> 1584 <widget class="QSpinBox" name="editor_ind_width_spinbox"> 1585 <property name="sizePolicy"> 1586 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 1587 <horstretch>0</horstretch> 1588 <verstretch>0</verstretch> 1589 </sizepolicy> 1590 </property> 1591 <property name="minimum"> 1592 <number>1</number> 1593 </property> 1594 <property name="maximum"> 1595 <number>32</number> 1596 </property> 1597 <property name="value"> 1598 <number>2</number> 1599 </property> 1600 </widget> 1601 </item> 1602 <item row="2" column="10"> 1603 <spacer name="horizontalSpacer_20"> 1604 <property name="orientation"> 1605 <enum>Qt::Horizontal</enum> 1606 </property> 1607 <property name="sizeHint" stdset="0"> 1608 <size> 1609 <width>40</width> 1610 <height>20</height> 1611 </size> 1612 </property> 1613 </spacer> 1614 </item> 1615 <item row="0" column="0"> 1616 <widget class="QLabel" name="label_13"> 1617 <property name="text"> 1618 <string>Indent width</string> 1619 </property> 1620 </widget> 1621 </item> 1622 <item row="2" column="4"> 1623 <widget class="QCheckBox" name="editor_tab_ind_checkbox"> 1624 <property name="text"> 1625 <string>Tab indents line</string> 1626 </property> 1627 </widget> 1628 </item> 1629 <item row="0" column="10"> 1630 <spacer name="horizontalSpacer_13"> 1631 <property name="orientation"> 1632 <enum>Qt::Horizontal</enum> 1633 </property> 1634 <property name="sizeHint" stdset="0"> 1635 <size> 1636 <width>40</width> 1637 <height>20</height> 1638 </size> 1639 </property> 1640 </spacer> 1641 </item> 1642 <item row="0" column="4"> 1643 <widget class="QCheckBox" name="editor_auto_ind_checkbox"> 1644 <property name="text"> 1645 <string>Auto indentation</string> 1646 </property> 1647 </widget> 1648 </item> 1649 <item row="2" column="2"> 1650 <widget class="QSpinBox" name="editor_tab_width_spinbox"> 1651 <property name="sizePolicy"> 1652 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 1653 <horstretch>0</horstretch> 1654 <verstretch>0</verstretch> 1655 </sizepolicy> 1656 </property> 1657 <property name="minimum"> 1658 <number>1</number> 1659 </property> 1660 <property name="maximum"> 1661 <number>32</number> 1662 </property> 1663 </widget> 1664 </item> 1665 <item row="2" column="0"> 1666 <widget class="QLabel" name="label_14"> 1667 <property name="text"> 1668 <string>Tab width</string> 1669 </property> 1670 </widget> 1671 </item> 1672 <item row="0" column="6"> 1673 <widget class="QCheckBox" name="editor_ind_guides_checkbox"> 1674 <property name="text"> 1675 <string>Show indentation guides</string> 1676 </property> 1677 </widget> 1678 </item> 1679 <item row="2" column="6"> 1680 <widget class="QCheckBox" name="editor_bs_unind_checkbox"> 1681 <property name="text"> 1682 <string>Backspace unindents line</string> 1683 </property> 1684 </widget> 1685 </item> 1686 <item row="0" column="3"> 1687 <spacer name="horizontalSpacer_10"> 1688 <property name="orientation"> 1689 <enum>Qt::Horizontal</enum> 1690 </property> 1691 <property name="sizeType"> 1692 <enum>QSizePolicy::Fixed</enum> 1693 </property> 1694 <property name="sizeHint" stdset="0"> 1695 <size> 1696 <width>10</width> 1697 <height>0</height> 1698 </size> 1699 </property> 1700 </spacer> 1701 </item> 1702 <item row="3" column="4"> 1703 <widget class="QCheckBox" name="editor_ind_uses_tabs_checkbox"> 1704 <property name="text"> 1705 <string>Indentation uses tabs</string> 1706 </property> 1707 </widget> 1708 </item> 1709 </layout> 1710 </item> 1711 <item> 1712 <layout class="QHBoxLayout" name="horizontalLayout_autoclose"> 1713 <item> 1714 <widget class="QLabel" name="label_auto_endif"> 1715 <property name="text"> 1716 <string>Auto insert after "if" etc.</string> 1717 </property> 1718 </widget> 1719 </item> 1720 <item> 1721 <widget class="QComboBox" name="editor_auto_endif"> 1722 <property name="sizePolicy"> 1723 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 1724 <horstretch>0</horstretch> 1725 <verstretch>0</verstretch> 1726 </sizepolicy> 1727 </property> 1728 <property name="sizeAdjustPolicy"> 1729 <enum>QComboBox::AdjustToContents</enum> 1730 </property> 1731 <property name="minimumContentsLength"> 1732 <number>5</number> 1733 </property> 1734 <item> 1735 <property name="text"> 1736 <string>Nothing</string> 1737 </property> 1738 </item> 1739 <item> 1740 <property name="text"> 1741 <string>"endif" etc.</string> 1742 </property> 1743 </item> 1744 <item> 1745 <property name="text"> 1746 <string>"end"</string> 1747 </property> 1748 </item> 1749 </widget> 1750 </item> 1751 <item> 1752 <spacer name="horizontalSpacer_autoclose"> 1753 <property name="orientation"> 1754 <enum>Qt::Horizontal</enum> 1755 </property> 1756 <property name="sizeType"> 1757 <enum>QSizePolicy::Expanding</enum> 1758 </property> 1759 <property name="sizeHint" stdset="0"> 1760 <size> 1761 <width>10</width> 1762 <height>0</height> 1763 </size> 1764 </property> 1765 </spacer> 1766 </item> 1767 </layout> 1768 </item> 1769 </layout> 1770 </widget> 1771 </item> 1772 <item> 1773 <widget class="QGroupBox" name="groupBox_7"> 1774 <property name="title"> 1775 <string>Auto completion</string> 1776 </property> 1777 <layout class="QVBoxLayout" name="verticalLayout_29"> 1778 <item> 1779 <layout class="QGridLayout" name="gridLayout_3"> 1780 <item row="0" column="1"> 1781 <spacer name="horizontalSpacer_15"> 1782 <property name="orientation"> 1783 <enum>Qt::Horizontal</enum> 1784 </property> 1785 <property name="sizeType"> 1786 <enum>QSizePolicy::Fixed</enum> 1787 </property> 1788 <property name="sizeHint" stdset="0"> 1789 <size> 1790 <width>10</width> 1791 <height>0</height> 1792 </size> 1793 </property> 1794 </spacer> 1795 </item> 1796 <item row="0" column="0"> 1797 <widget class="QCheckBox" name="editor_checkbox_ac_keywords"> 1798 <property name="enabled"> 1799 <bool>true</bool> 1800 </property> 1801 <property name="text"> 1802 <string>Match keywords</string> 1803 </property> 1804 <property name="checked"> 1805 <bool>true</bool> 1806 </property> 1807 </widget> 1808 </item> 1809 <item row="2" column="0"> 1810 <widget class="QCheckBox" name="editor_checkbox_ac_case"> 1811 <property name="enabled"> 1812 <bool>true</bool> 1813 </property> 1814 <property name="text"> 1815 <string>Case sensitive</string> 1816 </property> 1817 <property name="checked"> 1818 <bool>true</bool> 1819 </property> 1820 </widget> 1821 </item> 1822 <item row="1" column="0"> 1823 <widget class="QCheckBox" name="editor_checkbox_ac_document"> 1824 <property name="enabled"> 1825 <bool>true</bool> 1826 </property> 1827 <property name="text"> 1828 <string>Match words in document</string> 1829 </property> 1830 </widget> 1831 </item> 1832 <item row="2" column="2"> 1833 <widget class="QCheckBox" name="editor_checkbox_ac_replace"> 1834 <property name="enabled"> 1835 <bool>true</bool> 1836 </property> 1837 <property name="text"> 1838 <string>Replace word by suggested one</string> 1839 </property> 1840 </widget> 1841 </item> 1842 <item row="0" column="3"> 1843 <spacer name="horizontalSpacer_8"> 1844 <property name="orientation"> 1845 <enum>Qt::Horizontal</enum> 1846 </property> 1847 <property name="sizeHint" stdset="0"> 1848 <size> 1849 <width>40</width> 1850 <height>20</height> 1851 </size> 1852 </property> 1853 </spacer> 1854 </item> 1855 <item row="2" column="3"> 1856 <spacer name="horizontalSpacer_19"> 1857 <property name="orientation"> 1858 <enum>Qt::Horizontal</enum> 1859 </property> 1860 <property name="sizeHint" stdset="0"> 1861 <size> 1862 <width>40</width> 1863 <height>20</height> 1864 </size> 1865 </property> 1866 </spacer> 1867 </item> 1868 <item row="0" column="2"> 1869 <layout class="QHBoxLayout" name="horizontalLayout_14"> 1870 <item> 1871 <widget class="QCheckBox" name="editor_checkbox_ac_builtins"> 1872 <property name="enabled"> 1873 <bool>false</bool> 1874 </property> 1875 <property name="text"> 1876 <string>With Octave builtins</string> 1877 </property> 1878 </widget> 1879 </item> 1880 <item> 1881 <widget class="QCheckBox" name="editor_checkbox_ac_functions"> 1882 <property name="enabled"> 1883 <bool>false</bool> 1884 </property> 1885 <property name="text"> 1886 <string>With Octave functions</string> 1887 </property> 1888 </widget> 1889 </item> 1890 </layout> 1891 </item> 1892 </layout> 1893 </item> 1894 <item> 1895 <layout class="QGridLayout" name="gridLayout_10"> 1896 <item row="0" column="2"> 1897 <widget class="QLabel" name="editor_label_ac_threshold"> 1898 <property name="enabled"> 1899 <bool>false</bool> 1900 </property> 1901 <property name="text"> 1902 <string>Number of characters before list is shown: </string> 1903 </property> 1904 </widget> 1905 </item> 1906 <item row="0" column="3"> 1907 <widget class="QSpinBox" name="editor_spinbox_ac_threshold"> 1908 <property name="enabled"> 1909 <bool>false</bool> 1910 </property> 1911 <property name="toolTip"> 1912 <string/> 1913 </property> 1914 <property name="whatsThis"> 1915 <string/> 1916 </property> 1917 <property name="suffix"> 1918 <string/> 1919 </property> 1920 <property name="minimum"> 1921 <number>1</number> 1922 </property> 1923 <property name="maximum"> 1924 <number>6</number> 1925 </property> 1926 <property name="value"> 1927 <number>2</number> 1928 </property> 1929 </widget> 1930 </item> 1931 <item row="0" column="4"> 1932 <spacer name="horizontalSpacer_2"> 1933 <property name="orientation"> 1934 <enum>Qt::Horizontal</enum> 1935 </property> 1936 <property name="sizeHint" stdset="0"> 1937 <size> 1938 <width>40</width> 1939 <height>20</height> 1940 </size> 1941 </property> 1942 </spacer> 1943 </item> 1944 <item row="0" column="0"> 1945 <widget class="QCheckBox" name="editor_codeCompletion"> 1946 <property name="enabled"> 1947 <bool>true</bool> 1948 </property> 1949 <property name="text"> 1950 <string>Show completion list automatically</string> 1951 </property> 1952 <property name="checked"> 1953 <bool>false</bool> 1954 </property> 1955 </widget> 1956 </item> 1957 <item row="0" column="1"> 1958 <spacer name="horizontalSpacer_31"> 1959 <property name="orientation"> 1960 <enum>Qt::Horizontal</enum> 1961 </property> 1962 <property name="sizeType"> 1963 <enum>QSizePolicy::Fixed</enum> 1964 </property> 1965 <property name="sizeHint" stdset="0"> 1966 <size> 1967 <width>10</width> 1968 <height>0</height> 1969 </size> 1970 </property> 1971 </spacer> 1972 </item> 1973 </layout> 1974 </item> 1975 </layout> 1976 </widget> 1977 </item> 1978 <item> 1979 <widget class="QGroupBox" name="groupBox_10"> 1980 <property name="enabled"> 1981 <bool>true</bool> 1982 </property> 1983 <property name="title"> 1984 <string>Debugging</string> 1985 </property> 1986 <layout class="QVBoxLayout" name="verticalLayout_12"> 1987 <item> 1988 <layout class="QGridLayout" name="gridLayout_19"> 1989 <item row="0" column="0"> 1990 <widget class="QCheckBox" name="editor_show_dbg_file"> 1991 <property name="text"> 1992 <string>Always show debug breakpoints and pointers (opens related file if closed)</string> 1993 </property> 1994 <property name="checked"> 1995 <bool>true</bool> 1996 </property> 1997 </widget> 1998 </item> 1999 </layout> 2000 </item> 2001 </layout> 2002 </widget> 2003 </item> 2004 <item> 2005 <widget class="QGroupBox" name="groupBox_8"> 2006 <property name="title"> 2007 <string>File handling</string> 2008 </property> 2009 <layout class="QVBoxLayout" name="verticalLayout_30"> 2010 <item> 2011 <layout class="QVBoxLayout" name="verticalLayout_11"> 2012 <property name="topMargin"> 2013 <number>0</number> 2014 </property> 2015 <property name="bottomMargin"> 2016 <number>0</number> 2017 </property> 2018 <item> 2019 <layout class="QGridLayout" name="gridLayout_11"> 2020 <property name="topMargin"> 2021 <number>0</number> 2022 </property> 2023 <item row="4" column="0"> 2024 <widget class="QCheckBox" name="editor_reload_changed_files"> 2025 <property name="text"> 2026 <string>Reload externally changed files without prompt</string> 2027 </property> 2028 </widget> 2029 </item> 2030 <item row="1" column="0"> 2031 <widget class="QCheckBox" name="editor_restoreSession"> 2032 <property name="sizePolicy"> 2033 <sizepolicy hsizetype="Minimum" vsizetype="Fixed"> 2034 <horstretch>0</horstretch> 2035 <verstretch>0</verstretch> 2036 </sizepolicy> 2037 </property> 2038 <property name="text"> 2039 <string>Restore editor tabs from previous session on startup or when editor is shown again after closing</string> 2040 </property> 2041 </widget> 2042 </item> 2043 <item row="3" column="0"> 2044 <widget class="QCheckBox" name="editor_create_new file"> 2045 <property name="sizePolicy"> 2046 <sizepolicy hsizetype="Minimum" vsizetype="Fixed"> 2047 <horstretch>0</horstretch> 2048 <verstretch>0</verstretch> 2049 </sizepolicy> 2050 </property> 2051 <property name="text"> 2052 <string>Create nonexistent files without prompting</string> 2053 </property> 2054 </widget> 2055 </item> 2056 <item row="8" column="0"> 2057 <layout class="QHBoxLayout" name="horizontalLayout_2"> 2058 <property name="topMargin"> 2059 <number>0</number> 2060 </property> 2061 <item> 2062 <widget class="QLabel" name="label_22"> 2063 <property name="text"> 2064 <string>Default EOL mode</string> 2065 </property> 2066 </widget> 2067 </item> 2068 <item> 2069 <widget class="QComboBox" name="combo_eol_mode"> 2070 <property name="sizePolicy"> 2071 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 2072 <horstretch>0</horstretch> 2073 <verstretch>0</verstretch> 2074 </sizepolicy> 2075 </property> 2076 <property name="sizeAdjustPolicy"> 2077 <enum>QComboBox::AdjustToContents</enum> 2078 </property> 2079 <property name="minimumContentsLength"> 2080 <number>7</number> 2081 </property> 2082 <item> 2083 <property name="text"> 2084 <string>Windows (CRLF)</string> 2085 </property> 2086 </item> 2087 <item> 2088 <property name="text"> 2089 <string>Legacy Mac (CR)</string> 2090 </property> 2091 </item> 2092 <item> 2093 <property name="text"> 2094 <string>Unix (LF)</string> 2095 </property> 2096 </item> 2097 </widget> 2098 </item> 2099 <item> 2100 <spacer name="horizontalSpacer_18"> 2101 <property name="orientation"> 2102 <enum>Qt::Horizontal</enum> 2103 </property> 2104 <property name="sizeHint" stdset="0"> 2105 <size> 2106 <width>40</width> 2107 <height>20</height> 2108 </size> 2109 </property> 2110 </spacer> 2111 </item> 2112 </layout> 2113 </item> 2114 <item row="10" column="0"> 2115 <layout class="QHBoxLayout" name="horizontalLayout_16"> 2116 <item> 2117 <widget class="QLabel" name="label_16"> 2118 <property name="text"> 2119 <string>Text encoding used for loading and saving</string> 2120 </property> 2121 </widget> 2122 </item> 2123 <item> 2124 <widget class="QComboBox" name="editor_combo_encoding"/> 2125 </item> 2126 <item> 2127 <spacer name="horizontalSpacer_32"> 2128 <property name="orientation"> 2129 <enum>Qt::Horizontal</enum> 2130 </property> 2131 <property name="sizeHint" stdset="0"> 2132 <size> 2133 <width>40</width> 2134 <height>20</height> 2135 </size> 2136 </property> 2137 </spacer> 2138 </item> 2139 </layout> 2140 </item> 2141 <item row="7" column="0"> 2142 <widget class="QCheckBox" name="editor_hiding_closes_files"> 2143 <property name="text"> 2144 <string>Close all files when the editor widget is closed/hidden</string> 2145 </property> 2146 <property name="checked"> 2147 <bool>true</bool> 2148 </property> 2149 </widget> 2150 </item> 2151 </layout> 2152 </item> 2153 </layout> 2154 </item> 2155 </layout> 2156 </widget> 2157 </item> 2158 <item> 2159 <widget class="QGroupBox" name="group_box_editor_styles"> 2160 <property name="enabled"> 2161 <bool>true</bool> 2162 </property> 2163 <property name="autoFillBackground"> 2164 <bool>false</bool> 2165 </property> 2166 <property name="title"> 2167 <string>Editor Styles</string> 2168 </property> 2169 <property name="alignment"> 2170 <set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignVCenter</set> 2171 </property> 2172 <layout class="QVBoxLayout" name="verticalLayout_31"> 2173 <item> 2174 <widget class="QLabel" name="label_23"> 2175 <property name="text"> 2176 <string><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></string> 2177 </property> 2178 <property name="wordWrap"> 2179 <bool>true</bool> 2180 </property> 2181 </widget> 2182 </item> 2183 <item> 2184 <widget class="QTabWidget" name="tabs_editor_lexers"> 2185 <property name="sizePolicy"> 2186 <sizepolicy hsizetype="Expanding" vsizetype="Expanding"> 2187 <horstretch>0</horstretch> 2188 <verstretch>0</verstretch> 2189 </sizepolicy> 2190 </property> 2191 </widget> 2192 </item> 2193 </layout> 2194 </widget> 2195 </item> 2196 <item> 2197 <spacer name="verticalSpacer_7"> 2198 <property name="orientation"> 2199 <enum>Qt::Vertical</enum> 2200 </property> 2201 <property name="sizeHint" stdset="0"> 2202 <size> 2203 <width>20</width> 2204 <height>20</height> 2205 </size> 2206 </property> 2207 </spacer> 2208 </item> 2209 </layout> 2210 </widget> 2211 </widget> 2212 </item> 2213 </layout> 2214 </widget> 2215 <widget class="QWidget" name="tab_file_browser"> 2216 <attribute name="title"> 2217 <string>File Browser</string> 2218 </attribute> 2219 <layout class="QVBoxLayout" name="verticalLayout_3"> 2220 <item> 2221 <widget class="QScrollArea" name="scrollArea_4"> 2222 <property name="widgetResizable"> 2223 <bool>true</bool> 2224 </property> 2225 <widget class="QWidget" name="scrollAreaWidgetContents_5"> 2226 <property name="geometry"> 2227 <rect> 2228 <x>0</x> 2229 <y>0</y> 2230 <width>1035</width> 2231 <height>569</height> 2232 </rect> 2233 </property> 2234 <layout class="QGridLayout" name="gridLayout_8"> 2235 <item row="0" column="0"> 2236 <widget class="QGroupBox" name="groupBox_4"> 2237 <property name="title"> 2238 <string>Behavior</string> 2239 </property> 2240 <layout class="QGridLayout" name="gridLayout_2"> 2241 <item row="0" column="0"> 2242 <layout class="QVBoxLayout" name="verticalLayout_18"> 2243 <item> 2244 <widget class="QCheckBox" name="sync_octave_directory"> 2245 <property name="text"> 2246 <string>Synchronize Octave working directory with file browser</string> 2247 </property> 2248 </widget> 2249 </item> 2250 <item> 2251 <layout class="QGridLayout" name="lo_file_browser_startup"> 2252 <item row="0" column="1"> 2253 <layout class="QGridLayout" name="gridLayout_22"> 2254 <property name="topMargin"> 2255 <number>0</number> 2256 </property> 2257 <item row="0" column="0"> 2258 <widget class="QCheckBox" name="cb_restore_file_browser_dir"> 2259 <property name="text"> 2260 <string>Restore last directory of previous session</string> 2261 </property> 2262 </widget> 2263 </item> 2264 <item row="1" column="0"> 2265 <widget class="QLineEdit" name="le_file_browser_dir"> 2266 <property name="sizePolicy"> 2267 <sizepolicy hsizetype="Expanding" vsizetype="Preferred"> 2268 <horstretch>0</horstretch> 2269 <verstretch>0</verstretch> 2270 </sizepolicy> 2271 </property> 2272 </widget> 2273 </item> 2274 <item row="1" column="1"> 2275 <widget class="QPushButton" name="pb_file_browser_dir"> 2276 <property name="sizePolicy"> 2277 <sizepolicy hsizetype="Minimum" vsizetype="Fixed"> 2278 <horstretch>0</horstretch> 2279 <verstretch>0</verstretch> 2280 </sizepolicy> 2281 </property> 2282 <property name="text"> 2283 <string>Browse</string> 2284 </property> 2285 </widget> 2286 </item> 2287 </layout> 2288 </item> 2289 <item row="0" column="0"> 2290 <widget class="QLabel" name="lbl_file_browser_dir"> 2291 <property name="text"> 2292 <string>Initial file browser directory (only if not synchronized with initial working directory of Octave)</string> 2293 </property> 2294 <property name="alignment"> 2295 <set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignTop</set> 2296 </property> 2297 <property name="wordWrap"> 2298 <bool>true</bool> 2299 </property> 2300 </widget> 2301 </item> 2302 <item row="0" column="3"> 2303 <spacer name="horizontalSpacer_29"> 2304 <property name="orientation"> 2305 <enum>Qt::Horizontal</enum> 2306 </property> 2307 <property name="sizeHint" stdset="0"> 2308 <size> 2309 <width>20</width> 2310 <height>20</height> 2311 </size> 2312 </property> 2313 </spacer> 2314 </item> 2315 </layout> 2316 </item> 2317 <item> 2318 <layout class="QVBoxLayout" name="verticalLayout_9"> 2319 <item alignment="Qt::AlignTop"> 2320 <widget class="QLabel" name="lbl_file_browser_extensions"> 2321 <property name="sizePolicy"> 2322 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 2323 <horstretch>0</horstretch> 2324 <verstretch>0</verstretch> 2325 </sizepolicy> 2326 </property> 2327 <property name="text"> 2328 <string>Extensions of files to be opened in the default text editor (separated by ";"):</string> 2329 </property> 2330 </widget> 2331 </item> 2332 <item> 2333 <widget class="QLineEdit" name="le_file_browser_extensions"> 2334 <property name="text"> 2335 <string/> 2336 </property> 2337 </widget> 2338 </item> 2339 </layout> 2340 </item> 2341 </layout> 2342 </item> 2343 </layout> 2344 </widget> 2345 </item> 2346 <item row="1" column="0"> 2347 <spacer name="verticalSpacer_2"> 2348 <property name="orientation"> 2349 <enum>Qt::Vertical</enum> 2350 </property> 2351 <property name="sizeHint" stdset="0"> 2352 <size> 2353 <width>20</width> 2354 <height>100</height> 2355 </size> 2356 </property> 2357 </spacer> 2358 </item> 2359 </layout> 2360 </widget> 2361 </widget> 2362 </item> 2363 </layout> 2364 </widget> 2365 <widget class="QWidget" name="tab_workspace"> 2366 <attribute name="title"> 2367 <string>Workspace</string> 2368 </attribute> 2369 <layout class="QVBoxLayout" name="verticalLayout_15"> 2370 <item> 2371 <widget class="QScrollArea" name="scrollArea_5"> 2372 <property name="widgetResizable"> 2373 <bool>true</bool> 2374 </property> 2375 <widget class="QWidget" name="scrollAreaWidgetContents_6"> 2376 <property name="geometry"> 2377 <rect> 2378 <x>0</x> 2379 <y>0</y> 2380 <width>1035</width> 2381 <height>569</height> 2382 </rect> 2383 </property> 2384 <layout class="QVBoxLayout" name="verticalLayout_19"> 2385 <item> 2386 <layout class="QGridLayout" name="gridLayout_14"> 2387 <property name="topMargin"> 2388 <number>0</number> 2389 </property> 2390 <item row="0" column="0"> 2391 <widget class="QGroupBox" name="workspace_colors_box"> 2392 <property name="enabled"> 2393 <bool>true</bool> 2394 </property> 2395 <property name="sizePolicy"> 2396 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 2397 <horstretch>0</horstretch> 2398 <verstretch>0</verstretch> 2399 </sizepolicy> 2400 </property> 2401 <property name="title"> 2402 <string>Colors for variable attributes</string> 2403 </property> 2404 </widget> 2405 </item> 2406 </layout> 2407 </item> 2408 <item> 2409 <spacer name="verticalSpacer_6"> 2410 <property name="orientation"> 2411 <enum>Qt::Vertical</enum> 2412 </property> 2413 <property name="sizeHint" stdset="0"> 2414 <size> 2415 <width>20</width> 2416 <height>40</height> 2417 </size> 2418 </property> 2419 </spacer> 2420 </item> 2421 </layout> 2422 </widget> 2423 </widget> 2424 </item> 2425 </layout> 2426 </widget> 2427 <widget class="QWidget" name="tab_varedit"> 2428 <attribute name="title"> 2429 <string>Variable Editor</string> 2430 </attribute> 2431 <layout class="QVBoxLayout" name="verticalLayout_ve_manual"> 2432 <item> 2433 <widget class="QScrollArea" name="scrollArea_8"> 2434 <property name="widgetResizable"> 2435 <bool>true</bool> 2436 </property> 2437 <widget class="QWidget" name="scrollAreaWidgetContents_3"> 2438 <property name="geometry"> 2439 <rect> 2440 <x>0</x> 2441 <y>0</y> 2442 <width>1035</width> 2443 <height>569</height> 2444 </rect> 2445 </property> 2446 <layout class="QVBoxLayout" name="verticalLayout_vesc_manual"> 2447 <property name="geometry" stdset="0"> 2448 <rect> 2449 <x>0</x> 2450 <y>0</y> 2451 <width>678</width> 2452 <height>384</height> 2453 </rect> 2454 </property> 2455 <item> 2456 <layout class="QVBoxLayout" name="verticalLayout_ve"> 2457 <item> 2458 <layout class="QGridLayout" name="gridLayout_ve"> 2459 <item row="1" column="3"> 2460 <widget class="QLabel" name="label_26"> 2461 <property name="text"> 2462 <string>Font size</string> 2463 </property> 2464 <property name="alignment"> 2465 <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> 2466 </property> 2467 </widget> 2468 </item> 2469 <item row="4" column="0"> 2470 <widget class="QLabel" name="label_27"> 2471 <property name="text"> 2472 <string>Default row height</string> 2473 </property> 2474 </widget> 2475 </item> 2476 <item row="3" column="0"> 2477 <widget class="QLabel" name="label_ve_colwidth"> 2478 <property name="text"> 2479 <string>Default column width</string> 2480 </property> 2481 <property name="alignment"> 2482 <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> 2483 </property> 2484 </widget> 2485 </item> 2486 <item row="1" column="4"> 2487 <widget class="QSpinBox" name="varedit_fontSize"> 2488 <property name="value"> 2489 <number>10</number> 2490 </property> 2491 </widget> 2492 </item> 2493 <item row="1" column="1" colspan="2"> 2494 <widget class="QFontComboBox" name="varedit_font"> 2495 <property name="currentFont"> 2496 <font> 2497 <family>Liberation Mono</family> 2498 </font> 2499 </property> 2500 </widget> 2501 </item> 2502 <item row="4" column="6"> 2503 <spacer name="horizontalSpacer_ve"> 2504 <property name="orientation"> 2505 <enum>Qt::Horizontal</enum> 2506 </property> 2507 <property name="sizeHint" stdset="0"> 2508 <size> 2509 <width>40</width> 2510 <height>20</height> 2511 </size> 2512 </property> 2513 </spacer> 2514 </item> 2515 <item row="4" column="1"> 2516 <widget class="QSpinBox" name="varedit_rowHeight"> 2517 <property name="value"> 2518 <number>10</number> 2519 </property> 2520 </widget> 2521 </item> 2522 <item row="3" column="1"> 2523 <widget class="QSpinBox" name="varedit_columnWidth"> 2524 <property name="maximum"> 2525 <number>500</number> 2526 </property> 2527 <property name="value"> 2528 <number>100</number> 2529 </property> 2530 </widget> 2531 </item> 2532 <item row="0" column="1"> 2533 <widget class="QCheckBox" name="varedit_useTerminalFont"> 2534 <property name="text"> 2535 <string>Use Command Window font</string> 2536 </property> 2537 <property name="checked"> 2538 <bool>true</bool> 2539 </property> 2540 </widget> 2541 </item> 2542 <item row="0" column="0"> 2543 <widget class="QLabel" name="label_25"> 2544 <property name="text"> 2545 <string>Font</string> 2546 </property> 2547 <property name="alignment"> 2548 <set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignVCenter</set> 2549 </property> 2550 </widget> 2551 </item> 2552 </layout> 2553 </item> 2554 <item> 2555 <widget class="QGroupBox" name="varedit_colors_box"> 2556 <property name="title"> 2557 <string>Variable Editor Colors</string> 2558 </property> 2559 </widget> 2560 </item> 2561 </layout> 2562 </item> 2563 <item> 2564 <widget class="QCheckBox" name="varedit_alternate"> 2565 <property name="enabled"> 2566 <bool>true</bool> 2567 </property> 2568 <property name="text"> 2569 <string>Use alternating row colors</string> 2570 </property> 2571 </widget> 2572 </item> 2573 <item> 2574 <spacer name="verticalSpacer_4"> 2575 <property name="orientation"> 2576 <enum>Qt::Vertical</enum> 2577 </property> 2578 <property name="sizeHint" stdset="0"> 2579 <size> 2580 <width>20</width> 2581 <height>40</height> 2582 </size> 2583 </property> 2584 </spacer> 2585 </item> 2586 </layout> 2587 </widget> 2588 </widget> 2589 </item> 2590 </layout> 2591 </widget> 2592 <widget class="QWidget" name="tab_shortcuts"> 2593 <attribute name="title"> 2594 <string>Shortcuts</string> 2595 </attribute> 2596 <layout class="QVBoxLayout" name="verticalLayout_27"> 2597 <item> 2598 <widget class="QScrollArea" name="scrollArea_7"> 2599 <property name="widgetResizable"> 2600 <bool>true</bool> 2601 </property> 2602 <widget class="QWidget" name="scrollAreaWidgetContents_8"> 2603 <property name="geometry"> 2604 <rect> 2605 <x>0</x> 2606 <y>0</y> 2607 <width>1035</width> 2608 <height>569</height> 2609 </rect> 2610 </property> 2611 <layout class="QVBoxLayout" name="verticalLayout_25"> 2612 <item> 2613 <layout class="QVBoxLayout" name="verticalLayout_26"> 2614 <property name="sizeConstraint"> 2615 <enum>QLayout::SetDefaultConstraint</enum> 2616 </property> 2617 <property name="topMargin"> 2618 <number>0</number> 2619 </property> 2620 <item> 2621 <layout class="QHBoxLayout" name="horizontalLayout_15"> 2622 <item> 2623 <widget class="QCheckBox" name="cb_prevent_readline_conflicts"> 2624 <property name="toolTip"> 2625 <string>Select this option to prevent conflicts with readline shortcuts</string> 2626 </property> 2627 <property name="text"> 2628 <string>Disable global shortcuts when Command Window has focus</string> 2629 </property> 2630 <property name="checked"> 2631 <bool>true</bool> 2632 </property> 2633 </widget> 2634 </item> 2635 </layout> 2636 </item> 2637 <item> 2638 <widget class="Line" name="line_9"> 2639 <property name="orientation"> 2640 <enum>Qt::Horizontal</enum> 2641 </property> 2642 </widget> 2643 </item> 2644 <item> 2645 <layout class="QGridLayout" name="gridLayout_12"> 2646 <property name="topMargin"> 2647 <number>10</number> 2648 </property> 2649 <property name="bottomMargin"> 2650 <number>10</number> 2651 </property> 2652 <item row="0" column="3"> 2653 <spacer name="horizontalSpacer_26"> 2654 <property name="orientation"> 2655 <enum>Qt::Horizontal</enum> 2656 </property> 2657 <property name="sizeHint" stdset="0"> 2658 <size> 2659 <width>40</width> 2660 <height>20</height> 2661 </size> 2662 </property> 2663 </spacer> 2664 </item> 2665 <item row="0" column="0"> 2666 <widget class="QPushButton" name="btn_import_shortcut_set"> 2667 <property name="toolTip"> 2668 <string>Import shortcut set</string> 2669 </property> 2670 <property name="text"> 2671 <string>Import</string> 2672 </property> 2673 </widget> 2674 </item> 2675 <item row="0" column="1"> 2676 <widget class="QPushButton" name="btn_export_shortcut_set"> 2677 <property name="toolTip"> 2678 <string>Export current shortcut set</string> 2679 </property> 2680 <property name="text"> 2681 <string>Export</string> 2682 </property> 2683 </widget> 2684 </item> 2685 <item row="0" column="2"> 2686 <widget class="QPushButton" name="btn_default_shortcut_set"> 2687 <property name="toolTip"> 2688 <string>Reset shortcuts to their defaults</string> 2689 </property> 2690 <property name="text"> 2691 <string>Default</string> 2692 </property> 2693 </widget> 2694 </item> 2695 </layout> 2696 </item> 2697 <item> 2698 <widget class="QLabel" name="label_21"> 2699 <property name="text"> 2700 <string>Edit a shortcut by double-clicking in a cell</string> 2701 </property> 2702 </widget> 2703 </item> 2704 <item> 2705 <layout class="QHBoxLayout" name="horizontalLayout_10"> 2706 <property name="topMargin"> 2707 <number>0</number> 2708 </property> 2709 <item> 2710 <widget class="QTreeWidget" name="shortcuts_treewidget"> 2711 <property name="sizePolicy"> 2712 <sizepolicy hsizetype="Expanding" vsizetype="Expanding"> 2713 <horstretch>0</horstretch> 2714 <verstretch>0</verstretch> 2715 </sizepolicy> 2716 </property> 2717 <property name="sizeIncrement"> 2718 <size> 2719 <width>0</width> 2720 <height>0</height> 2721 </size> 2722 </property> 2723 <property name="baseSize"> 2724 <size> 2725 <width>0</width> 2726 <height>0</height> 2727 </size> 2728 </property> 2729 <property name="alternatingRowColors"> 2730 <bool>true</bool> 2731 </property> 2732 <property name="animated"> 2733 <bool>false</bool> 2734 </property> 2735 <property name="allColumnsShowFocus"> 2736 <bool>false</bool> 2737 </property> 2738 <property name="headerHidden"> 2739 <bool>false</bool> 2740 </property> 2741 <property name="columnCount"> 2742 <number>3</number> 2743 </property> 2744 <attribute name="headerCascadingSectionResizes"> 2745 <bool>false</bool> 2746 </attribute> 2747 <attribute name="headerDefaultSectionSize"> 2748 <number>120</number> 2749 </attribute> 2750 <attribute name="headerHighlightSections"> 2751 <bool>false</bool> 2752 </attribute> 2753 <attribute name="headerMinimumSectionSize"> 2754 <number>64</number> 2755 </attribute> 2756 <attribute name="headerStretchLastSection"> 2757 <bool>true</bool> 2758 </attribute> 2759 <column> 2760 <property name="text"> 2761 <string>Action</string> 2762 </property> 2763 <property name="font"> 2764 <font> 2765 <italic>false</italic> 2766 </font> 2767 </property> 2768 </column> 2769 <column> 2770 <property name="text"> 2771 <string>Default</string> 2772 </property> 2773 </column> 2774 <column> 2775 <property name="text"> 2776 <string>Actual</string> 2777 </property> 2778 </column> 2779 </widget> 2780 </item> 2781 </layout> 2782 </item> 2783 </layout> 2784 </item> 2785 </layout> 2786 </widget> 2787 </widget> 2788 </item> 2789 </layout> 2790 </widget> 2791 <widget class="QWidget" name="tab_network"> 2792 <attribute name="title"> 2793 <string>Network</string> 2794 </attribute> 2795 <layout class="QVBoxLayout" name="verticalLayout_4"> 2796 <item> 2797 <widget class="QScrollArea" name="scrollArea_6"> 2798 <property name="widgetResizable"> 2799 <bool>true</bool> 2800 </property> 2801 <widget class="QWidget" name="scrollAreaWidgetContents_7"> 2802 <property name="geometry"> 2803 <rect> 2804 <x>0</x> 2805 <y>0</y> 2806 <width>1035</width> 2807 <height>569</height> 2808 </rect> 2809 </property> 2810 <layout class="QVBoxLayout" name="verticalLayout_20"> 2811 <item> 2812 <layout class="QVBoxLayout" name="verticalLayout"> 2813 <item> 2814 <widget class="QCheckBox" name="checkbox_allow_web_connect"> 2815 <property name="text"> 2816 <string>Allow Octave to connect to the Octave web site to display current news and information</string> 2817 </property> 2818 </widget> 2819 </item> 2820 <item> 2821 <layout class="QGridLayout" name="gridLayout_5"> 2822 <item row="1" column="1"> 2823 <widget class="QLabel" name="label_4"> 2824 <property name="enabled"> 2825 <bool>false</bool> 2826 </property> 2827 <property name="text"> 2828 <string>Hostname:</string> 2829 </property> 2830 </widget> 2831 </item> 2832 <item row="0" column="2"> 2833 <widget class="QComboBox" name="proxyType"> 2834 <property name="enabled"> 2835 <bool>false</bool> 2836 </property> 2837 <item> 2838 <property name="text"> 2839 <string>HttpProxy</string> 2840 </property> 2841 </item> 2842 <item> 2843 <property name="text"> 2844 <string>Socks5Proxy</string> 2845 </property> 2846 </item> 2847 </widget> 2848 </item> 2849 <item row="3" column="1"> 2850 <widget class="QLabel" name="label_6"> 2851 <property name="enabled"> 2852 <bool>false</bool> 2853 </property> 2854 <property name="text"> 2855 <string>Username:</string> 2856 </property> 2857 </widget> 2858 </item> 2859 <item row="0" column="0"> 2860 <widget class="QCheckBox" name="useProxyServer"> 2861 <property name="text"> 2862 <string>Use proxy server</string> 2863 </property> 2864 </widget> 2865 </item> 2866 <item row="0" column="1"> 2867 <widget class="QLabel" name="label_3"> 2868 <property name="enabled"> 2869 <bool>false</bool> 2870 </property> 2871 <property name="text"> 2872 <string>Proxy type:</string> 2873 </property> 2874 </widget> 2875 </item> 2876 <item row="2" column="1"> 2877 <widget class="QLabel" name="label_5"> 2878 <property name="enabled"> 2879 <bool>false</bool> 2880 </property> 2881 <property name="text"> 2882 <string>Port:</string> 2883 </property> 2884 </widget> 2885 </item> 2886 <item row="4" column="1"> 2887 <widget class="QLabel" name="label_7"> 2888 <property name="enabled"> 2889 <bool>false</bool> 2890 </property> 2891 <property name="text"> 2892 <string>Password:</string> 2893 </property> 2894 </widget> 2895 </item> 2896 <item row="1" column="2"> 2897 <widget class="QLineEdit" name="proxyHostName"> 2898 <property name="enabled"> 2899 <bool>false</bool> 2900 </property> 2901 </widget> 2902 </item> 2903 <item row="2" column="2"> 2904 <widget class="QLineEdit" name="proxyPort"> 2905 <property name="enabled"> 2906 <bool>false</bool> 2907 </property> 2908 </widget> 2909 </item> 2910 <item row="3" column="2"> 2911 <widget class="QLineEdit" name="proxyUserName"> 2912 <property name="enabled"> 2913 <bool>false</bool> 2914 </property> 2915 </widget> 2916 </item> 2917 <item row="4" column="2"> 2918 <widget class="QLineEdit" name="proxyPassword"> 2919 <property name="enabled"> 2920 <bool>false</bool> 2921 </property> 2922 <property name="echoMode"> 2923 <enum>QLineEdit::Password</enum> 2924 </property> 2925 </widget> 2926 </item> 2927 </layout> 2928 </item> 2929 </layout> 2930 </item> 2931 <item> 2932 <spacer name="verticalSpacer_5"> 2933 <property name="orientation"> 2934 <enum>Qt::Vertical</enum> 2935 </property> 2936 <property name="sizeHint" stdset="0"> 2937 <size> 2938 <width>20</width> 2939 <height>40</height> 2940 </size> 2941 </property> 2942 </spacer> 2943 </item> 2944 </layout> 2945 </widget> 2946 </widget> 2947 </item> 2948 </layout> 2949 </widget> 2950 </widget> 2951 </item> 2952 <item> 2953 <widget class="QDialogButtonBox" name="button_box"> 2954 <property name="standardButtons"> 2955 <set>QDialogButtonBox::Apply|QDialogButtonBox::Cancel|QDialogButtonBox::Ok</set> 2956 </property> 2957 </widget> 2958 </item> 2959 </layout> 2960 </widget> 2961 <resources/> 2962 <connections> 2963 <connection> 2964 <sender>useProxyServer</sender> 2965 <signal>toggled(bool)</signal> 2966 <receiver>label_4</receiver> 2967 <slot>setEnabled(bool)</slot> 2968 <hints> 2969 <hint type="sourcelabel"> 2970 <x>249</x> 2971 <y>59</y> 2972 </hint> 2973 <hint type="destinationlabel"> 2974 <x>69</x> 2975 <y>122</y> 2976 </hint> 2977 </hints> 2978 </connection> 2979 <connection> 2980 <sender>useProxyServer</sender> 2981 <signal>toggled(bool)</signal> 2982 <receiver>label_3</receiver> 2983 <slot>setEnabled(bool)</slot> 2984 <hints> 2985 <hint type="sourcelabel"> 2986 <x>249</x> 2987 <y>59</y> 2988 </hint> 2989 <hint type="destinationlabel"> 2990 <x>59</x> 2991 <y>91</y> 2992 </hint> 2993 </hints> 2994 </connection> 2995 <connection> 2996 <sender>useProxyServer</sender> 2997 <signal>toggled(bool)</signal> 2998 <receiver>proxyHostName</receiver> 2999 <slot>setEnabled(bool)</slot> 3000 <hints> 3001 <hint type="sourcelabel"> 3002 <x>249</x> 3003 <y>59</y> 3004 </hint> 3005 <hint type="destinationlabel"> 3006 <x>291</x> 3007 <y>124</y> 3008 </hint> 3009 </hints> 3010 </connection> 3011 <connection> 3012 <sender>useProxyServer</sender> 3013 <signal>toggled(bool)</signal> 3014 <receiver>label_5</receiver> 3015 <slot>setEnabled(bool)</slot> 3016 <hints> 3017 <hint type="sourcelabel"> 3018 <x>249</x> 3019 <y>59</y> 3020 </hint> 3021 <hint type="destinationlabel"> 3022 <x>44</x> 3023 <y>152</y> 3024 </hint> 3025 </hints> 3026 </connection> 3027 <connection> 3028 <sender>useProxyServer</sender> 3029 <signal>toggled(bool)</signal> 3030 <receiver>proxyType</receiver> 3031 <slot>setEnabled(bool)</slot> 3032 <hints> 3033 <hint type="sourcelabel"> 3034 <x>249</x> 3035 <y>59</y> 3036 </hint> 3037 <hint type="destinationlabel"> 3038 <x>291</x> 3039 <y>91</y> 3040 </hint> 3041 </hints> 3042 </connection> 3043 <connection> 3044 <sender>useProxyServer</sender> 3045 <signal>toggled(bool)</signal> 3046 <receiver>proxyPort</receiver> 3047 <slot>setEnabled(bool)</slot> 3048 <hints> 3049 <hint type="sourcelabel"> 3050 <x>249</x> 3051 <y>59</y> 3052 </hint> 3053 <hint type="destinationlabel"> 3054 <x>364</x> 3055 <y>154</y> 3056 </hint> 3057 </hints> 3058 </connection> 3059 <connection> 3060 <sender>useCustomFileEditor</sender> 3061 <signal>toggled(bool)</signal> 3062 <receiver>customFileEditor</receiver> 3063 <slot>setEnabled(bool)</slot> 3064 <hints> 3065 <hint type="sourcelabel"> 3066 <x>111</x> 3067 <y>62</y> 3068 </hint> 3069 <hint type="destinationlabel"> 3070 <x>343</x> 3071 <y>63</y> 3072 </hint> 3073 </hints> 3074 </connection> 3075 <connection> 3076 <sender>useProxyServer</sender> 3077 <signal>toggled(bool)</signal> 3078 <receiver>label_7</receiver> 3079 <slot>setEnabled(bool)</slot> 3080 <hints> 3081 <hint type="sourcelabel"> 3082 <x>249</x> 3083 <y>59</y> 3084 </hint> 3085 <hint type="destinationlabel"> 3086 <x>67</x> 3087 <y>212</y> 3088 </hint> 3089 </hints> 3090 </connection> 3091 <connection> 3092 <sender>useProxyServer</sender> 3093 <signal>toggled(bool)</signal> 3094 <receiver>label_6</receiver> 3095 <slot>setEnabled(bool)</slot> 3096 <hints> 3097 <hint type="sourcelabel"> 3098 <x>249</x> 3099 <y>59</y> 3100 </hint> 3101 <hint type="destinationlabel"> 3102 <x>68</x> 3103 <y>182</y> 3104 </hint> 3105 </hints> 3106 </connection> 3107 <connection> 3108 <sender>useProxyServer</sender> 3109 <signal>toggled(bool)</signal> 3110 <receiver>proxyPassword</receiver> 3111 <slot>setEnabled(bool)</slot> 3112 <hints> 3113 <hint type="sourcelabel"> 3114 <x>249</x> 3115 <y>59</y> 3116 </hint> 3117 <hint type="destinationlabel"> 3118 <x>364</x> 3119 <y>214</y> 3120 </hint> 3121 </hints> 3122 </connection> 3123 <connection> 3124 <sender>useProxyServer</sender> 3125 <signal>toggled(bool)</signal> 3126 <receiver>proxyUserName</receiver> 3127 <slot>setEnabled(bool)</slot> 3128 <hints> 3129 <hint type="sourcelabel"> 3130 <x>249</x> 3131 <y>59</y> 3132 </hint> 3133 <hint type="destinationlabel"> 3134 <x>364</x> 3135 <y>184</y> 3136 </hint> 3137 </hints> 3138 </connection> 3139 <connection> 3140 <sender>useCustomFileEditor</sender> 3141 <signal>toggled(bool)</signal> 3142 <receiver>customEditorLabel</receiver> 3143 <slot>setEnabled(bool)</slot> 3144 <hints> 3145 <hint type="sourcelabel"> 3146 <x>349</x> 3147 <y>383</y> 3148 </hint> 3149 <hint type="destinationlabel"> 3150 <x>111</x> 3151 <y>413</y> 3152 </hint> 3153 </hints> 3154 </connection> 3155 <connection> 3156 <sender>editor_ws_checkbox</sender> 3157 <signal>toggled(bool)</signal> 3158 <receiver>editor_ws_indent_checkbox</receiver> 3159 <slot>setEnabled(bool)</slot> 3160 <hints> 3161 <hint type="sourcelabel"> 3162 <x>85</x> 3163 <y>119</y> 3164 </hint> 3165 <hint type="destinationlabel"> 3166 <x>282</x> 3167 <y>119</y> 3168 </hint> 3169 </hints> 3170 </connection> 3171 <connection> 3172 <sender>cb_widget_custom_style</sender> 3173 <signal>toggled(bool)</signal> 3174 <receiver>label_bgtitle</receiver> 3175 <slot>setEnabled(bool)</slot> 3176 <hints> 3177 <hint type="sourcelabel"> 3178 <x>228</x> 3179 <y>156</y> 3180 </hint> 3181 <hint type="destinationlabel"> 3182 <x>380</x> 3183 <y>156</y> 3184 </hint> 3185 </hints> 3186 </connection> 3187 <connection> 3188 <sender>editor_highlightCurrentLine</sender> 3189 <signal>toggled(bool)</signal> 3190 <receiver>editor_label_cl_color</receiver> 3191 <slot>setEnabled(bool)</slot> 3192 <hints> 3193 <hint type="sourcelabel"> 3194 <x>184</x> 3195 <y>86</y> 3196 </hint> 3197 <hint type="destinationlabel"> 3198 <x>515</x> 3199 <y>86</y> 3200 </hint> 3201 </hints> 3202 </connection> 3203 <connection> 3204 <sender>editor_codeCompletion</sender> 3205 <signal>toggled(bool)</signal> 3206 <receiver>editor_spinbox_ac_threshold</receiver> 3207 <slot>setEnabled(bool)</slot> 3208 <hints> 3209 <hint type="sourcelabel"> 3210 <x>83</x> 3211 <y>223</y> 3212 </hint> 3213 <hint type="destinationlabel"> 3214 <x>412</x> 3215 <y>223</y> 3216 </hint> 3217 </hints> 3218 </connection> 3219 <connection> 3220 <sender>editor_codeCompletion</sender> 3221 <signal>toggled(bool)</signal> 3222 <receiver>editor_label_ac_threshold</receiver> 3223 <slot>setEnabled(bool)</slot> 3224 <hints> 3225 <hint type="sourcelabel"> 3226 <x>83</x> 3227 <y>223</y> 3228 </hint> 3229 <hint type="destinationlabel"> 3230 <x>288</x> 3231 <y>223</y> 3232 </hint> 3233 </hints> 3234 </connection> 3235 <connection> 3236 <sender>cb_widget_custom_style</sender> 3237 <signal>toggled(bool)</signal> 3238 <receiver>label_fgtitle</receiver> 3239 <slot>setEnabled(bool)</slot> 3240 <hints> 3241 <hint type="sourcelabel"> 3242 <x>228</x> 3243 <y>156</y> 3244 </hint> 3245 <hint type="destinationlabel"> 3246 <x>496</x> 3247 <y>156</y> 3248 </hint> 3249 </hints> 3250 </connection> 3251 <connection> 3252 <sender>cb_restore_octave_dir</sender> 3253 <signal>toggled(bool)</signal> 3254 <receiver>le_octave_dir</receiver> 3255 <slot>setDisabled(bool)</slot> 3256 <hints> 3257 <hint type="sourcelabel"> 3258 <x>270</x> 3259 <y>255</y> 3260 </hint> 3261 <hint type="destinationlabel"> 3262 <x>270</x> 3263 <y>285</y> 3264 </hint> 3265 </hints> 3266 </connection> 3267 <connection> 3268 <sender>cb_restore_octave_dir</sender> 3269 <signal>toggled(bool)</signal> 3270 <receiver>pb_octave_dir</receiver> 3271 <slot>setDisabled(bool)</slot> 3272 <hints> 3273 <hint type="sourcelabel"> 3274 <x>270</x> 3275 <y>255</y> 3276 </hint> 3277 <hint type="destinationlabel"> 3278 <x>467</x> 3279 <y>285</y> 3280 </hint> 3281 </hints> 3282 </connection> 3283 <connection> 3284 <sender>cb_restore_file_browser_dir</sender> 3285 <signal>toggled(bool)</signal> 3286 <receiver>le_file_browser_dir</receiver> 3287 <slot>setDisabled(bool)</slot> 3288 <hints> 3289 <hint type="sourcelabel"> 3290 <x>250</x> 3291 <y>294</y> 3292 </hint> 3293 <hint type="destinationlabel"> 3294 <x>250</x> 3295 <y>324</y> 3296 </hint> 3297 </hints> 3298 </connection> 3299 <connection> 3300 <sender>cb_restore_file_browser_dir</sender> 3301 <signal>toggled(bool)</signal> 3302 <receiver>pb_file_browser_dir</receiver> 3303 <slot>setDisabled(bool)</slot> 3304 <hints> 3305 <hint type="sourcelabel"> 3306 <x>250</x> 3307 <y>294</y> 3308 </hint> 3309 <hint type="destinationlabel"> 3310 <x>426</x> 3311 <y>324</y> 3312 </hint> 3313 </hints> 3314 </connection> 3315 <connection> 3316 <sender>editor_longWindowTitle</sender> 3317 <signal>toggled(bool)</signal> 3318 <receiver>editor_lbl_min_tab_width</receiver> 3319 <slot>setEnabled(bool)</slot> 3320 <hints> 3321 <hint type="sourcelabel"> 3322 <x>145</x> 3323 <y>72</y> 3324 </hint> 3325 <hint type="destinationlabel"> 3326 <x>343</x> 3327 <y>72</y> 3328 </hint> 3329 </hints> 3330 </connection> 3331 <connection> 3332 <sender>editor_longWindowTitle</sender> 3333 <signal>toggled(bool)</signal> 3334 <receiver>editor_notebook_tab_width_max</receiver> 3335 <slot>setEnabled(bool)</slot> 3336 <hints> 3337 <hint type="sourcelabel"> 3338 <x>145</x> 3339 <y>72</y> 3340 </hint> 3341 <hint type="destinationlabel"> 3342 <x>437</x> 3343 <y>72</y> 3344 </hint> 3345 </hints> 3346 </connection> 3347 <connection> 3348 <sender>editor_longWindowTitle</sender> 3349 <signal>toggled(bool)</signal> 3350 <receiver>editor_lbl_max_tab_width</receiver> 3351 <slot>setEnabled(bool)</slot> 3352 <hints> 3353 <hint type="sourcelabel"> 3354 <x>145</x> 3355 <y>72</y> 3356 </hint> 3357 <hint type="destinationlabel"> 3358 <x>439</x> 3359 <y>72</y> 3360 </hint> 3361 </hints> 3362 </connection> 3363 <connection> 3364 <sender>editor_longWindowTitle</sender> 3365 <signal>toggled(bool)</signal> 3366 <receiver>editor_notebook_tab_width_min</receiver> 3367 <slot>setEnabled(bool)</slot> 3368 <hints> 3369 <hint type="sourcelabel"> 3370 <x>145</x> 3371 <y>72</y> 3372 </hint> 3373 <hint type="destinationlabel"> 3374 <x>393</x> 3375 <y>72</y> 3376 </hint> 3377 </hints> 3378 </connection> 3379 <connection> 3380 <sender>editor_checkbox_ac_keywords</sender> 3381 <signal>toggled(bool)</signal> 3382 <receiver>editor_checkbox_ac_builtins</receiver> 3383 <slot>setEnabled(bool)</slot> 3384 <hints> 3385 <hint type="sourcelabel"> 3386 <x>118</x> 3387 <y>231</y> 3388 </hint> 3389 <hint type="destinationlabel"> 3390 <x>296</x> 3391 <y>231</y> 3392 </hint> 3393 </hints> 3394 </connection> 3395 <connection> 3396 <sender>editor_checkbox_ac_keywords</sender> 3397 <signal>toggled(bool)</signal> 3398 <receiver>editor_checkbox_ac_functions</receiver> 3399 <slot>setEnabled(bool)</slot> 3400 <hints> 3401 <hint type="sourcelabel"> 3402 <x>118</x> 3403 <y>231</y> 3404 </hint> 3405 <hint type="destinationlabel"> 3406 <x>446</x> 3407 <y>231</y> 3408 </hint> 3409 </hints> 3410 </connection> 3411 <connection> 3412 <sender>cb_widget_custom_style</sender> 3413 <signal>toggled(bool)</signal> 3414 <receiver>label_3d_title</receiver> 3415 <slot>setEnabled(bool)</slot> 3416 <hints> 3417 <hint type="sourcelabel"> 3418 <x>260</x> 3419 <y>186</y> 3420 </hint> 3421 <hint type="destinationlabel"> 3422 <x>419</x> 3423 <y>236</y> 3424 </hint> 3425 </hints> 3426 </connection> 3427 <connection> 3428 <sender>cb_widget_custom_style</sender> 3429 <signal>toggled(bool)</signal> 3430 <receiver>label_fgtitle_active</receiver> 3431 <slot>setEnabled(bool)</slot> 3432 <hints> 3433 <hint type="sourcelabel"> 3434 <x>260</x> 3435 <y>190</y> 3436 </hint> 3437 <hint type="destinationlabel"> 3438 <x>533</x> 3439 <y>214</y> 3440 </hint> 3441 </hints> 3442 </connection> 3443 <connection> 3444 <sender>cb_widget_custom_style</sender> 3445 <signal>toggled(bool)</signal> 3446 <receiver>label_bgtitle_active</receiver> 3447 <slot>setEnabled(bool)</slot> 3448 <hints> 3449 <hint type="sourcelabel"> 3450 <x>260</x> 3451 <y>190</y> 3452 </hint> 3453 <hint type="destinationlabel"> 3454 <x>525</x> 3455 <y>190</y> 3456 </hint> 3457 </hints> 3458 </connection> 3459 <connection> 3460 <sender>cb_widget_custom_style</sender> 3461 <signal>toggled(bool)</signal> 3462 <receiver>sb_3d_title</receiver> 3463 <slot>setEnabled(bool)</slot> 3464 <hints> 3465 <hint type="sourcelabel"> 3466 <x>260</x> 3467 <y>186</y> 3468 </hint> 3469 <hint type="destinationlabel"> 3470 <x>507</x> 3471 <y>236</y> 3472 </hint> 3473 </hints> 3474 </connection> 3475 <connection> 3476 <sender>editor_break_checkbox</sender> 3477 <signal>toggled(bool)</signal> 3478 <receiver>editor_break_comments_checkbox</receiver> 3479 <slot>setEnabled(bool)</slot> 3480 <hints> 3481 <hint type="sourcelabel"> 3482 <x>286</x> 3483 <y>446</y> 3484 </hint> 3485 <hint type="destinationlabel"> 3486 <x>483</x> 3487 <y>446</y> 3488 </hint> 3489 </hints> 3490 </connection> 3491 <connection> 3492 <sender>editor_showLineNumbers</sender> 3493 <signal>toggled(bool)</signal> 3494 <receiver>editor_linenr_size_label</receiver> 3495 <slot>setEnabled(bool)</slot> 3496 <hints> 3497 <hint type="sourcelabel"> 3498 <x>161</x> 3499 <y>124</y> 3500 </hint> 3501 <hint type="destinationlabel"> 3502 <x>377</x> 3503 <y>124</y> 3504 </hint> 3505 </hints> 3506 </connection> 3507 <connection> 3508 <sender>editor_showLineNumbers</sender> 3509 <signal>toggled(bool)</signal> 3510 <receiver>editor_linenr_size</receiver> 3511 <slot>setEnabled(bool)</slot> 3512 <hints> 3513 <hint type="sourcelabel"> 3514 <x>161</x> 3515 <y>124</y> 3516 </hint> 3517 <hint type="destinationlabel"> 3518 <x>488</x> 3519 <y>124</y> 3520 </hint> 3521 </hints> 3522 </connection> 3523 <connection> 3524 <sender>editor_long_line_marker</sender> 3525 <signal>toggled(bool)</signal> 3526 <receiver>editor_long_line_marker_line</receiver> 3527 <slot>setEnabled(bool)</slot> 3528 <hints> 3529 <hint type="sourcelabel"> 3530 <x>252</x> 3531 <y>397</y> 3532 </hint> 3533 <hint type="destinationlabel"> 3534 <x>346</x> 3535 <y>397</y> 3536 </hint> 3537 </hints> 3538 </connection> 3539 <connection> 3540 <sender>editor_long_line_marker</sender> 3541 <signal>toggled(bool)</signal> 3542 <receiver>editor_long_line_marker_background</receiver> 3543 <slot>setEnabled(bool)</slot> 3544 <hints> 3545 <hint type="sourcelabel"> 3546 <x>252</x> 3547 <y>397</y> 3548 </hint> 3549 <hint type="destinationlabel"> 3550 <x>428</x> 3551 <y>397</y> 3552 </hint> 3553 </hints> 3554 </connection> 3555 </connections> 3556</ui> 3557