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

Diff of /beaver/beaver.glade

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

revision 1.4 by skypher, Sat Jun 14 17:41:34 2003 UTC revision 1.5 by skypher, Wed Jul 2 17:34:29 2003 UTC
# Line 9  Line 9 
9    <property name="type">GTK_WINDOW_TOPLEVEL</property>    <property name="type">GTK_WINDOW_TOPLEVEL</property>
10    <property name="window_position">GTK_WIN_POS_CENTER</property>    <property name="window_position">GTK_WIN_POS_CENTER</property>
11    <property name="modal">False</property>    <property name="modal">False</property>
12    <property name="resizable">True</property>    <property name="resizable">False</property>
13    <property name="destroy_with_parent">False</property>    <property name="destroy_with_parent">False</property>
14    <property name="has_separator">True</property>    <property name="has_separator">True</property>
15      <signal name="show" handler="on_PrefsWindow_show" after="yes" last_modification_time="Wed, 02 Jul 2003 12:11:55 GMT"/>
16    
17    <child internal-child="vbox">    <child internal-child="vbox">
18      <widget class="GtkVBox" id="dialog-vbox1">      <widget class="GtkVBox" id="dialog-vbox1">
# Line 87  Line 88 
88                            <property name="active">True</property>                            <property name="active">True</property>
89                            <property name="inconsistent">False</property>                            <property name="inconsistent">False</property>
90                            <property name="draw_indicator">True</property>                            <property name="draw_indicator">True</property>
91                              <signal name="toggled" handler="pref_winsize_mode_save" last_modification_time="Wed, 25 Jun 2003 10:39:35 GMT"/>
92                          </widget>                          </widget>
93                          <packing>                          <packing>
94                            <property name="padding">0</property>                            <property name="padding">0</property>
# Line 106  Line 108 
108                            <property name="inconsistent">False</property>                            <property name="inconsistent">False</property>
109                            <property name="draw_indicator">True</property>                            <property name="draw_indicator">True</property>
110                            <property name="group">radiobutton1</property>                            <property name="group">radiobutton1</property>
111                              <signal name="toggled" handler="pref_winsize_mode_fixed" last_modification_time="Wed, 25 Jun 2003 10:42:46 GMT"/>
112                          </widget>                          </widget>
113                          <packing>                          <packing>
114                            <property name="padding">0</property>                            <property name="padding">0</property>
# Line 159  Line 162 
162                                    <property name="update_policy">GTK_UPDATE_ALWAYS</property>                                    <property name="update_policy">GTK_UPDATE_ALWAYS</property>
163                                    <property name="snap_to_ticks">False</property>                                    <property name="snap_to_ticks">False</property>
164                                    <property name="wrap">False</property>                                    <property name="wrap">False</property>
165                                    <property name="adjustment">1 0 100 1 10 10</property>                                    <property name="adjustment">320 1 1600 1 10 10</property>
166                                      <signal name="changed" handler="pref_winsize_fixed_x" last_modification_time="Wed, 25 Jun 2003 11:24:23 GMT"/>
167                                  </widget>                                  </widget>
168                                  <packing>                                  <packing>
169                                    <property name="padding">5</property>                                    <property name="padding">5</property>
# Line 214  Line 218 
218                                    <property name="update_policy">GTK_UPDATE_ALWAYS</property>                                    <property name="update_policy">GTK_UPDATE_ALWAYS</property>
219                                    <property name="snap_to_ticks">False</property>                                    <property name="snap_to_ticks">False</property>
220                                    <property name="wrap">False</property>                                    <property name="wrap">False</property>
221                                    <property name="adjustment">1 0 100 1 10 10</property>                                    <property name="adjustment">200 1 1200 1 10 10</property>
222                                      <signal name="changed" handler="pref_winsize_fixed_y" last_modification_time="Wed, 25 Jun 2003 10:44:08 GMT"/>
223                                  </widget>                                  </widget>
224                                  <packing>                                  <packing>
225                                    <property name="padding">5</property>                                    <property name="padding">5</property>
# Line 267  Line 272 
272    
273                <child>                <child>
274                  <widget class="GtkFrame" id="frame4">                  <widget class="GtkFrame" id="frame4">
275                      <property name="border_width">10</property>
276                    <property name="visible">True</property>                    <property name="visible">True</property>
277                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
278                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
# Line 288  Line 294 
294                            <property name="active">False</property>                            <property name="active">False</property>
295                            <property name="inconsistent">False</property>                            <property name="inconsistent">False</property>
296                            <property name="draw_indicator">True</property>                            <property name="draw_indicator">True</property>
297                              <signal name="toggled" handler="pref_misc_beep" last_modification_time="Wed, 25 Jun 2003 11:11:50 GMT"/>
298                          </widget>                          </widget>
299                          <packing>                          <packing>
300                            <property name="padding">0</property>                            <property name="padding">0</property>
# Line 335  Line 342 
342                                <property name="has_frame">True</property>                                <property name="has_frame">True</property>
343                                <property name="invisible_char" translatable="yes">*</property>                                <property name="invisible_char" translatable="yes">*</property>
344                                <property name="activates_default">False</property>                                <property name="activates_default">False</property>
345                                  <signal name="editing_done" handler="pref_misc_print_command" last_modification_time="Wed, 25 Jun 2003 10:45:40 GMT"/>
346                              </widget>                              </widget>
347                              <packing>                              <packing>
348                                <property name="padding">0</property>                                <property name="padding">0</property>
# Line 458  Line 466 
466                                <property name="label" translatable="yes">button2</property>                                <property name="label" translatable="yes">button2</property>
467                                <property name="use_underline">True</property>                                <property name="use_underline">True</property>
468                                <property name="relief">GTK_RELIEF_NORMAL</property>                                <property name="relief">GTK_RELIEF_NORMAL</property>
469                                  <signal name="clicked" handler="pref_fontdialogue" last_modification_time="Wed, 25 Jun 2003 10:46:08 GMT"/>
470                              </widget>                              </widget>
471                              <packing>                              <packing>
472                                <property name="padding">0</property>                                <property name="padding">0</property>
# Line 794  Line 803 
803                    <property name="visible">True</property>                    <property name="visible">True</property>
804                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
805                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
806                    <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>                    <property name="shadow_type">GTK_SHADOW_NONE</property>
807    
808                    <child>                    <child>
809                      <widget class="GtkVBox" id="vbox10">                      <widget class="GtkVBox" id="vbox10">
# Line 817  Line 826 
826                                <property name="active">True</property>                                <property name="active">True</property>
827                                <property name="inconsistent">False</property>                                <property name="inconsistent">False</property>
828                                <property name="draw_indicator">True</property>                                <property name="draw_indicator">True</property>
829                                  <signal name="toggled" handler="pref_auto_indent" last_modification_time="Wed, 25 Jun 2003 11:36:28 GMT"/>
830    
831                                <child>                                <child>
832                                  <widget class="GtkAlignment" id="alignment1">                                  <widget class="GtkAlignment" id="alignment1">
# Line 918  Line 928 
928    
929                <child>                <child>
930                  <widget class="GtkFrame" id="frame7">                  <widget class="GtkFrame" id="frame7">
931                      <property name="border_width">10</property>
932                    <property name="visible">True</property>                    <property name="visible">True</property>
933                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
934                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
935                    <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>                    <property name="shadow_type">GTK_SHADOW_NONE</property>
936    
937                    <child>                    <child>
938                      <widget class="GtkHBox" id="hbox17">                      <widget class="GtkVBox" id="vbox16">
939                          <property name="border_width">5</property>
940                        <property name="visible">True</property>                        <property name="visible">True</property>
941                        <property name="homogeneous">False</property>                        <property name="homogeneous">False</property>
942                        <property name="spacing">0</property>                        <property name="spacing">0</property>
943    
944                        <child>                        <child>
945                          <widget class="GtkHBox" id="hbox24">                          <widget class="GtkCheckButton" id="checkbutton5">
946                            <property name="border_width">5</property>                            <property name="visible">True</property>
947                              <property name="can_focus">True</property>
948                              <property name="label" translatable="yes">Enable Auto-Completion</property>
949                              <property name="use_underline">True</property>
950                              <property name="relief">GTK_RELIEF_NORMAL</property>
951                              <property name="active">False</property>
952                              <property name="inconsistent">False</property>
953                              <property name="draw_indicator">True</property>
954                              <signal name="toggled" handler="pref_auto_completion" after="yes" last_modification_time="Wed, 25 Jun 2003 11:07:40 GMT"/>
955                            </widget>
956                            <packing>
957                              <property name="padding">0</property>
958                              <property name="expand">False</property>
959                              <property name="fill">False</property>
960                            </packing>
961                          </child>
962    
963                          <child>
964                            <widget class="GtkHBox" id="hbox17">
965                            <property name="visible">True</property>                            <property name="visible">True</property>
966                            <property name="homogeneous">False</property>                            <property name="homogeneous">False</property>
967                            <property name="spacing">10</property>                            <property name="spacing">0</property>
968    
969                            <child>                            <child>
970                              <widget class="GtkHBox" id="hbox25">                              <widget class="GtkHBox" id="hbox24">
971                                <property name="visible">True</property>                                <property name="visible">True</property>
972                                <property name="homogeneous">False</property>                                <property name="homogeneous">False</property>
973                                <property name="spacing">0</property>                                <property name="spacing">10</property>
974    
975                                <child>                                <child>
976                                  <widget class="GtkLabel" id="label27">                                  <widget class="GtkHBox" id="hbox25">
977                                    <property name="visible">True</property>                                    <property name="visible">True</property>
978                                    <property name="label" translatable="yes">_Width:</property>                                    <property name="homogeneous">False</property>
979                                    <property name="use_underline">True</property>                                    <property name="spacing">0</property>
980                                    <property name="use_markup">False</property>  
981                                    <property name="justify">GTK_JUSTIFY_LEFT</property>                                    <child>
982                                    <property name="wrap">False</property>                                      <widget class="GtkLabel" id="label27">
983                                    <property name="selectable">False</property>                                        <property name="visible">True</property>
984                                    <property name="xalign">0.5</property>                                        <property name="label" translatable="yes">_Width:</property>
985                                    <property name="yalign">0.5</property>                                        <property name="use_underline">True</property>
986                                    <property name="xpad">0</property>                                        <property name="use_markup">False</property>
987                                    <property name="ypad">0</property>                                        <property name="justify">GTK_JUSTIFY_LEFT</property>
988                                    <property name="mnemonic_widget">spinbutton1</property>                                        <property name="wrap">False</property>
989                                          <property name="selectable">False</property>
990                                          <property name="xalign">0.5</property>
991                                          <property name="yalign">0.5</property>
992                                          <property name="xpad">0</property>
993                                          <property name="ypad">0</property>
994                                          <property name="mnemonic_widget">spinbutton1</property>
995                                        </widget>
996                                        <packing>
997                                          <property name="padding">0</property>
998                                          <property name="expand">False</property>
999                                          <property name="fill">False</property>
1000                                        </packing>
1001                                      </child>
1002    
1003                                      <child>
1004                                        <widget class="GtkSpinButton" id="spinbutton3">
1005                                          <property name="width_request">60</property>
1006                                          <property name="visible">True</property>
1007                                          <property name="can_focus">True</property>
1008                                          <property name="climb_rate">1</property>
1009                                          <property name="digits">0</property>
1010                                          <property name="numeric">True</property>
1011                                          <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1012                                          <property name="snap_to_ticks">False</property>
1013                                          <property name="wrap">False</property>
1014                                          <property name="adjustment">130 0 100 1 10 10</property>
1015                                          <signal name="changed" handler="pref_auto_completion_x" last_modification_time="Wed, 25 Jun 2003 11:08:48 GMT"/>
1016                                        </widget>
1017                                        <packing>
1018                                          <property name="padding">5</property>
1019                                          <property name="expand">True</property>
1020                                          <property name="fill">True</property>
1021                                        </packing>
1022                                      </child>
1023                                  </widget>                                  </widget>
1024                                  <packing>                                  <packing>
1025                                    <property name="padding">0</property>                                    <property name="padding">5</property>
1026                                    <property name="expand">False</property>                                    <property name="expand">False</property>
1027                                    <property name="fill">False</property>                                    <property name="fill">False</property>
1028                                  </packing>                                  </packing>
1029                                </child>                                </child>
1030    
1031                                <child>                                <child>
1032                                  <widget class="GtkSpinButton" id="spinbutton3">                                  <widget class="GtkHBox" id="hbox26">
                                   <property name="width_request">60</property>  
