/[beaver]/beaver/beaver.glade
ViewVC logotype

Diff of /beaver/beaver.glade

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.2 by skypher, Tue Apr 8 16:52:43 2003 UTC revision 1.3 by skypher, Sun Jun 1 08:57:29 2003 UTC
# Line 98  Line 98 
98                          <widget class="GtkRadioButton" id="radiobutton2">                          <widget class="GtkRadioButton" id="radiobutton2">
99                            <property name="visible">True</property>                            <property name="visible">True</property>
100                            <property name="can_focus">True</property>                            <property name="can_focus">True</property>
101                            <property name="label" translatable="yes">_Fixed coordinates</property>                            <property name="label" translatable="yes">_Fixed window coordinates</property>
102                            <property name="use_underline">True</property>                            <property name="use_underline">True</property>
103                            <property name="relief">GTK_RELIEF_NORMAL</property>                            <property name="relief">GTK_RELIEF_NORMAL</property>
104                            <property name="active">False</property>                            <property name="active">False</property>
# Line 265  Line 265 
265                </child>                </child>
266    
267                <child>                <child>
268                  <widget class="GtkFrame" id="frame2">                  <widget class="GtkFrame" id="frame4">
269                    <property name="visible">True</property>                    <property name="visible">True</property>
270                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
271                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
272                    <property name="shadow_type">GTK_SHADOW_NONE</property>                    <property name="shadow_type">GTK_SHADOW_NONE</property>
273    
274                    <child>                    <child>
275                      <widget class="GtkVBox" id="vbox3">                      <widget class="GtkVBox" id="vbox2">
276                        <property name="visible">True</property>                        <property name="visible">True</property>
277                        <property name="homogeneous">False</property>                        <property name="homogeneous">False</property>
278                        <property name="spacing">0</property>                        <property name="spacing">0</property>
279    
280                        <child>                        <child>
281                          <widget class="GtkHBox" id="hbox5">                          <widget class="GtkCheckButton" id="checkbutton2">
282                              <property name="visible">True</property>
283                              <property name="can_focus">True</property>
284                              <property name="label" translatable="yes">Enable _beep</property>
285                              <property name="use_underline">True</property>
286                              <property name="relief">GTK_RELIEF_NORMAL</property>
287                              <property name="active">False</property>
288                              <property name="inconsistent">False</property>
289                              <property name="draw_indicator">True</property>
290                            </widget>
291                            <packing>
292                              <property name="padding">0</property>
293                              <property name="expand">False</property>
294                              <property name="fill">False</property>
295                            </packing>
296                          </child>
297    
298                          <child>
299                            <widget class="GtkHBox" id="hbox8">
300                            <property name="visible">True</property>                            <property name="visible">True</property>
301                            <property name="homogeneous">False</property>                            <property name="homogeneous">False</property>
302                            <property name="spacing">0</property>                            <property name="spacing">0</property>
303    
304                            <child>                            <child>
305                              <widget class="GtkLabel" id="label11">                              <widget class="GtkLabel" id="label14">
306                                <property name="visible">True</property>                                <property name="visible">True</property>
307                                <property name="label" translatable="yes">label11</property>                                <property name="label" translatable="yes">_Print command:</property>
308                                <property name="use_underline">False</property>                                <property name="use_underline">True</property>
309                                <property name="use_markup">False</property>                                <property name="use_markup">False</property>
310                                <property name="justify">GTK_JUSTIFY_LEFT</property>                                <property name="justify">GTK_JUSTIFY_LEFT</property>
311                                <property name="wrap">False</property>                                <property name="wrap">False</property>
# Line 296  Line 314 
314                                <property name="yalign">0.5</property>                                <property name="yalign">0.5</property>
315                                <property name="xpad">0</property>                                <property name="xpad">0</property>
316                                <property name="ypad">0</property>                                <property name="ypad">0</property>
317                                  <property name="mnemonic_widget">entry2</property>
318                              </widget>                              </widget>
319                              <packing>                              <packing>
320                                <property name="padding">0</property>                                <property name="padding">0</property>
# Line 305  Line 324 
324                            </child>                            </child>
325    
326                            <child>                            <child>
327                              <widget class="GtkOptionMenu" id="optionmenu1">                              <widget class="GtkEntry" id="entry2">
328                                <property name="visible">True</property>                                <property name="visible">True</property>
329                                <property name="can_focus">True</property>                                <property name="can_focus">True</property>
330                                <property name="history">-1</property>                                <property name="editable">True</property>
331                                  <property name="visibility">True</property>
332                                  <property name="max_length">0</property>
333                                  <property name="text" translatable="yes">lpr</property>
334                                  <property name="has_frame">True</property>
335                                  <property name="invisible_char" translatable="yes">*</property>
336                                  <property name="activates_default">False</property>
337                              </widget>                              </widget>
338                              <packing>                              <packing>
339                                <property name="padding">0</property>                                <property name="padding">0</property>
340                                <property name="expand">False</property>                                <property name="expand">True</property>
341                                <property name="fill">False</property>                                <property name="fill">True</property>
342                              </packing>                              </packing>
343                            </child>                            </child>
344                          </widget>                          </widget>
# Line 323  Line 348 
348                            <property name="fill">True</property>                            <property name="fill">True</property>
349                          </packing>                          </packing>
350                        </child>                        </child>
351                        </widget>
352                      </child>
353    
354                      <child>
355                        <widget class="GtkLabel" id="label8">
356                          <property name="visible">True</property>
357                          <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Miscellaneous&lt;/span&gt;</property>
358                          <property name="use_underline">False</property>
359                          <property name="use_markup">True</property>
360                          <property name="justify">GTK_JUSTIFY_LEFT</property>
361                          <property name="wrap">False</property>
362                          <property name="selectable">False</property>
363                          <property name="xalign">0.5</property>
364                          <property name="yalign">0.5</property>
365                          <property name="xpad">0</property>
366                          <property name="ypad">0</property>
367                        </widget>
368                        <packing>
369                          <property name="type">label_item</property>
370                        </packing>
371                      </child>
372                    </widget>
373                    <packing>
374                      <property name="padding">5</property>
375                      <property name="expand">True</property>
376                      <property name="fill">True</property>
377                    </packing>
378                  </child>
379                </widget>
380                <packing>
381                  <property name="tab_expand">False</property>
382                  <property name="tab_fill">True</property>
383                </packing>
384              </child>
385    
386              <child>
387                <widget class="GtkLabel" id="label1">
388                  <property name="visible">True</property>
389                  <property name="label" translatable="yes">General</property>
390                  <property name="use_underline">False</property>
391                  <property name="use_markup">False</property>
392                  <property name="justify">GTK_JUSTIFY_LEFT</property>
393                  <property name="wrap">False</property>
394                  <property name="selectable">False</property>
395                  <property name="xalign">0.5</property>
396                  <property name="yalign">0.5</property>
397                  <property name="xpad">0</property>
398                  <property name="ypad">0</property>
399                </widget>
400                <packing>
401                  <property name="type">tab</property>
402                </packing>
403              </child>
404    
405              <child>
406                <widget class="GtkVBox" id="vbox6">
407                  <property name="visible">True</property>
408                  <property name="homogeneous">False</property>
409                  <property name="spacing">0</property>
410    
411                  <child>
412                    <widget class="GtkFrame" id="frame5">
413                      <property name="visible">True</property>
414                      <property name="label_xalign">0</property>
415                      <property name="label_yalign">0.5</property>
416                      <property name="shadow_type">GTK_SHADOW_NONE</property>
417    
418                      <child>
419                        <widget class="GtkVBox" id="vbox7">
420                          <property name="visible">True</property>
421                          <property name="homogeneous">False</property>
422                          <property name="spacing">0</property>
423    
424                        <child>                        <child>
425                          <widget class="GtkHBox" id="hbox6">                          <widget class="GtkHBox" id="hbox14">
426                            <property name="visible">True</property>                            <property name="visible">True</property>
427                            <property name="homogeneous">False</property>                            <property name="homogeneous">False</property>
428                            <property name="spacing">0</property>                            <property name="spacing">0</property>
429    
430                            <child>                            <child>
431                              <widget class="GtkLabel" id="label12">                              <widget class="GtkLabel" id="label16">
432                                <property name="visible">True</property>                                <property name="visible">True</property>
433                                <property name="label" translatable="yes">label12</property>                                <property name="label" translatable="yes">_Font:</property>
434                                <property name="use_underline">False</property>                                <property name="use_underline">True</property>
435                                <property name="use_markup">False</property>                                <property name="use_markup">False</property>
436                                <property name="justify">GTK_JUSTIFY_LEFT</property>                                <property name="justify">GTK_JUSTIFY_LEFT</property>
437                                <property name="wrap">False</property>                                <property name="wrap">False</property>
# Line 343  Line 440 
440                                <property name="yalign">0.5</property>                                <property name="yalign">0.5</property>
441                                <property name="xpad">0</property>                                <property name="xpad">0</property>
442                                <property name="ypad">0</property>                                <property name="ypad">0</property>
443                                  <property name="mnemonic_widget">button2</property>
444                              </widget>                              </widget>
445                              <packing>                              <packing>
446                                <property name="padding">0</property>                                <property name="padding">10</property>
447                                <property name="expand">False</property>                                <property name="expand">False</property>
448                                <property name="fill">False</property>                                <property name="fill">False</property>
449                              </packing>                              </packing>
450                            </child>                            </child>
451    
452                            <child>                            <child>
453                              <widget class="GtkSpinButton" id="spinbutton4">                              <widget class="GtkButton" id="button2">
454                                <property name="visible">True</property>                                <property name="visible">True</property>
455                                <property name="can_focus">True</property>                                <property name="can_focus">True</property>
456                                <property name="climb_rate">1</property>                                <property name="label" translatable="yes">button2</property>
457                                <property name="digits">0</property>                                <property name="use_underline">True</property>
458                                <property name="numeric">False</property>                                <property name="relief">GTK_RELIEF_NORMAL</property>
459                                <property name="update_policy">GTK_UPDATE_ALWAYS</property>                              </widget>
460                                <property name="snap_to_ticks">False</property>                              <packing>
461                                <property name="wrap">False</property>                                <property name="padding">0</property>
462                                <property name="adjustment">1 0 100 1 10 10</property>                                <property name="expand">True</property>
463                                  <property name="fill">True</property>
464                                </packing>
465                              </child>
466                            </widget>
467                            <packing>
468                              <property name="padding">15</property>
469                              <property name="expand">False</property>
470                              <property name="fill">False</property>
471                            </packing>
472                          </child>
473    
474                          <child>
475                            <widget class="GtkHBox" id="hbox9">
476                              <property name="visible">True</property>
477                              <property name="homogeneous">False</property>
478                              <property name="spacing">0</property>
479    
480                              <child>
481                                <widget class="GtkVBox" id="vbox8">
482                                  <property name="visible">True</property>
483                                  <property name="homogeneous">False</property>
484                                  <property name="spacing">0</property>
485    
486                                  <child>
487                                    <widget class="GtkHBox" id="hbox10">
488                                      <property name="visible">True</property>
489                                      <property name="homogeneous">False</property>
490                                      <property name="spacing">0</property>
491    
492                                      <child>
493                                        <widget class="GtkButton" id="button3">
494                                          <property name="visible">True</property>
495                                          <property name="can_focus">True</property>
496                                          <property name="label" translatable="yes"></property>
497                                          <property name="use_underline">True</property>
498                                          <property name="relief">GTK_RELIEF_NORMAL</property>
499                                        </widget>
500                                        <packing>
501                                          <property name="padding">0</property>
502                                          <property name="expand">False</property>
503                                          <property name="fill">False</property>
504                                        </packing>
505                                      </child>
506    
507                                      <child>
508                                        <widget class="GtkLabel" id="label17">
509                                          <property name="visible">True</property>
510                                          <property name="label" translatable="yes">Text Foreground</property>
511                                          <property name="use_underline">False</property>
512                                          <property name="use_markup">False</property>
513                                          <property name="justify">GTK_JUSTIFY_LEFT</property>
514                                          <property name="wrap">False</property>
515                                          <property name="selectable">False</property>
516                                          <property name="xalign">0.5</property>
517                                          <property name="yalign">0.5</property>
518                                          <property name="xpad">0</property>
519                                          <property name="ypad">0</property>
520                                        </widget>
521                                        <packing>
522                                          <property name="padding">15</property>
523                                          <property name="expand">False</property>
524                                          <property name="fill">False</property>
525                                        </packing>
526                                      </child>
527                                    </widget>
528                                    <packing>
529                                      <property name="padding">0</property>
530                                      <property name="expand">True</property>
531                                      <property name="fill">True</property>
532                                    </packing>
533                                  </child>
534    
535                                  <child>
536                                    <widget class="GtkHBox" id="hbox11">
537                                      <property name="visible">True</property>
538                                      <property name="homogeneous">False</property>
539                                      <property name="spacing">0</property>
540    
541                                      <child>
542                                        <widget class="GtkButton" id="button4">
543                                          <property name="visible">True</property>
544                                          <property name="can_focus">True</property>
545                                          <property name="label" translatable="yes"></property>
546                                          <property name="use_underline">True</property>
547                                          <property name="relief">GTK_RELIEF_NORMAL</property>
548                                        </widget>
549                                        <packing>
550                                          <property name="padding">0</property>
551                                          <property name="expand">False</property>
552                                          <property name="fill">False</property>
553                                        </packing>
554                                      </child>
555    
556                                      <child>
557                                        <widget class="GtkLabel" id="label18">
558                                          <property name="visible">True</property>
559                                          <property name="label" translatable="yes">Text Background</property>
560                                          <property name="use_underline">False</property>
561                                          <property name="use_markup">False</property>
562                                          <property name="justify">GTK_JUSTIFY_LEFT</property>
563                                          <property name="wrap">False</property>
564                                          <property name="selectable">False</property>
565                                          <property name="xalign">0.5</property>
566                                          <property name="yalign">0.5</property>
567                                          <property name="xpad">0</property>
568                                          <property name="ypad">0</property>
569                                        </widget>
570                                        <packing>
571                                          <property name="padding">15</property>
572                                          <property name="expand">False</property>
573                                          <property name="fill">False</property>
574                                        </packing>
575                                      </child>
576                                    </widget>
577                                    <packing>
578                                      <property name="padding">0</property>
579                                      <property name="expand">True</property>
580                                      <property name="fill">True</property>
581                                    </packing>
582                                  </child>
583    
584                                  <child>
585                                    <widget class="GtkHBox" id="hbox12">
586                                      <property name="visible">True</property>
587                                      <property name="homogeneous">False</property>
588                                      <property name="spacing">0</property>
589    
590                                      <child>
591                                        <widget class="GtkButton" id="button5">
592                                          <property name="visible">True</property>
593                                          <property name="can_focus">True</property>
594                                          <property name="label" translatable="yes"></property>
595                                          <property name="use_underline">True</property>
596                                          <property name="relief">GTK_RELIEF_NORMAL</property>
597                                        </widget>
598                                        <packing>
599                                          <property name="padding">0</property>
600                                          <property name="expand">False</property>
601                                          <property name="fill">False</property>
602                                        </packing>
603                                      </child>
604    
605                                      <child>
606                                        <widget class="GtkLabel" id="label19">
607                                          <property name="visible">True</property>
608                                          <property name="label" translatable="yes">Highlighted Foreground</property>
609                                          <property name="use_underline">False</property>
610                                          <property name="use_markup">False</property>
611                                          <property name="justify">GTK_JUSTIFY_LEFT</property>
612                                          <property name="wrap">False</property>
613                                          <property name="selectable">False</property>
614                                          <property name="xalign">0.5</property>
615                                          <property name="yalign">0.5</property>
616                                          <property name="xpad">0</property>
617                                          <property name="ypad">0</property>
618                                        </widget>
619                                        <packing>
620                                          <property name="padding">15</property>
621                                          <property name="expand">False</property>
622                                          <property name="fill">False</property>
623                                        </packing>
624                                      </child>
625                                    </widget>
626                                    <packing>
627                                      <property name="padding">0</property>
628                                      <property name="expand">True</property>
629                                      <property name="fill">True</property>
630                                    </packing>
631                                  </child>
632    
633                                  <child>
634                                    <widget class="GtkHBox" id="hbox13">
635                                      <property name="visible">True</property>
636                                      <property name="homogeneous">False</property>
637                                      <property name="spacing">0</property>
638    
639                                      <child>
640                                        <widget class="GtkButton" id="button6">
641                                          <property name="visible">True</property>
642                                          <property name="can_focus">True</property>
643                                          <property name="label" translatable="yes"></property>
644                                          <property name="use_underline">True</property>
645                                          <property name="relief">GTK_RELIEF_NORMAL</property>
646                                        </widget>
647                                        <packing>
648                                          <property name="padding">0</property>
649                                          <property name="expand">False</property>
650                                          <property name="fill">False</property>
651                                        </packing>
652                                      </child>
653    
654                                      <child>
655                                        <widget class="GtkLabel" id="label20">
656                                          <property name="visible">True</property>
657                                          <property name="label" translatable="yes">Highlighted Background</property>
658                                          <property name="use_underline">False</property>
659                                          <property name="use_markup">False</property>
660                                          <property name="justify">GTK_JUSTIFY_LEFT</property>
661                                          <property name="wrap">False</property>
662                                          <property name="selectable">False</property>
663                                          <property name="xalign">0.5</property>
664                                          <property name="yalign">0.5</property>
665                                          <property name="xpad">0</property>
666                                          <property name="ypad">0</property>
667                                        </widget>
668                                        <packing>
669                                          <property name="padding">15</property>
670                                          <property name="expand">False</property>
671                                          <property name="fill">False</property>
672                                        </packing>
673                                      </child>
674                                    </widget>
675                                    <packing>
676                                      <property name="padding">0</property>
677                                      <property name="expand">True</property>
678                                      <property name="fill">True</property>
679                                    </packing>
680                                  </child>
681                                </widget>
682                                <packing>
683                                  <property name="padding">0</property>
684                                  <property name="expand">True</property>
685                                  <property name="fill">True</property>
686                                </packing>
687                              </child>
688    
689                              <child>
690                                <widget class="GtkScrolledWindow" id="scrolledwindow1">
691                                  <property name="visible">True</property>
692                                  <property name="can_focus">True</property>
693                                  <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
694                                  <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
695                                  <property name="shadow_type">GTK_SHADOW_NONE</property>
696                                  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
697    
698                                  <child>
699                                    <widget class="GtkTextView" id="textview1">
700                                      <property name="visible">True</property>
701                                      <property name="can_focus">True</property>
702                                      <property name="editable">True</property>
703                                      <property name="justification">GTK_JUSTIFY_LEFT</property>
704                                      <property name="wrap_mode">GTK_WRAP_WORD</property>
705                                      <property name="cursor_visible">True</property>
706                                      <property name="pixels_above_lines">0</property>
707                                      <property name="pixels_below_lines">0</property>
708                                      <property name="pixels_inside_wrap">0</property>
709                                      <property name="left_margin">0</property>
710                                      <property name="right_margin">0</property>
711                                      <property name="indent">0</property>
712                                      <property name="text" translatable="yes">This is some sample text. Note that you may need to click on it to refresh display after color or font changes.</property>
713                                    </widget>
714                                  </child>
715                              </widget>                              </widget>
716                              <packing>                              <packing>
717                                <property name="padding">0</property>                                <property name="padding">0</property>
# Line 380  Line 730 
730                    </child>                    </child>
731    
732                    <child>                    <child>
733                      <widget class="GtkLabel" id="label6">                      <widget class="GtkLabel" id="label15">
734                        <property name="visible">True</property>                        <property name="visible">True</property>
735                        <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;File Tabs&lt;/span&gt;</property>                        <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Colors and Font&lt;/span&gt;</property>
736                        <property name="use_underline">False</property>                        <property name="use_underline">False</property>
737                        <property name="use_markup">True</property>                        <property name="use_markup">True</property>
738                        <property name="justify">GTK_JUSTIFY_LEFT</property>                        <property name="justify">GTK_JUSTIFY_LEFT</property>
# Line 399  Line 749 
749                    </child>                    </child>
750                  </widget>                  </widget>
751                  <packing>                  <packing>
752                    <property name="padding">5</property>                    <property name="padding">0</property>
753                    <property name="expand">True</property>                    <property name="expand">True</property>
754                    <property name="fill">True</property>                    <property name="fill">True</property>
755                  </packing>                  </packing>
756                </child>                </child>
757                </widget>
758                <packing>
759                  <property name="tab_expand">False</property>
760                  <property name="tab_fill">True</property>
761                </packing>
762              </child>
763    
764              <child>
765                <widget class="GtkLabel" id="label2">
766                  <property name="visible">True</property>
767                  <property name="label" translatable="yes">Document</property>
768                  <property name="use_underline">False</property>
769                  <property name="use_markup">False</property>
770                  <property name="justify">GTK_JUSTIFY_LEFT</property>
771                  <property name="wrap">False</property>
772                  <property name="selectable">False</property>
773                  <property name="xalign">0.5</property>
774                  <property name="yalign">0.5</property>
775                  <property name="xpad">0</property>
776                  <property name="ypad">0</property>
777                </widget>
778                <packing>
779                  <property name="type">tab</property>
780                </packing>
781              </child>
782    
783              <child>
784                <widget class="GtkVBox" id="vbox9">
785                  <property name="visible">True</property>
786                  <property name="homogeneous">False</property>
787                  <property name="spacing">0</property>
788    
789                <child>                <child>
790                  <widget class="GtkFrame" id="frame3">                  <widget class="GtkFrame" id="frame6">
791                    <property name="visible">True</property>                    <property name="visible">True</property>
792                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
793                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
794                    <property name="shadow_type">GTK_SHADOW_NONE</property>                    <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
795    
796                    <child>                    <child>
797                      <widget class="GtkVBox" id="vbox4">                      <widget class="GtkVBox" id="vbox10">
798                        <property name="visible">True</property>                        <property name="visible">True</property>
799                        <property name="homogeneous">False</property>                        <property name="homogeneous">False</property>
800                        <property name="spacing">0</property>                        <property name="spacing">0</property>
801    
802                        <child>                        <child>
803                          <widget class="GtkCheckButton" id="checkbutton1">                          <widget class="GtkHBox" id="hbox15">
804                            <property name="visible">True</property>                            <property name="visible">True</property>
805                            <property name="can_focus">True</property>                            <property name="homogeneous">False</property>
806                            <property name="label" translatable="yes">checkbutton1</property>                            <property name="spacing">0</property>
807                            <property name="use_underline">True</property>  
808                            <property name="relief">GTK_RELIEF_NORMAL</property>                            <child>
809                            <property name="active">False</property>                              <placeholder/>
810                            <property name="inconsistent">False</property>                            </child>
811                            <property name="draw_indicator">True</property>  
812                              <child>
813                                <placeholder/>
814                              </child>
815                          </widget>                          </widget>
816                          <packing>                          <packing>
817                            <property name="padding">0</property>                            <property name="padding">0</property>
818                            <property name="expand">False</property>                            <property name="expand">True</property>
819                            <property name="fill">False</property>                            <property name="fill">True</property>
820                          </packing>                          </packing>
821                        </child>                        </child>
822    
823                        <child>                        <child>
824                          <widget class="GtkHBox" id="hbox7">                          <widget class="GtkHBox" id="hbox16">
825                            <property name="visible">True</property>                            <property name="visible">True</property>
826                            <property name="homogeneous">False</property>                            <property name="homogeneous">False</property>
827                            <property name="spacing">0</property>                            <property name="spacing">0</property>
828    
829                            <child>                            <child>
830                              <widget class="GtkLabel" id="label13">                              <placeholder/>
                               <property name="visible">True</property>  
                               <property name="label" translatable="yes">label13</property>  
                               <property name="use_underline">False</property>  
                               <property name="use_markup">False</property>  
                               <property name="justify">GTK_JUSTIFY_LEFT</property>  
                               <property name="wrap">False</property>  
                               <property name="selectable">False</property>  
                               <property name="xalign">0.5</property>  
                               <property name="yalign">0.5</property>  
                               <property name="xpad">0</property>  
                               <property name="ypad">0</property>  
                             </widget>  
                             <packing>  
                               <property name="padding">0</property>  
                               <property name="expand">False</property>  
                               <property name="fill">False</property>  
                             </packing>  
