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

Diff of /beaver/beaver.glade

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

revision 1.3 by skypher, Sun Jun 1 08:57:29 2003 UTC revision 1.4 by skypher, Sat Jun 14 17:41:34 2003 UTC
# Line 30  Line 30 
30                <property name="can_default">True</property>                <property name="can_default">True</property>
31                <property name="has_default">True</property>                <property name="has_default">True</property>
32                <property name="can_focus">True</property>                <property name="can_focus">True</property>
33                  <property name="has_focus">True</property>
34                <property name="label">gtk-close</property>                <property name="label">gtk-close</property>
35                <property name="use_stock">True</property>                <property name="use_stock">True</property>
36                <property name="relief">GTK_RELIEF_NORMAL</property>                <property name="relief">GTK_RELIEF_NORMAL</property>
# Line 117  Line 118 
118                          <widget class="GtkHBox" id="hbox2">                          <widget class="GtkHBox" id="hbox2">
119                            <property name="visible">True</property>                            <property name="visible">True</property>
120                            <property name="homogeneous">False</property>                            <property name="homogeneous">False</property>
121                            <property name="spacing">0</property>                            <property name="spacing">10</property>
122    
123                            <child>                            <child>
124                              <widget class="GtkHBox" id="hbox3">                              <widget class="GtkHBox" id="hbox3">
# Line 304  Line 305 
305                            <child>                            <child>
306                              <widget class="GtkLabel" id="label14">                              <widget class="GtkLabel" id="label14">
307                                <property name="visible">True</property>                                <property name="visible">True</property>
308                                <property name="label" translatable="yes">_Print command:</property>                                <property name="label" translatable="yes">_Print command: </property>
309                                <property name="use_underline">True</property>                                <property name="use_underline">True</property>
310                                <property name="use_markup">False</property>                                <property name="use_markup">False</property>
311                                <property name="justify">GTK_JUSTIFY_LEFT</property>                                <property name="justify">GTK_JUSTIFY_LEFT</property>
# Line 410  Line 411 
411    
412                <child>                <child>
413                  <widget class="GtkFrame" id="frame5">                  <widget class="GtkFrame" id="frame5">
414                      <property name="border_width">10</property>
415                    <property name="visible">True</property>                    <property name="visible">True</property>
416                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
417                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
# Line 690  Line 692 
692                              <widget class="GtkScrolledWindow" id="scrolledwindow1">                              <widget class="GtkScrolledWindow" id="scrolledwindow1">
693                                <property name="visible">True</property>                                <property name="visible">True</property>
694                                <property name="can_focus">True</property>                                <property name="can_focus">True</property>
695                                <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>                                <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
696                                <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>                                <property name="vscrollbar_policy">GTK_POLICY_NEVER</property>
697                                <property name="shadow_type">GTK_SHADOW_NONE</property>                                <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
698                                <property name="window_placement">GTK_CORNER_TOP_LEFT</property>                                <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
699    
700                                <child>                                <child>
# Line 749  Line 751 
751                    </child>                    </child>
752                  </widget>                  </widget>
753                  <packing>                  <packing>
754                    <property name="padding">0</property>                    <property name="padding">5</property>
755                    <property name="expand">True</property>                    <property name="expand">True</property>
756                    <property name="fill">True</property>                    <property name="fill">True</property>
757                  </packing>                  </packing>
# Line 788  Line 790 
790    
791                <child>                <child>
792                  <widget class="GtkFrame" id="frame6">                  <widget class="GtkFrame" id="frame6">
793                      <property name="border_width">10</property>
794                    <property name="visible">True</property>                    <property name="visible">True</property>
795                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
796                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
# Line 795  Line 798 
798    
799                    <child>                    <child>
800                      <widget class="GtkVBox" id="vbox10">                      <widget class="GtkVBox" id="vbox10">
801                          <property name="border_width">5</property>
802                        <property name="visible">True</property>                        <property name="visible">True</property>
803                        <property name="homogeneous">False</property>                        <property name="homogeneous">False</property>
804                        <property name="spacing">0</property>                        <property name="spacing">0</property>
# Line 806  Line 810 
810                            <property name="spacing">0</property>                            <property name="spacing">0</property>
811    
812                            <child>                            <child>
813                              <placeholder/>                              <widget class="GtkCheckButton" id="checkbutton3">
814                            </child>                                <property name="visible">True</property>
815                                  <property name="can_focus">True</property>
816                            <child>                                <property name="relief">GTK_RELIEF_NORMAL</property>
817                              <placeholder/>                                <property name="active">True</property>
818                            </child>                                <property name="inconsistent">False</property>
819                          </widget>                                <property name="draw_indicator">True</property>
                         <packing>  
                           <property name="padding">0</property>  
                           <property name="expand">True</property>  
                           <property name="fill">True</property>  
                         </packing>  
                       </child>  