1033                                    <property name="visible">True</property>                                    <property name="visible">True</property>
1034                                    <property name="can_focus">True</property>                                    <property name="homogeneous">False</property>
1035                                    <property name="climb_rate">1</property>                                    <property name="spacing">0</property>
                                   <property name="digits">0</property>  
                                   <property name="numeric">True</property>  
                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>  
                                   <property name="snap_to_ticks">False</property>  
                                   <property name="wrap">False</property>  
                                   <property name="adjustment">130 0 100 1 10 10</property>  
                                 </widget>  
                                 <packing>  
                                   <property name="padding">5</property>  
                                   <property name="expand">True</property>  
                                   <property name="fill">True</property>  
                                 </packing>  
                               </child>  
                             </widget>  
                             <packing>  
                               <property name="padding">5</property>  
                               <property name="expand">False</property>  
                               <property name="fill">False</property>  
                             </packing>  
                           </child>  
1036    
1037                            <child>                                    <child>
1038                              <widget class="GtkHBox" id="hbox26">                                      <widget class="GtkLabel" id="label28">
1039                                <property name="visible">True</property>                                        <property name="visible">True</property>
1040                                <property name="homogeneous">False</property>                                        <property name="label" translatable="yes">_Height:</property>
1041                                <property name="spacing">0</property>                                        <property name="use_underline">True</property>
1042                                          <property name="use_markup">False</property>
1043                                          <property name="justify">GTK_JUSTIFY_LEFT</property>
1044                                          <property name="wrap">False</property>
1045                                          <property name="selectable">False</property>
1046                                          <property name="xalign">0.5</property>
1047                                          <property name="yalign">0.5</property>
1048                                          <property name="xpad">0</property>
1049                                          <property name="ypad">0</property>
1050                                          <property name="mnemonic_widget">spinbutton2</property>
1051                                        </widget>
1052                                        <packing>
1053                                          <property name="padding">0</property>
1054                                          <property name="expand">False</property>
1055                                          <property name="fill">False</property>
1056                                        </packing>
1057                                      </child>
1058    
1059                                <child>                                    <child>
1060                                  <widget class="GtkLabel" id="label28">                                      <widget class="GtkSpinButton" id="spinbutton4">
1061                                    <property name="visible">True</property>                                        <property name="width_request">60</property>
1062                                    <property name="label" translatable="yes">_Height:</property>                                        <property name="visible">True</property>
1063                                    <property name="use_underline">True</property>                                        <property name="can_focus">True</property>
1064                                    <property name="use_markup">False</property>                                        <property name="climb_rate">1</property>
1065                                    <property name="justify">GTK_JUSTIFY_LEFT</property>                                        <property name="digits">0</property>
1066                                    <property name="wrap">False</property>                                        <property name="numeric">True</property>
1067                                    <property name="selectable">False</property>                                        <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1068                                    <property name="xalign">0.5</property>                                        <property name="snap_to_ticks">False</property>
1069                                    <property name="yalign">0.5</property>                                        <property name="wrap">False</property>
1070                                    <property name="xpad">0</property>                                        <property name="adjustment">200 0 100 1 10 10</property>
1071                                    <property name="ypad">0</property>                                        <signal name="changed" handler="pref_auto_completion_y" last_modification_time="Wed, 25 Jun 2003 11:09:40 GMT"/>
1072                                    <property name="mnemonic_widget">spinbutton2</property>                                      </widget>
1073                                        <packing>
1074                                          <property name="padding">5</property>
1075                                          <property name="expand">True</property>
1076                                          <property name="fill">True</property>
1077                                        </packing>
1078                                      </child>
1079                                  </widget>                                  </widget>
1080                                  <packing>                                  <packing>
1081                                    <property name="padding">0</property>                                    <property name="padding">5</property>
1082                                    <property name="expand">False</property>                                    <property name="expand">False</property>
1083                                    <property name="fill">False</property>                                    <property name="fill">False</property>
1084                                  </packing>                                  </packing>
1085                                </child>                                </child>
   
                               <child>  
                                 <widget class="GtkSpinButton" id="spinbutton4">  
                                   <property name="width_request">60</property>  
                                   <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">True</property>  
                                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>  
                                   <property name="snap_to_ticks">False</property>  
                                   <property name="wrap">False</property>  
                                   <property name="adjustment">200 0 100 1 10 10</property>  
                                 </widget>  
                                 <packing>  
                                   <property name="padding">5</property>  
                                   <property name="expand">True</property>  
                                   <property name="fill">True</property>  
                                 </packing>  
                               </child>  