831                            </child>                            </child>
832    
833                            <child>                            <child>
834                              <widget class="GtkSpinButton" id="spinbutton3">                              <placeholder/>
                               <property name="visible">True</property>  
                               <property name="can_focus">True</property>  
                               <property name="climb_rate">1</property>  
                               <property name="digits">0</property>  
                               <property name="numeric">False</property>  
                               <property name="update_policy">GTK_UPDATE_ALWAYS</property>  
                               <property name="snap_to_ticks">False</property>  
                               <property name="wrap">False</property>  
                               <property name="adjustment">1 0 100 1 10 10</property>  
                             </widget>  
                             <packing>  
                               <property name="padding">0</property>  
                               <property name="expand">True</property>  
                               <property name="fill">True</property>  
                             </packing>  
835                            </child>                            </child>
836                          </widget>                          </widget>
837                          <packing>                          <packing>
# Line 492  Line 844 
844                    </child>                    </child>
845    
846                    <child>                    <child>
847                      <widget class="GtkLabel" id="label7">                      <widget class="GtkLabel" id="label21">
848                        <property name="visible">True</property>                        <property name="visible">True</property>
849                        <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Statusbar&lt;/span&gt;</property>                        <property name="label" translatable="yes">label21</property>
850                        <property name="use_underline">False</property>                        <property name="use_underline">False</property>
851                        <property name="use_markup">True</property>                        <property name="use_markup">False</property>
852                        <property name="justify">GTK_JUSTIFY_LEFT</property>                        <property name="justify">GTK_JUSTIFY_LEFT</property>
853                        <property name="wrap">False</property>                        <property name="wrap">False</property>
854                        <property name="selectable">False</property>                        <property name="selectable">False</property>
# Line 511  Line 863 
863                    </child>                    </child>
864                  </widget>                  </widget>
865                  <packing>                  <packing>
866                    <property name="padding">5</property>                    <property name="padding">0</property>
867                    <property name="expand">True</property>                    <property name="expand">True</property>
868                    <property name="fill">True</property>                    <property name="fill">True</property>
869                  </packing>                  </packing>
870                </child>                </child>
871    
872                <child>                <child>
873                  <widget class="GtkFrame" id="frame4">                  <widget class="GtkFrame" id="frame7">
874                    <property name="visible">True</property>                    <property name="visible">True</property>
875                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
876                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
877                    <property name="shadow_type">GTK_SHADOW_NONE</property>                    <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
878    
879                    <child>                    <child>
880                      <widget class="GtkVBox" id="vbox2">                      <widget class="GtkHBox" id="hbox17">
881                        <property name="visible">True</property>                        <property name="visible">True</property>
882                        <property name="homogeneous">False</property>                        <property name="homogeneous">False</property>
883                        <property name="spacing">0</property>                        <property name="spacing">0</property>
884    
885                        <child>                        <child>
886                          <widget class="GtkCheckButton" id="checkbutton2">                          <widget class="GtkHBox" id="hbox18">
887                            <property name="visible">True</property>                            <property name="visible">True</property>
888                            <property name="can_focus">True</property>                            <property name="homogeneous">False</property>
889                            <property name="label" translatable="yes">checkbutton2</property>                            <property name="spacing">0</property>
890                            <property name="use_underline">True</property>  
891                            <property name="relief">GTK_RELIEF_NORMAL</property>                            <child>
892                            <property name="active">False</property>                              <placeholder/>
893                            <property name="inconsistent">False</property>                            </child>
894                            <property name="draw_indicator">True</property>  
895                              <child>
896                                <placeholder/>
897                              </child>
898                          </widget>                          </widget>
899                          <packing>                          <packing>
900                            <property name="padding">0</property>                            <property name="padding">0</property>
901                            <property name="expand">False</property>                            <property name="expand">True</property>
902                            <property name="fill">False</property>                            <property name="fill">True</property>
903                          </packing>                          </packing>
904                        </child>                        </child>
905    
906                        <child>                        <child>
907                          <widget class="GtkHBox" id="hbox8">                          <widget class="GtkHBox" id="hbox19">
908                            <property name="visible">True</property>                            <property name="visible">True</property>
909                            <property name="homogeneous">False</property>                            <property name="homogeneous">False</property>
910                            <property name="spacing">0</property>                            <property name="spacing">0</property>
911    
912                            <child>                            <child>
913                              <widget class="GtkLabel" id="label14">                              <placeholder/>
                               <property name="visible">True</property>  
                               <property name="label" translatable="yes">label14</property>  
                               <property name="use_underline">False</property>  
                               <property name="use_markup">False</property>  
                               <property name="justify">GTK_JUSTIFY_LEFT</property>  
                               <property name="wrap">False</property>  
                               <property name="selectable">False</property>  
                               <property name="xalign">0.5</property>  
                               <property name="yalign">0.5</property>  
                               <property name="xpad">0</property>  
                               <property name="ypad">0</property>  
                             </widget>  
                             <packing>  
                               <property name="padding">0</property>  
                               <property name="expand">False</property>  
                               <property name="fill">False</property>  
                             </packing>  