820    
821                        <child>                                <child>
822                          <widget class="GtkHBox" id="hbox16">                                  <widget class="GtkAlignment" id="alignment1">
823                            <property name="visible">True</property>                                    <property name="visible">True</property>
824                            <property name="homogeneous">False</property>                                    <property name="xalign">0.5</property>
825                            <property name="spacing">0</property>                                    <property name="yalign">0.5</property>
826                                      <property name="xscale">0</property>
827                                      <property name="yscale">0</property>
828    
829                            <child>                                    <child>
830                              <placeholder/>                                      <widget class="GtkHBox" id="hbox23">
831                            </child>                                        <property name="visible">True</property>
832                                          <property name="homogeneous">False</property>
833                                          <property name="spacing">2</property>
834    
835                            <child>                                        <child>
836                              <placeholder/>                                          <widget class="GtkImage" id="image1">
837                                              <property name="visible">True</property>
838                                              <property name="stock">gtk-goto-last</property>
839                                              <property name="icon_size">4</property>
840                                              <property name="xalign">0.5</property>
841                                              <property name="yalign">0.5</property>
842                                              <property name="xpad">0</property>
843                                              <property name="ypad">0</property>
844                                            </widget>
845                                            <packing>
846                                              <property name="padding">0</property>
847                                              <property name="expand">False</property>
848                                              <property name="fill">False</property>
849                                            </packing>
850                                          </child>
851    
852                                          <child>
853                                            <widget class="GtkLabel" id="label26">
854                                              <property name="visible">True</property>
855                                              <property name="label" translatable="yes">Enable Auto-Indentation</property>
856                                              <property name="use_underline">True</property>
857                                              <property name="use_markup">False</property>
858                                              <property name="justify">GTK_JUSTIFY_LEFT</property>
859                                              <property name="wrap">False</property>
860                                              <property name="selectable">False</property>
861                                              <property name="xalign">0.5</property>
862                                              <property name="yalign">0.5</property>
863                                              <property name="xpad">0</property>
864                                              <property name="ypad">0</property>
865                                            </widget>
866                                            <packing>
867                                              <property name="padding">0</property>
868                                              <property name="expand">False</property>
869                                              <property name="fill">False</property>
870                                            </packing>
871                                          </child>
872                                        </widget>
873                                      </child>
874                                    </widget>
875                                  </child>
876                                </widget>
877                                <packing>
878                                  <property name="padding">0</property>
879                                  <property name="expand">False</property>
880                                  <property name="fill">False</property>
881                                </packing>
882                            </child>                            </child>
883                          </widget>                          </widget>
884                          <packing>                          <packing>
885                            <property name="padding">0</property>                            <property name="padding">0</property>
886                            <property name="expand">True</property>                            <property name="expand">False</property>
887                            <property name="fill">True</property>                            <property name="fill">True</property>
888                          </packing>                          </packing>
889                        </child>                        </child>
# Line 846  Line 893 
893                    <child>                    <child>
894                      <widget class="GtkLabel" id="label21">                      <widget class="GtkLabel" id="label21">
895                        <property name="visible">True</property>                        <property name="visible">True</property>
896                        <property name="label" translatable="yes">label21</property>                        <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;General&lt;/span&gt;</property>
897                        <property name="use_underline">False</property>                        <property name="use_underline">False</property>
898                        <property name="use_markup">False</property>                        <property name="use_markup">True</property>
899                        <property name="justify">GTK_JUSTIFY_LEFT</property>                        <property name="justify">GTK_JUSTIFY_LEFT</property>
900                        <property name="wrap">False</property>                        <property name="wrap">False</property>
901                        <property name="selectable">False</property>                        <property name="selectable">False</property>
# Line 863  Line 910 
910                    </child>                    </child>
911                  </widget>                  </widget>
912                  <packing>                  <packing>
913                    <property name="padding">0</property>                    <property name="padding">5</property>
914                    <property name="expand">True</property>                    <property name="expand">True</property>
915                    <property name="fill">True</property>                    <property name="fill">True</property>
916                  </packing>                  </packing>
# Line 883  Line 930 
930                        <property name="spacing">0</property>                        <property name="spacing">0</property>
931    
932                        <child>                        <child>
933                          <widget class="GtkHBox" id="hbox18">                          <widget class="GtkHBox" id="hbox24">
934                              <property name="border_width">5</property>
935                            <property name="visible">True</property>                            <property name="visible">True</property>
936                            <property name="homogeneous">False</property>                            <property name="homogeneous">False</property>
937                            <property name="spacing">0</property>                            <property name="spacing">10</property>
   
                           <child>  
                             <placeholder/>  
                           </child>  