1086                              </widget>                              </widget>
1087                              <packing>                              <packing>
1088                                <property name="padding">5</property>                                <property name="padding">0</property>
1089                                <property name="expand">False</property>                                <property name="expand">False</property>
1090                                <property name="fill">False</property>                                <property name="fill">False</property>
1091                              </packing>                              </packing>
# Line 1075  Line 1120 
1120                    </child>                    </child>
1121                  </widget>                  </widget>
1122                  <packing>                  <packing>
1123                    <property name="padding">0</property>                    <property name="padding">5</property>
1124                    <property name="expand">True</property>                    <property name="expand">True</property>
1125                    <property name="fill">True</property>                    <property name="fill">True</property>
1126                  </packing>                  </packing>
# Line 1118  Line 1163 
1163                    <property name="visible">True</property>                    <property name="visible">True</property>
1164                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
1165                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
1166                    <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>                    <property name="shadow_type">GTK_SHADOW_NONE</property>
1167    
1168                    <child>                    <child>
1169                      <widget class="GtkVBox" id="vbox12">                      <widget class="GtkVBox" id="vbox12">
1170                          <property name="border_width">5</property>
1171                        <property name="visible">True</property>                        <property name="visible">True</property>
1172                        <property name="homogeneous">False</property>                        <property name="homogeneous">False</property>
1173                        <property name="spacing">0</property>                        <property name="spacing">0</property>
# Line 1136  Line 1182 
1182                            <property name="active">False</property>                            <property name="active">False</property>
1183                            <property name="inconsistent">False</property>                            <property name="inconsistent">False</property>
1184                            <property name="draw_indicator">True</property>                            <property name="draw_indicator">True</property>
1185                              <signal name="toggled" handler="pref_backup_write" last_modification_time="Wed, 25 Jun 2003 11:14:18 GMT"/>
1186                          </widget>                          </widget>
1187                          <packing>                          <packing>
1188                            <property name="padding">0</property>                            <property name="padding">0</property>
# Line 1183  Line 1230 
1230                                <property name="has_frame">True</property>                                <property name="has_frame">True</property>
1231                                <property name="invisible_char" translatable="yes">*</property>                                <property name="invisible_char" translatable="yes">*</property>
1232                                <property name="activates_default">False</property>                                <property name="activates_default">False</property>
1233                                  <signal name="editing_done" handler="pref_backup_extension" last_modification_time="Wed, 25 Jun 2003 11:14:32 GMT"/>
1234                              </widget>                              </widget>
1235                              <packing>                              <packing>
1236                                <property name="padding">0</property>                                <property name="padding">0</property>
# Line 1228  Line 1276 
1276    
1277                <child>                <child>
1278                  <widget class="GtkFrame" id="frame9">                  <widget class="GtkFrame" id="frame9">
1279                      <property name="border_width">10</property>
1280                    <property name="visible">True</property>                    <property name="visible">True</property>
1281                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
1282                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
1283                    <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>                    <property name="shadow_type">GTK_SHADOW_NONE</property>
1284    
1285                    <child>                    <child>
1286                      <widget class="GtkHBox" id="hbox21">                      <widget class="GtkHBox" id="hbox21">
# Line 1269  Line 1318 
1318                    </child>                    </child>
1319                  </widget>                  </widget>
1320                  <packing>                  <packing>
1321                    <property name="padding">0</property>                    <property name="padding">5</property>
1322                    <property name="expand">True</property>                    <property name="expand">True</property>
1323                    <property name="fill">True</property>                    <property name="fill">True</property>
1324                  </packing>                  </packing>
# Line 1277  Line 1326 
1326    
1327                <child>                <child>
1328                  <widget class="GtkFrame" id="frame10">                  <widget class="GtkFrame" id="frame10">
1329                      <property name="border_width">10</property>
1330                    <property name="visible">True</property>                    <property name="visible">True</property>
1331                    <property name="label_xalign">0</property>                    <property name="label_xalign">0</property>
1332                    <property name="label_yalign">0.5</property>                    <property name="label_yalign">0.5</property>
1333                    <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>                    <property name="shadow_type">GTK_SHADOW_NONE</property>
1334    
1335                    <child>                    <child>
1336                      <widget class="GtkHBox" id="hbox20">                      <widget class="GtkHBox" id="hbox20">
# Line 1318  Line 1368 
1368                    </child>                    </child>
1369                  </widget>                  </widget>
1370                  <packing>                  <packing>
1371                    <property name="padding">0</property>                    <property name="padding">5</property>
1372                    <property name="expand">True</property>                    <property name="expand">True</property>
1373                    <property name="fill">True</property>                    <property name="fill">True</property>
1374                  </packing>                  </packing>
# Line 1363  Line 1413 
1413    
1414                    <child>                    <child>
1415                      <widget class="GtkVBox" id="vbox15">                      <widget class="GtkVBox" id="vbox15">
                       <property name="border_width">10</property>  
1416                        <property name="visible">True</property>                        <property name="visible">True</property>
1417                        <property name="homogeneous">False</property>                        <property name="homogeneous">False</property>
1418                        <property name="spacing">0</property>                        <property name="spacing">0</property>
1419    
1420                        <child>                        <child>
1421                          <widget class="GtkFrame" id="frame11">                          <widget class="GtkFrame" id="frame11">
1422                              <property name="border_width">10</property>
1423                            <property name="visible">True</property>                            <property name="visible">True</property>
1424                            <property name="label_xalign">0</property>                            <property name="label_xalign">0</property>
1425                            <property name="label_yalign">0.5</property>                            <property name="label_yalign">0.5</property>

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

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