914                            </child>                            </child>
915    
916                            <child>                            <child>
917                              <widget class="GtkEntry" id="entry2">                              <placeholder/>
                               <property name="visible">True</property>  
                               <property name="can_focus">True</property>  
                               <property name="editable">True</property>  
                               <property name="visibility">True</property>  
                               <property name="max_length">0</property>  
                               <property name="text" translatable="yes"></property>  
                               <property name="has_frame">True</property>  
                               <property name="invisible_char" translatable="yes">*</property>  
                               <property name="activates_default">False</property>  
                             </widget>  
                             <packing>  
                               <property name="padding">0</property>  
                               <property name="expand">True</property>  
                               <property name="fill">True</property>  
                             </packing>  
918                            </child>                            </child>
919                          </widget>                          </widget>
920                          <packing>                          <packing>
# Line 604  Line 927 
927                    </child>                    </child>
928    
929                    <child>                    <child>
930                      <widget class="GtkLabel" id="label8">                      <widget class="GtkLabel" id="label22">
931                        <property name="visible">True</property>                        <property name="visible">True</property>
932                        <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Miscellaneous&lt;/span&gt;</property>                        <property name="label" translatable="yes">label22</property>
933                        <property name="use_underline">False</property>                        <property name="use_underline">False</property>
934                        <property name="use_markup">True</property>                        <property name="use_markup">False</property>
935                        <property name="justify">GTK_JUSTIFY_LEFT</property>                        <property name="justify">GTK_JUSTIFY_LEFT</property>
936                        <property name="wrap">False</property>                        <property name="wrap">False</property>
937                        <property name="selectable">False</property>                        <property name="selectable">False</property>
# Line 623  Line 946 
946                    </child>                    </child>
947                  </widget>                  </widget>
948                  <packing>                  <packing>
949                    <property name="padding">5</property>                    <property name="padding">0</property>
950                    <property name="expand">True</property>                    <property name="expand">True</property>
951                    <property name="fill">True</property>                    <property name="fill">True</property>
952                  </packing>                  </packing>
# Line 636  Line 959 
959            </child>            </child>
960    
961            <child>            <child>
962              <widget class="GtkLabel" id="label1">              <widget class="GtkLabel" id="label3">
963                <property name="visible">True</property>                <property name="visible">True</property>
964                <property name="label" translatable="yes">General</property>                <property name="label" translatable="yes">Advanced</property>
965                <property name="use_underline">False</property>                <property name="use_underline">False</property>
966                <property name="use_markup">False</property>                <property name="use_markup">False</property>
967                <property name="justify">GTK_JUSTIFY_LEFT</property>                <property name="justify">GTK_JUSTIFY_LEFT</property>
# Line 655  Line 978 
978            </child>            </child>
979    
980            <child>            <child>
981              <placeholder/>              <widget class="GtkVBox" id="vbox11">
           </child>  
   
           <child>  
             <widget class="GtkLabel" id="label2">  