938    
939                            <child>                            <child>
940                              <placeholder/>                              <widget class="GtkHBox" id="hbox25">
941                            </child>                                <property name="visible">True</property>
942                          </widget>                                <property name="homogeneous">False</property>
943                          <packing>                                <property name="spacing">0</property>
                           <property name="padding">0</property>  
                           <property name="expand">True</property>  
                           <property name="fill">True</property>  
                         </packing>  
                       </child>  
944    
945                        <child>                                <child>
946                          <widget class="GtkHBox" id="hbox19">                                  <widget class="GtkLabel" id="label27">
947                            <property name="visible">True</property>                                    <property name="visible">True</property>
948                            <property name="homogeneous">False</property>                                    <property name="label" translatable="yes">_Width:</property>
949                            <property name="spacing">0</property>                                    <property name="use_underline">True</property>
950                                      <property name="use_markup">False</property>
951                                      <property name="justify">GTK_JUSTIFY_LEFT</property>
952                                      <property name="wrap">False</property>
953                                      <property name="selectable">False</property>
954                                      <property name="xalign">0.5</property>
955                                      <property name="yalign">0.5</property>
956                                      <property name="xpad">0</property>
957                                      <property name="ypad">0</property>
958                                      <property name="mnemonic_widget">spinbutton1</property>
959                                    </widget>
960                                    <packing>
961                                      <property name="padding">0</property>
962                                      <property name="expand">False</property>
963                                      <property name="fill">False</property>
964                                    </packing>
965                                  </child>
966    
967                            <child>                                <child>
968                              <placeholder/>                                  <widget class="GtkSpinButton" id="spinbutton3">
969                                      <property name="width_request">60</property>
970                                      <property name="visible">True</property>
971                                      <property name="can_focus">True</property>
972                                      <property name="climb_rate">1</property>
973                                      <property name="digits">0</property>
974                                      <property name="numeric">True</property>
975                                      <property name="update_policy">GTK_UPDATE_ALWAYS</property>
976                                      <property name="snap_to_ticks">False</property>
977                                      <property name="wrap">False</property>
978                                      <property name="adjustment">130 0 100 1 10 10</property>
979                                    </widget>
980                                    <packing>
981                                      <property name="padding">5</property>
982                                      <property name="expand">True</property>
983                                      <property name="fill">True</property>
984                                    </packing>
985                                  </child>
986                                </widget>
987                                <packing>
988                                  <property name="padding">5</property>
989                                  <property name="expand">False</property>
990                                  <property name="fill">False</property>
991                                </packing>
992                            </child>                            </child>
993    
994                            <child>                            <child>
995                              <placeholder/>                              <widget class="GtkHBox" id="hbox26">
996                                  <property name="visible">True</property>
997                                  <property name="homogeneous">False</property>
998                                  <property name="spacing">0</property>
999    
1000                                  <child>
1001                                    <widget class="GtkLabel" id="label28">
1002                                      <property name="visible">True</property>
1003                                      <property name="label" translatable="yes">_Height:</property>
1004                                      <property name="use_underline">True</property>
1005                                      <property name="use_markup">False</property>
1006                                      <property name="justify">GTK_JUSTIFY_LEFT</property>
1007                                      <property name="wrap">False</property>
1008                                      <property name="selectable">False</property>
1009                                      <property name="xalign">0.5</property>
1010                                      <property name="yalign">0.5</property>
1011                                      <property name="xpad">0</property>
1012                                      <property name="ypad">0</property>
1013                                      <property name="mnemonic_widget">spinbutton2</property>
1014                                    </widget>
1015                                    <packing>
1016                                      <property name="padding">0</property>
1017                                      <property name="expand">False</property>
1018                                      <property name="fill">False</property>
1019                                    </packing>
1020                                  </child>
1021    
1022                                  <child>
1023                                    <widget class="GtkSpinButton" id="spinbutton4">
1024                                      <property name="width_request">60</property>
1025                                      <property name="visible">True</property>
1026                                      <property name="can_focus">True</property>
1027                                      <property name="climb_rate">1</property>
1028                                      <property name="digits">0</property>
1029                                      <property name="numeric">True</property>
1030                                      <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1031                                      <property name="snap_to_ticks">False</property>
1032                                      <property name="wrap">False</property>
1033                                      <property name="adjustment">200 0 100 1 10 10</property>
1034                                    </widget>
1035                                    <packing>
1036                                      <property name="padding">5</property>
1037                                      <property name="expand">True</property>
1038                                      <property name="fill">True</property>
1039                                    </packing>
1040                                  </child>
1041                                </widget>
1042                                <packing>
1043                                  <property name="padding">5</property>
1044                                  <property name="expand">False</property>
1045                                  <property name="fill">False</property>
1046                                </packing>
1047                            </child>                            </child>
1048                          </widget>                          </widget>
1049                          <packing>                          <packing>
# Line 929  Line 1058 
1058                    <child>                    <child>
1059                      <widget class="GtkLabel" id="label22">                      <widget class="GtkLabel" id="label22">
1060                        <property name="visible">True</property>                        <property name="visible">True</property>
1061                        <property name="label" translatable="yes">label22</property>                        <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Auto Completion&lt;/span&gt;</property>
1062                        <property name="use_underline">False</property>                        <property name="use_underline">False</property>
1063                        <property name="use_markup">False</property>                        <property name="use_markup">True</property>
1064                        <property name="justify">GTK_JUSTIFY_LEFT</property>                        <property name="justify">GTK_JUSTIFY_LEFT</property>
1065                        <property name="wrap">False</property>                        <property name="wrap">False</property>
1066                        <property name="selectable">False</property>                        <property name="selectable">False</property>
# Line 961  Line 1090 
1090            <child>            <child>
1091              <widget class="GtkLabel" id="label3">              <widget class="GtkLabel" id="label3">
1092                <property name="visible">True</property>                <property name="visible">True</property>
1093                <property name="label" translatable="yes">Advanced</property>                <property name="label" translatable="yes">Programming Aids</property>
1094                <property name="use_underline">False</property>                <property name="use_underline">False</property>
1095                <property name="use_markup">False</property>                <property name="use_markup">False</property>
1096                <property name="justify">GTK_JUSTIFY_LEFT</property>                <property name="justify">GTK_JUSTIFY_LEFT</property>
# Line 985  Line 1114 
1114    
1115                <child>                <child>
1116                  <widget class="GtkFrame" id="frame8">                  <widget class="GtkFrame" id="frame8">
1117                      <property name="border_width">10</property>
1118                    <property name="visible">True</property>                    <property name="visible">True</property>
1119                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
1120                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
# Line 997  Line 1127 
1127                        <property name="spacing">0</property>                        <property name="spacing">0</property>
1128    
1129                        <child>                        <child>
1130                          <placeholder/>                          <widget class="GtkCheckButton" id="checkbutton4">
1131                              <property name="visible">True</property>
1132                              <property name="can_focus">True</property>
1133                              <property name="label" translatable="yes">Write backup files</property>
1134                              <property name="use_underline">True</property>
1135                              <property name="relief">GTK_RELIEF_NORMAL</property>
1136                              <property name="active">False</property>
1137                              <property name="inconsistent">False</property>
1138                              <property name="draw_indicator">True</property>
1139                            </widget>
1140                            <packing>
1141                              <property name="padding">0</property>
1142                              <property name="expand">False</property>
1143                              <property name="fill">False</property>
1144                            </packing>
1145                        </child>                        </child>
1146    
1147                        <child>                        <child>
1148                          <widget class="GtkHBox" id="hbox22">                          <widget class="GtkHBox" id="hbox31">
1149                            <property name="visible">True</property>                            <property name="visible">True</property>
1150                            <property name="homogeneous">False</property>                            <property name="homogeneous">False</property>
1151                            <property name="spacing">0</property>                            <property name="spacing">0</property>
1152    
1153                            <child>                            <child>
1154                              <placeholder/>                              <widget class="GtkLabel" id="label36">
1155                                  <property name="visible">True</property>
1156                                  <property name="label" translatable="yes">Extension: </property>
1157                                  <property name="use_underline">True</property>
1158                                  <property name="use_markup">False</property>
1159                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
1160                                  <property name="wrap">False</property>
1161                                  <property name="selectable">False</property>
1162                                  <property name="xalign">0.5</property>
1163                                  <property name="yalign">0.5</property>
1164                                  <property name="xpad">0</property>
1165                                  <property name="ypad">0</property>
1166                                  <property name="mnemonic_widget">entry2</property>
1167                                </widget>
1168                                <packing>
1169                                  <property name="padding">0</property>
1170                                  <property name="expand">False</property>
1171                                  <property name="fill">False</property>
1172                                </packing>
1173                            </child>                            </child>
1174    
1175                            <child>                            <child>
1176                              <placeholder/>                              <widget class="GtkEntry" id="entry3">
1177                                  <property name="visible">True</property>
1178                                  <property name="can_focus">True</property>
1179                                  <property name="editable">True</property>
1180                                  <property name="visibility">True</property>
1181                                  <property name="max_length">0</property>
1182                                  <property name="text" translatable="yes">~</property>
1183                                  <property name="has_frame">True</property>
1184                                  <property name="invisible_char" translatable="yes">*</property>
1185                                  <property name="activates_default">False</property>
1186                                </widget>
1187                                <packing>
1188                                  <property name="padding">0</property>
1189                                  <property name="expand">True</property>
1190                                  <property name="fill">True</property>
1191                                </packing>
1192                            </child>                            </child>
1193                          </widget>                          </widget>
1194                          <packing>                          <packing>
# Line 1026  Line 1203 
1203                    <child>                    <child>
1204                      <widget class="GtkLabel" id="label23">                      <widget class="GtkLabel" id="label23">
1205                        <property name="visible">True</property>                        <property name="visible">True</property>
1206                        <property name="label" translatable="yes">label23</property>                        <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Backup&lt;/span&gt;</property>
1207                        <property name="use_underline">False</property>                        <property name="use_underline">False</property>
1208                        <property name="use_markup">False</property>                        <property name="use_markup">True</property>
1209                        <property name="justify">GTK_JUSTIFY_LEFT</property>                        <property name="justify">GTK_JUSTIFY_LEFT</property>
1210                        <property name="wrap">False</property>                        <property name="wrap">False</property>
1211                        <property name="selectable">False</property>                        <property name="selectable">False</property>
# Line 1043  Line 1220 
1220                    </child>                    </child>
1221                  </widget>                  </widget>
1222                  <packing>                  <packing>
1223                    <property name="padding">0</property>                    <property name="padding">5</property>
1224                    <property name="expand">True</property>                    <property name="expand">True</property>
1225                    <property name="fill">True</property>                    <property name="fill">True</property>
1226                  </packing>                  </packing>
# Line 1160  Line 1337 
1337                <property name="use_underline">False</property>                <property name="use_underline">False</property>
1338                <property name="use_markup">False</property>                <property name="use_markup">False</property>
1339                <property name="justify">GTK_JUSTIFY_LEFT</property>                <property name="justify">GTK_JUSTIFY_LEFT</property>
1340                  <property name="wrap">False</property>
1341                  <property name="selectable">False</property>
1342                  <property name="xalign">0.5</property>
1343                  <property name="yalign">0.5</property>
1344                  <property name="xpad">0</property>
1345                  <property name="ypad">0</property>
1346                </widget>
1347                <packing>
1348                  <property name="type">tab</property>
1349                </packing>
1350              </child>
1351    
1352              <child>
1353                <widget class="GtkVBox" id="vbox13">
1354                  <property name="visible">True</property>
1355                  <property name="homogeneous">False</property>
1356                  <property name="spacing">0</property>
1357    
1358                  <child>
1359                    <widget class="GtkVBox" id="vbox14">
1360                      <property name="visible">True</property>
1361                      <property name="homogeneous">False</property>
1362                      <property name="spacing">0</property>
1363    
1364                      <child>
1365                        <widget class="GtkVBox" id="vbox15">
1366                          <property name="border_width">10</property>
1367                          <property name="visible">True</property>
1368                          <property name="homogeneous">False</property>
1369                          <property name="spacing">0</property>
1370    
1371                          <child>
1372                            <widget class="GtkFrame" id="frame11">
1373                              <property name="visible">True</property>
1374                              <property name="label_xalign">0</property>
1375                              <property name="label_yalign">0.5</property>
1376                              <property name="shadow_type">GTK_SHADOW_NONE</property>
1377    
1378                              <child>
1379                                <placeholder/>
1380                              </child>
1381    
1382                              <child>
1383                                <widget class="GtkLabel" id="label35">
1384                                  <property name="visible">True</property>
1385                                  <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Colors&lt;/span&gt;</property>
1386                                  <property name="use_underline">False</property>
1387                                  <property name="use_markup">True</property>
1388                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
1389                                  <property name="wrap">False</property>
1390                                  <property name="selectable">False</property>
1391                                  <property name="xalign">0.5</property>
1392                                  <property name="yalign">0.5</property>
1393                                  <property name="xpad">0</property>
1394                                  <property name="ypad">0</property>
1395                                </widget>
1396                                <packing>
1397                                  <property name="type">label_item</property>
1398                                </packing>
1399                              </child>
1400                            </widget>
1401                            <packing>
1402                              <property name="padding">5</property>
1403                              <property name="expand">True</property>
1404                              <property name="fill">True</property>
1405                            </packing>
1406                          </child>
1407                        </widget>
1408                        <packing>
1409                          <property name="padding">0</property>
1410                          <property name="expand">True</property>
1411                          <property name="fill">True</property>
1412                        </packing>
1413                      </child>
1414                    </widget>
1415                    <packing>
1416                      <property name="padding">0</property>
1417                      <property name="expand">True</property>
1418                      <property name="fill">True</property>
1419                    </packing>
1420                  </child>
1421                </widget>
1422                <packing>
1423                  <property name="tab_expand">False</property>
1424                  <property name="tab_fill">True</property>
1425                </packing>
1426              </child>
1427    
1428              <child>
1429                <widget class="GtkLabel" id="label29">
1430                  <property name="visible">True</property>
1431                  <property name="label" translatable="yes">Syntax Highlighting</property>
1432                  <property name="use_underline">False</property>
1433                  <property name="use_markup">False</property>
1434                  <property name="justify">GTK_JUSTIFY_LEFT</property>
1435                  <property name="wrap">False</property>
1436                  <property name="selectable">False</property>
1437                  <property name="xalign">0.5</property>
1438                  <property name="yalign">0.5</property>
1439                  <property name="xpad">0</property>
1440                  <property name="ypad">0</property>
1441                </widget>
1442                <packing>
1443                  <property name="type">tab</property>
1444                </packing>
1445              </child>
1446    
1447              <child>
1448                <placeholder/>
1449              </child>
1450    
1451              <child>
1452                <widget class="GtkLabel" id="label30">
1453                  <property name="visible">True</property>
1454                  <property name="label" translatable="yes">Charsets</property>
1455                  <property name="use_underline">False</property>
1456                  <property name="use_markup">False</property>
1457                  <property name="justify">GTK_JUSTIFY_LEFT</property>
1458                <property name="wrap">False</property>                <property name="wrap">False</property>
1459                <property name="selectable">False</property>                <property name="selectable">False</property>
1460                <property name="xalign">0.5</property>                <property name="xalign">0.5</property>

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

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