Mercurial > octave-nkf

comparison libgui/src/settings-dialog.ui @ 18281:4dadae02bd4c gui-release

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
max. width of editor tabs limited and configurable * settings-dialog.ui: new spin box for max. tab width * settings-dialog.cc (constructor): set spin box value from settings file; (write_changed_settings): write spin box value into settings file * file-editor.cc (construct): set right text alignment in editor tabs; (notice_settings): set tab's style sheet depending on tab width
author Torsten <ttl@justmail.de>
date Tue, 14 Jan 2014 22:51:43 +0100
parents f227bb47314f
children 01646e48a650
comparison
equal deleted inserted replaced
18279:8d98ebeceab4 18281:4dadae02bd4c
30 </property> 30 </property>
31 <layout class="QVBoxLayout" name="verticalLayout_2"> 31 <layout class="QVBoxLayout" name="verticalLayout_2">
32 <item> 32 <item>
33 <widget class="QTabWidget" name="tabWidget"> 33 <widget class="QTabWidget" name="tabWidget">
34 <property name="currentIndex"> 34 <property name="currentIndex">
35 <number>0</number> 35 <number>1</number>
36 </property> 36 </property>
37 <widget class="QWidget" name="tab_general"> 37 <widget class="QWidget" name="tab_general">
38 <property name="enabled"> 38 <property name="enabled">
39 <bool>true</bool> 39 <bool>true</bool>
40 </property> 40 </property>
292 <item> 292 <item>
293 <layout class="QGridLayout" name="editor_common_settings_grid"> 293 <layout class="QGridLayout" name="editor_common_settings_grid">
294 <property name="spacing"> 294 <property name="spacing">
295 <number>6</number> 295 <number>6</number>
296 </property> 296 </property>
297 <item row="3" column="0">
298 <widget class="QCheckBox" name="editor_ws_checkbox">
299 <property name="text">
300 <string>Show whitespace</string>
301 </property>
302 </widget>
303 </item>
297 <item row="2" column="0"> 304 <item row="2" column="0">
298 <widget class="QCheckBox" name="editor_ws_checkbox">
299 <property name="text">
300 <string>Show whitespace</string>
301 </property>
302 </widget>
303 </item>
304 <item row="1" column="0">
305 <widget class="QCheckBox" name="editor_showLineNumbers"> 305 <widget class="QCheckBox" name="editor_showLineNumbers">
306 <property name="enabled"> 306 <property name="enabled">
307 <bool>true</bool> 307 <bool>true</bool>
308 </property> 308 </property>
309 <property name="text"> 309 <property name="text">
310 <string>Show line numbers</string> 310 <string>Show line numbers</string>
311 </property> 311 </property>
312 </widget> 312 </widget>
313 </item> 313 </item>
314 <item row="0" column="0"> 314 <item row="1" column="0">
315 <widget class="QCheckBox" name="editor_longWindowTitle"> 315 <widget class="QCheckBox" name="editor_longWindowTitle">
316 <property name="text"> 316 <property name="text">
317 <string>Show complete path in window title</string> 317 <string>Show complete path in window title</string>
318 </property> 318 </property>
319 </widget> 319 </widget>
320 </item> 320 </item>
321 <item row="2" column="1"> 321 <item row="3" column="2">
322 <widget class="QCheckBox" name="editor_ws_indent_checkbox"> 322 <widget class="QCheckBox" name="editor_ws_indent_checkbox">
323 <property name="enabled"> 323 <property name="enabled">
324 <bool>false</bool> 324 <bool>false</bool>
325 </property> 325 </property>
326 <property name="text"> 326 <property name="text">
327 <string>Do not show whitespace used for indentation</string> 327 <string>Do not show whitespace used for indentation</string>
328 </property> 328 </property>
329 </widget> 329 </widget>
330 </item> 330 </item>
331 <item row="3" column="0"> 331 <item row="4" column="4">
332 <spacer name="horizontalSpacer_18">
333 <property name="orientation">
334 <enum>Qt::Horizontal</enum>
335 </property>
336 <property name="sizeHint" stdset="0">
337 <size>
338 <width>40</width>
339 <height>20</height>
340 </size>
341 </property>
342 </spacer>
343 </item>
344 <item row="4" column="0">
332 <widget class="QCheckBox" name="editor_highlightCurrentLine"> 345 <widget class="QCheckBox" name="editor_highlightCurrentLine">
333 <property name="enabled"> 346 <property name="enabled">
334 <bool>true</bool> 347 <bool>true</bool>
335 </property> 348 </property>
336 <property name="text"> 349 <property name="text">
337 <string>Highlight current line</string> 350 <string>Highlight current line</string>
338 </property> 351 </property>
339 </widget> 352 </widget>
340 </item> 353 </item>
341 <item row="3" column="1"> 354 <item row="4" column="2">
342 <layout class="QGridLayout" name="editor_grid_current_line" rowstretch="0" columnstretch="0,0,0,0,0"> 355 <layout class="QGridLayout" name="editor_grid_current_line" rowstretch="0" columnstretch="0,0,0,0,0">
343 <property name="horizontalSpacing"> 356 <property name="horizontalSpacing">
344 <number>12</number> 357 <number>12</number>
345 </property> 358 </property>
346 <property name="verticalSpacing"> 359 <property name="verticalSpacing">
385 </property> 398 </property>
386 </spacer> 399 </spacer>
387 </item> 400 </item>
388 </layout> 401 </layout>
389 </item> 402 </item>
390 <item row="0" column="2"> 403 <item row="1" column="4">
391 <spacer name="horizontalSpacer_12"> 404 <spacer name="horizontalSpacer_12">
392 <property name="orientation"> 405 <property name="orientation">
393 <enum>Qt::Horizontal</enum> 406 <enum>Qt::Horizontal</enum>
394 </property> 407 </property>
395 <property name="sizeHint" stdset="0"> 408 <property name="sizeHint" stdset="0">
398 <height>20</height> 411 <height>20</height>
399 </size> 412 </size>
400 </property> 413 </property>
401 </spacer> 414 </spacer>
402 </item> 415 </item>
403 <item row="1" column="2"> 416 <item row="2" column="4">
404 <spacer name="horizontalSpacer_16"> 417 <spacer name="horizontalSpacer_16">
405 <property name="orientation"> 418 <property name="orientation">
406 <enum>Qt::Horizontal</enum> 419 <enum>Qt::Horizontal</enum>
407 </property> 420 </property>
408 <property name="sizeHint" stdset="0"> 421 <property name="sizeHint" stdset="0">
411 <height>20</height> 424 <height>20</height>
412 </size> 425 </size>
413 </property> 426 </property>
414 </spacer> 427 </spacer>
415 </item> 428 </item>
416 <item row="2" column="2"> 429 <item row="3" column="4">
417 <spacer name="horizontalSpacer_17"> 430 <spacer name="horizontalSpacer_17">
418 <property name="orientation"> 431 <property name="orientation">
419 <enum>Qt::Horizontal</enum> 432 <enum>Qt::Horizontal</enum>
420 </property> 433 </property>
421 <property name="sizeHint" stdset="0"> 434 <property name="sizeHint" stdset="0">
424 <height>20</height> 437 <height>20</height>
425 </size> 438 </size>
426 </property> 439 </property>
427 </spacer> 440 </spacer>
428 </item> 441 </item>
429 <item row="3" column="2"> 442 <item row="1" column="2">
430 <spacer name="horizontalSpacer_18"> 443 <layout class="QGridLayout" name="gridLayout_6">
444 <item row="0" column="0">
445 <widget class="QLabel" name="label_16">
446 <property name="text">
447 <string>Max. tab width in pixel</string>
448 </property>
449 </widget>
450 </item>
451 <item row="0" column="1">
452 <widget class="QSpinBox" name="editor_tab_width">
453 <property name="minimum">
454 <number>100</number>
455 </property>
456 <property name="maximum">
457 <number>600</number>
458 </property>
459 <property name="singleStep">
460 <number>20</number>
461 </property>
462 <property name="value">
463 <number>300</number>
464 </property>
465 </widget>
466 </item>
467 <item row="0" column="2">
468 <spacer name="horizontalSpacer_25">
469 <property name="orientation">
470 <enum>Qt::Horizontal</enum>
471 </property>
472 <property name="sizeHint" stdset="0">
473 <size>
474 <width>40</width>
475 <height>20</height>
476 </size>
477 </property>
478 </spacer>
479 </item>
480 </layout>
481 </item>
482 <item row="1" column="1">
483 <spacer name="horizontalSpacer_24">
431 <property name="orientation"> 484 <property name="orientation">
432 <enum>Qt::Horizontal</enum> 485 <enum>Qt::Horizontal</enum>
433 </property> 486 </property>
487 <property name="sizeType">
488 <enum>QSizePolicy::Fixed</enum>
489 </property>
434 <property name="sizeHint" stdset="0"> 490 <property name="sizeHint" stdset="0">
435 <size> 491 <size>
436 <width>40</width> 492 <width>10</width>
437 <height>20</height> 493 <height>0</height>
438 </size> 494 </size>
439 </property> 495 </property>
440 </spacer> 496 </spacer>
441 </item> 497 </item>
442 </layout> 498 </layout>
451 <item> 507 <item>
452 <layout class="QGridLayout" name="gridLayout_4"> 508 <layout class="QGridLayout" name="gridLayout_4">
453 <property name="verticalSpacing"> 509 <property name="verticalSpacing">
454 <number>0</number> 510 <number>0</number>
455 </property> 511 </property>
456 <item row="0" column="3"> 512 <item row="0" column="0">
457 <spacer name="horizontalSpacer_10"> 513 <widget class="QLabel" name="label_13">
514 <property name="text">
515 <string>Indent width</string>
516 </property>
517 </widget>
518 </item>
519 <item row="2" column="4">
520 <widget class="QCheckBox" name="editor_tab_ind_checkbox">
521 <property name="text">
522 <string>Tab indents line</string>
523 </property>
524 </widget>
525 </item>
526 <item row="0" column="5">
527 <spacer name="horizontalSpacer_14">
458 <property name="orientation"> 528 <property name="orientation">
459 <enum>Qt::Horizontal</enum> 529 <enum>Qt::Horizontal</enum>
460 </property> 530 </property>
461 <property name="sizeType"> 531 <property name="sizeType">
462 <enum>QSizePolicy::Fixed</enum> 532 <enum>QSizePolicy::Fixed</enum>
467 <height>0</height> 537 <height>0</height>
468 </size> 538 </size>
469 </property> 539 </property>
470 </spacer> 540 </spacer>
471 </item> 541 </item>
472 <item row="0" column="0">
473 <widget class="QLabel" name="label_13">
474 <property name="text">
475 <string>Indent width</string>
476 </property>
477 </widget>
478 </item>
479 <item row="2" column="4">
480 <widget class="QCheckBox" name="editor_tab_ind_checkbox">
481 <property name="text">
482 <string>Tab indents line</string>
483 </property>
484 </widget>
485 </item>
486 <item row="0" column="4"> 542 <item row="0" column="4">
487 <widget class="QCheckBox" name="editor_auto_ind_checkbox"> 543 <widget class="QCheckBox" name="editor_auto_ind_checkbox">
488 <property name="text"> 544 <property name="text">
489 <string>Auto indentation</string> 545 <string>Auto indentation</string>
490 </property> 546 </property>
545 <height>20</height> 601 <height>20</height>
546 </size> 602 </size>
547 </property> 603 </property>
548 </spacer> 604 </spacer>
549 </item> 605 </item>
550 <item row="0" column="5"> 606 <item row="2" column="10">
551 <spacer name="horizontalSpacer_14"> 607 <spacer name="horizontalSpacer_20">
608 <property name="orientation">
609 <enum>Qt::Horizontal</enum>
610 </property>
611 <property name="sizeHint" stdset="0">
612 <size>
613 <width>40</width>
614 <height>20</height>
615 </size>
616 </property>
617 </spacer>
618 </item>
619 <item row="0" column="3">
620 <spacer name="horizontalSpacer_10">
552 <property name="orientation"> 621 <property name="orientation">
553 <enum>Qt::Horizontal</enum> 622 <enum>Qt::Horizontal</enum>
554 </property> 623 </property>
555 <property name="sizeType"> 624 <property name="sizeType">
556 <enum>QSizePolicy::Fixed</enum> 625 <enum>QSizePolicy::Fixed</enum>
557 </property> 626 </property>
558 <property name="sizeHint" stdset="0"> 627 <property name="sizeHint" stdset="0">
559 <size> 628 <size>
560 <width>10</width> 629 <width>10</width>
561 <height>0</height> 630 <height>0</height>
562 </size>
563 </property>
564 </spacer>
565 </item>
566 <item row="2" column="10">
567 <spacer name="horizontalSpacer_20">
568 <property name="orientation">
569 <enum>Qt::Horizontal</enum>
570 </property>
571 <property name="sizeHint" stdset="0">
572 <size>
573 <width>40</width>
574 <height>20</height>
575 </size> 631 </size>
576 </property> 632 </property>
577 </spacer> 633 </spacer>
578 </item> 634 </item>
579 </layout> 635 </layout>