982                <property name="visible">True</property>                <property name="visible">True</property>
983                <property name="label" translatable="yes">Document</property>                <property name="homogeneous">False</property>
984                <property name="use_underline">False</property>                <property name="spacing">0</property>
               <property name="use_markup">False</property>  
               <property name="justify">GTK_JUSTIFY_LEFT</property>  
               <property name="wrap">False</property>  
               <property name="selectable">False</property>  
               <property name="xalign">0.5</property>  
               <property name="yalign">0.5</property>  
               <property name="xpad">0</property>  
               <property name="ypad">0</property>  
             </widget>  
             <packing>  
               <property name="type">tab</property>  
             </packing>  
           </child>  
985    
986            <child>                <child>
987              <placeholder/>                  <widget class="GtkFrame" id="frame8">
988            </child>                    <property name="visible">True</property>
989                      <property name="label_xalign">0</property>
990                      <property name="label_yalign">0.5</property>
991                      <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
992    
993            <child>                    <child>
994              <widget class="GtkLabel" id="label3">                      <widget class="GtkVBox" id="vbox12">
995                <property name="visible">True</property>                        <property name="visible">True</property>
996                <property name="label" translatable="yes">Advanced</property>                        <property name="homogeneous">False</property>
997                <property name="use_underline">False</property>                        <property name="spacing">0</property>
998                <property name="use_markup">False</property>  
999                <property name="justify">GTK_JUSTIFY_LEFT</property>                        <child>
1000                <property name="wrap">False</property>                          <placeholder/>
1001                <property name="selectable">False</property>                        </child>
1002                <property name="xalign">0.5</property>  
1003                <property name="yalign">0.5</property>                        <child>
1004                <property name="xpad">0</property>                          <widget class="GtkHBox" id="hbox22">
1005                <property name="ypad">0</property>                            <property name="visible">True</property>
1006                              <property name="homogeneous">False</property>
1007                              <property name="spacing">0</property>
1008    
1009                              <child>
1010                                <placeholder/>
1011                              </child>
1012    
1013                              <child>
1014                                <placeholder/>
1015                              </child>
1016                            </widget>
1017                            <packing>
1018                              <property name="padding">0</property>
1019                              <property name="expand">True</property>
1020                              <property name="fill">True</property>
1021                            </packing>
1022                          </child>
1023                        </widget>
1024                      </child>
1025    
1026                      <child>
1027                        <widget class="GtkLabel" id="label23">
1028                          <property name="visible">True</property>
1029                          <property name="label" translatable="yes">label23</property>
1030                          <property name="use_underline">False</property>
1031                          <property name="use_markup">False</property>
1032                          <property name="justify">GTK_JUSTIFY_LEFT</property>
1033                          <property name="wrap">False</property>
1034                          <property name="selectable">False</property>
1035                          <property name="xalign">0.5</property>
1036                          <property name="yalign">0.5</property>
1037                          <property name="xpad">0</property>
1038                          <property name="ypad">0</property>
1039                        </widget>
1040                        <packing>
1041                          <property name="type">label_item</property>
1042                        </packing>
1043                      </child>
1044                    </widget>
1045                    <packing>
1046                      <property name="padding">0</property>
1047                      <property name="expand">True</property>
1048                      <property name="fill">True</property>
1049                    </packing>
1050                  </child>
1051    
1052                  <child>
1053                    <widget class="GtkFrame" id="frame9">
1054                      <property name="visible">True</property>
1055                      <property name="label_xalign">0</property>
1056                      <property name="label_yalign">0.5</property>
1057                      <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
1058    
1059                      <child>
1060                        <widget class="GtkHBox" id="hbox21">
1061                          <property name="visible">True</property>
1062                          <property name="homogeneous">False</property>
1063                          <property name="spacing">0</property>
1064    
1065                          <child>
1066                            <placeholder/>
1067                          </child>
1068    
1069                          <child>
1070                            <placeholder/>
1071                          </child>
1072                        </widget>
1073                      </child>
1074    
1075                      <child>
1076                        <widget class="GtkLabel" id="label24">
1077                          <property name="visible">True</property>
1078                          <property name="label" translatable="yes">label24</property>
1079                          <property name="use_underline">False</property>
1080                          <property name="use_markup">False</property>
1081                          <property name="justify">GTK_JUSTIFY_LEFT</property>
1082                          <property name="wrap">False</property>
1083                          <property name="selectable">False</property>
1084                          <property name="xalign">0.5</property>
1085                          <property name="yalign">0.5</property>
1086                          <property name="xpad">0</property>
1087                          <property name="ypad">0</property>
1088                        </widget>
1089                        <packing>
1090                          <property name="type">label_item</property>
1091                        </packing>
1092                      </child>
1093                    </widget>
1094                    <packing>
1095                      <property name="padding">0</property>
1096                      <property name="expand">True</property>
1097                      <property name="fill">True</property>
1098                    </packing>
1099                  </child>
1100    
1101                  <child>
1102                    <widget class="GtkFrame" id="frame10">
1103                      <property name="visible">True</property>
1104                      <property name="label_xalign">0</property>
1105                      <property name="label_yalign">0.5</property>
1106                      <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
1107    
1108                      <child>
1109                        <widget class="GtkHBox" id="hbox20">
1110                          <property name="visible">True</property>
1111                          <property name="homogeneous">False</property>
1112                          <property name="spacing">0</property>
1113    
1114                          <child>
1115                            <placeholder/>
1116                          </child>
1117    
1118                          <child>
1119                            <placeholder/>
1120                          </child>
1121                        </widget>
1122                      </child>
1123    
1124                      <child>
1125                        <widget class="GtkLabel" id="label25">
1126                          <property name="visible">True</property>
1127                          <property name="label" translatable="yes">label25</property>
1128                          <property name="use_underline">False</property>
1129                          <property name="use_markup">False</property>
1130                          <property name="justify">GTK_JUSTIFY_LEFT</property>
1131                          <property name="wrap">False</property>
1132                          <property name="selectable">False</property>
1133                          <property name="xalign">0.5</property>
1134                          <property name="yalign">0.5</property>
1135                          <property name="xpad">0</property>
1136                          <property name="ypad">0</property>
1137                        </widget>
1138                        <packing>
1139                          <property name="type">label_item</property>
1140                        </packing>
1141                      </child>
1142                    </widget>
1143                    <packing>
1144                      <property name="padding">0</property>
1145                      <property name="expand">True</property>
1146                      <property name="fill">True</property>
1147                    </packing>
1148                  </child>
1149              </widget>              </widget>
1150              <packing>              <packing>
1151                <property name="type">tab</property>                <property name="tab_expand">False</property>
1152                  <property name="tab_fill">True</property>
1153              </packing>              </packing>
1154            </child>            </child>
1155    
1156            <child>            <child>
             <placeholder/>  
           </child>  
   
           <child>  
1157              <widget class="GtkLabel" id="label4">              <widget class="GtkLabel" id="label4">
1158                <property name="visible">True</property>                <property name="visible">True</property>
1159                <property name="label" translatable="yes">Saving</property>                <property name="label" translatable="yes">Saving</property>

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26