Changeset 66

Show
Ignore:
Timestamp:
Tue Jul 12 05:35:58 2005
Author:
fredrikc
Message:

Some small UI updates.

Files:

Legend:

Unmodified
Added
Removed
Modified

  • trunk/transolution/xliffeditor/gtk_main.py

    r61 r66  
    137 137         self.document_operations = g("document_operations")  
    138 138         self.tu_closed_toolbar = g("tu_closed_toolbar")  
    139           self.tu_open_toolbar = g("tu_open_toolbar")  
    140           self.tu_nav_toolbar = g("tu_nav_toolbar")  
    141 139  
    142 140         self.show_source_target_radio_bt = {'Source':g("mb_show_source"),  
    …… 
    163 161         self.document_operations.set_sensitive(False)  
    164 162  
    165           self.widgets_to_diable_when_tu_closed = [self.tu_open_toolbar]  
    166           self.widgets_to_diable_when_tu_open = [self.tu_nav_toolbar,] #self.tu_closed_toolbar]  
      163         self.widgets_to_diable_when_tu_closed = [g("tu_open_toolbar"),g("tags_menu"),]  
      164         self.widgets_to_diable_when_tu_open = [g("tu_nav_toolbar"),g("next_tu_menuitem"),g("previous_tu_menuitem")] #self.tu_closed_toolbar]  
    167 165  
    168 166         # setup combobox TU prev/next constraint  

  • trunk/transolution/xliffeditor/glade/xliffeditor.glade

    r58 r66  
    19 19   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>  
    20 20   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>  
    21     <property name="focus_on_map">True</property>  
    22 21   <signal name="delete_event" handler="onQuit" last_modification_time="Wed, 18 May 2005 13:02:30 GMT"/>  
    23 22  
    24 23   <child>  
    25           <widget class="GtkVBox" id="vbox1">  
    26             <property name="visible">True</property>  
    27             <property name="homogeneous">False</property>  
    28             <property name="spacing">0</property>  
      24     <widget class="GtkVBox" id="vbox1">  
      25       <property name="visible">True</property>  
      26       <property name="homogeneous">False</property>  
      27       <property name="spacing">0</property>  
    29 28  
    30             <child>  
      29       <child>  
    30 29         <widget class="GtkMenuBar" id="menubar1">  
    31 30           <property name="visible">True</property>  
    …… 
    34 33  
    35 34           <child>  
    36                   <widget class="GtkMenuItem" id="menuitem4">  
    37                     <property name="visible">True</property>  
    38                     <property name="label" translatable="yes">_File</property>  
    39                     <property name="use_underline">True</property>  
      35             <widget class="GtkMenuItem" id="menuitem4">  
      36               <property name="visible">True</property>  
      37               <property name="label" translatable="yes">_File</property>  
      38               <property name="use_underline">True</property>  
    40 39  
    41                     <child>  
      40               <child>  
    41 40                 <widget class="GtkMenu" id="menuitem4_menu">  
    42 41  
    43 42                   <child>  
    44                           <widget class="GtkImageMenuItem" id="Öppna1">  
    45                             <property name="visible">True</property>  
    46                             <property name="label">gtk-open</property>  
    47                             <property name="use_stock">True</property>  
    48                             <signal name="activate" handler="onFileOpen" last_modification_time="Wed, 02 Feb 2005 16:01:53 GMT"/>  
    49                           </widget>  
      43                     <widget class="GtkImageMenuItem" id="Öppna1">  
      44                       <property name="visible">True</property>  
      45                       <property name="label">gtk-open</property>  
      46                       <property name="use_stock">True</property>  
      47                       <signal name="activate" handler="onFileOpen" last_modification_time="Wed, 02 Feb 2005 16:01:53 GMT"/>  
      48                     </widget>  
    50 49                   </child>  
    51 50  
    52 51                   <child>  
    53                           <widget class="GtkImageMenuItem" id="spara1">  
    54                             <property name="visible">True</property>  
    55                             <property name="label">gtk-save</property>  
    56                             <property name="use_stock">True</property>  
    57                             <signal name="activate" handler="onFileSave" last_modification_time="Wed, 02 Feb 2005 16:02:00 GMT"/>  
    58                           </widget>  
      52                     <widget class="GtkImageMenuItem" id="spara1">  
      53                       <property name="visible">True</property>  
      54                       <property name="label">gtk-save</property>  
      55                       <property name="use_stock">True</property>  
      56                       <signal name="activate" handler="onFileSave" last_modification_time="Wed, 02 Feb 2005 16:02:00 GMT"/>  
      57                     </widget>  
    59 58                   </child>  
    60 59  
    61 60                   <child>  
    62                           <widget class="GtkImageMenuItem" id="spara_som1">  
    63                             <property name="visible">True</property>  
    64                             <property name="label">gtk-save-as</property>  
    65                             <property name="use_stock">True</property>  
    66                             <signal name="activate" handler="onFileSaveAs" last_modification_time="Wed, 02 Feb 2005 16:02:08 GMT"/>  
    67                           </widget>  
      61                     <widget class="GtkImageMenuItem" id="spara_som1">  
      62                       <property name="visible">True</property>  
      63                       <property name="label">gtk-save-as</property>  
      64                       <property name="use_stock">True</property>  
      65                       <signal name="activate" handler="onFileSaveAs" last_modification_time="Wed, 02 Feb 2005 16:02:08 GMT"/>  
      66                     </widget>  
    68 67                   </child>  
    69 68  
    70 69                   <child>  
    71                           <widget class="GtkImageMenuItem" id="close1">  
    72                             <property name="visible">True</property>  
    73                             <property name="label">gtk-close</property>  
    74                             <property name="use_stock">True</property>  
    75                             <signal name="activate" handler="onFileClose" last_modification_time="Sun, 06 Feb 2005 11:36:20 GMT"/>  
    76                           </widget>  
      70                     <widget class="GtkImageMenuItem" id="close1">  
      71                       <property name="visible">True</property>  
      72                       <property name="label">gtk-close</property>  
      73                       <property name="use_stock">True</property>  
      74                       <signal name="activate" handler="onFileClose" last_modification_time="Sun, 06 Feb 2005 11:36:20 GMT"/>  
      75                     </widget>  
    77 76                   </child>  
    78 77  
    79 78                   <child>  
    80                           <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">  
    81                             <property name="visible">True</property>  
    82                           </widget>  
      79                     <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">  
      80                       <property name="visible">True</property>  
      81                     </widget>  
    83 82                   </child>  
    84 83  
    85 84                   <child>  
    86                           <widget class="GtkImageMenuItem" id="avsluta1">  
    87                             <property name="visible">True</property>  
    88                             <property name="label">gtk-quit</property>  
    89                             <property name="use_stock">True</property>  
    90                             <signal name="activate" handler="onQuit" last_modification_time="Wed, 02 Feb 2005 15:50:06 GMT"/>  
    91                           </widget>  
    92                     </child>  
    93                   </widget>  
      85                     <widget class="GtkImageMenuItem" id="avsluta1">  
      86                       <property name="visible">True</property>  
      87                       <property name="label">gtk-quit</property>  
      88                       <property name="use_stock">True</property>  
      89                       <signal name="activate" handler="onQuit" last_modification_time="Wed, 02 Feb 2005 15:50:06 GMT"/>  
      90                     </widget>  
    94 91                   </child>  
    95 92                 </widget>  
      93               </child>  
      94             </widget>  
    96 95           </child>  
    97 96  
    98 97           <child>  
    99                   <widget class="GtkMenuItem" id="menuitem5">  
    100                     <property name="visible">True</property>  
    101                     <property name="label" translatable="yes">_Edit</property>  
    102                     <property name="use_underline">True</property>  
      98             <widget class="GtkMenuItem" id="menuitem5">  
      99               <property name="visible">True</property>  
      100               <property name="label" translatable="yes">_Edit</property>  
      101               <property name="use_underline">True</property>  
    103 102  
    104                     <child>  
      103               <child>  
    104 103                 <widget class="GtkMenu" id="menuitem5_menu">  
    105 104  
    106 105                   <child>  
    107                           <widget class="GtkMenuItem" id="undo1">  
    108                             <property name="visible">True</property>  
    109                             <property name="label" translatable="yes">Undo</property>  
    110                             <property name="use_underline">True</property>  
    111                             <signal name="activate" handler="onEditUndo" last_modification_time="Thu, 03 Feb 2005 20:45:01 GMT"/>  
    112                             <accelerator key="Z" modifiers="GDK_CONTROL_MASK" signal="activate"/>  
    113                           </widget>  
      106                     <widget class="GtkMenuItem" id="undo1">  
      107                       <property name="visible">True</property>  
      108                       <property name="label" translatable="yes">Undo</property>  
      109                       <property name="use_underline">True</property>  
      110                       <signal name="activate" handler="onEditUndo" last_modification_time="Thu, 03 Feb 2005 20:45:01 GMT"/>  
      111                       <accelerator key="Z" modifiers="GDK_CONTROL_MASK" signal="activate"/>  
      112                     </widget>  
    114 113                   </child>  
    115 114  
    116 115                   <child>  
    117                           <widget class="GtkMenuItem" id="redo1">  
    118                             <property name="visible">True</property>  
    119                             <property name="label" translatable="yes">Redo</property>  
    120                             <property name="use_underline">True</property>  
    121                             <signal name="activate" handler="onEditRedo" last_modification_time="Thu, 03 Feb 2005 20:46:30 GMT"/>  
    122                             <accelerator key="Y" modifiers="GDK_CONTROL_MASK" signal="activate"/>  
    123                           </widget>  
      116                     <widget class="GtkMenuItem" id="redo1">  
      117                       <property name="visible">True</property>  
      118                       <property name="label" translatable="yes">Redo</property>  
      119                       <property name="use_underline">True</property>  
      120                       <signal name="activate" handler="onEditRedo" last_modification_time="Thu, 03 Feb 2005 20:46:30 GMT"/>  
      121                       <accelerator key="Y" modifiers="GDK_CONTROL_MASK" signal="activate"/>  
      122                     </widget>  
    124 123                   </child>  
    125 124  
    126 125                   <child>  
    127                           <widget class="GtkSeparatorMenuItem" id="avskiljare3">  
    128                             <property name="visible">True</property>  
    129                           </widget>  
      126                     <widget class="GtkSeparatorMenuItem" id="avskiljare3">  
      127                       <property name="visible">True</property>  
      128                     </widget>  
    130 129                   </child>  
    131 130  
    132 131                   <child>  
    133                           <widget class="GtkImageMenuItem" id="klipp_ut1">  
    134                             <property name="visible">True</property>  
    135                             <property name="label">gtk-cut</property>  
    136                             <property name="use_stock">True</property>  
    137                             <signal name="activate" handler="onEditCut" last_modification_time="Wed, 02 Feb 2005 15:59:17 GMT"/>  
    138                           </widget>  
      132                     <widget class="GtkImageMenuItem" id="klipp_ut1">  
      133                       <property name="visible">True</property>  
      134                       <property name="label">gtk-cut</property>  
      135                       <property name="use_stock">True</property>  
      136                       <signal name="activate" handler="onEditCut" last_modification_time="Wed, 02 Feb 2005 15:59:17 GMT"/>  
      137                     </widget>  
    139 138                   </child>  
    140 139  
    141 140                   <child>  
    142                           <widget class="GtkImageMenuItem" id="kopiera1">  
    143                             <property name="visible">True</property>  
    144                             <property name="label">gtk-copy</property>  
    145                             <property name="use_stock">True</property>  
    146                             <signal name="activate" handler="onEditCopy" last_modification_time="Wed, 02 Feb 2005 15:59:30 GMT"/>  
    147                           </widget>  
      141                     <widget class="GtkImageMenuItem" id="kopiera1">  
      142                       <property name="visible">True</property>  
      143                       <property name="label">gtk-copy</property>  
      144                       <property name="use_stock">True</property>  
      145                       <signal name="activate" handler="onEditCopy" last_modification_time="Wed, 02 Feb 2005 15:59:30 GMT"/>  
      146                     </widget>  
    148 147                   </child>  
    149 148  
    150 149                   <child>  
    151                           <widget class="GtkImageMenuItem" id="klistra_in1">  
    152                             <property name="visible">True</property>  
    153                             <property name="label">gtk-paste</property>  
    154                             <property name="use_stock">True</property>  
    155                             <signal name="activate" handler="onEditPaste" last_modification_time="Wed, 02 Feb 2005 15:59:50 GMT"/>  
    156                           </widget>  
      150                     <widget class="GtkImageMenuItem" id="klistra_in1">  
      151                       <property name="visible">True</property>  
      152                       <property name="label">gtk-paste</property>  
      153                       <property name="use_stock">True</property>  
      154                       <signal name="activate" handler="onEditPaste" last_modification_time="Wed, 02 Feb 2005 15:59:50 GMT"/>  
      155                     </widget>  
    157 156                   </child>  
    158 157  
    159 158                   <child>  
    160                           <widget class="GtkSeparatorMenuItem" id="avskiljare6">  
    161                             <property name="visible">True</property>  
    162                           </widget>  
      159                     <widget class="GtkSeparatorMenuItem" id="avskiljare6">  
      160                       <property name="visible">True</property>  
      161                     </widget>  
    163 162                   </child>  
    164 163  
    165 164                   <child>  
    166                           <widget class="GtkImageMenuItem" id="search2">  
    167                             <property name="visible">True</property>  
    168                             <property name="label">gtk-find</property>  
    169                             <property name="use_stock">True</property>  
    170                             <signal name="activate" handler="onOpenSearchDialog" last_modification_time="Sat, 05 Feb 2005 18:19:46 GMT"/>  
    171                           </widget>  
      165                     <widget class="GtkImageMenuItem" id="search2">  
      166                       <property name="visible">True</property>  
      167                       <property name="label">gtk-find</property>  
      168                       <property name="use_stock">True</property>  
      169                       <signal name="activate" handler="onOpenSearchDialog" last_modification_time="Sat, 05 Feb 2005 18:19:46 GMT"/>  
      170                     </widget>  
    172 171                   </child>  
    173 172  
    174 173                   <child>  
    175                           <widget class="GtkImageMenuItem" id="replace1">  
    176                             <property name="visible">True</property>  
    177                             <property name="label">gtk-find-and-replace</property>  
    178                             <property name="use_stock">True</property>  
    179                             <signal name="activate" handler="onOpenReplaceDialog" last_modification_time="Sat, 05 Feb 2005 18:19:46 GMT"/>  
    180                           </widget>  
      174                     <widget class="GtkImageMenuItem" id="replace1">  
      175                       <property name="visible">True</property>  
      176                       <property name="label">gtk-find-and-replace</property>  
      177                       <property name="use_stock">True</property>  
      178                       <signal name="activate" handler="onOpenReplaceDialog" last_modification_time="Sat, 05 Feb 2005 18:19:46 GMT"/>  
      179                     </widget>  
    181 180                   </child>  
    182 181  
    183 182                   <child>  
    184                           <widget class="GtkSeparatorMenuItem" id="avskiljare14">  
    185                             <property name="visible">True</property>  
    186                           </widget>  
      183                     <widget class="GtkSeparatorMenuItem" id="avskiljare14">  
      184                       <property name="visible">True</property>  
      185                     </widget>  
    187 186                   </child>  
    188 187  
    189 188                   <child>  
    190                           <widget class="GtkMenuItem" id="batch_change_status1">  
    191                             <property name="visible">True</property>  
    192                             <property name="tooltip" translatable="yes">Open batch change dialog</property>  
    193                             <property name="label" translatable="yes">Batch change status</property>  
    194                             <property name="use_underline">True</property>  
    195                             <signal name="activate" handler="onOpenBatchChangeStatusDialog" last_modification_time="Tue, 28 Jun 2005 13:25:57 GMT"/>  
    196                           </widget>  
    197                     </child>  
    198                   </widget>  
      189                     <widget class="GtkMenuItem" id="batch_change_status1">  
      190                       <property name="visible">True</property>  
      191                       <property name="tooltip" translatable="yes">Open batch change dialog</property>  
      192                       <property name="label" translatable="yes">Batch change status</property>  
      193                       <property name="use_underline">True</property>  
      194                       <signal name="activate" handler="onOpenBatchChangeStatusDialog" last_modification_time="Tue, 28 Jun 2005 13:25:57 GMT"/>  
      195                     </widget>  
    199 196                   </child>  
    200 197                 </widget>  
      198               </child>  
      199             </widget>  
    201 200           </child>  
    202 201  
    203 202           <child>  
    204                   <widget class="GtkMenuItem" id="menuitem6">  
    205                     <property name="visible">True</property>  
    206                     <property name="label" translatable="yes">View</property>  
    207                     <property name="use_underline">True</property>  
      203             <widget class="GtkMenuItem" id="menuitem6">  
      204               <property name="visible">True</property>  
      205               <property name="label" translatable="yes">_View</property>  
      206               <property name="use_underline">True</property>  
    208 207  
    209                     <child>  
      208               <child>  
    209 208                 <widget class="GtkMenu" id="menuitem6_menu">  
    210 209  
    211 210                   <child>  
    212                           <widget class="GtkRadioMenuItem" id="mb_show_source">  
    213                             <property name="visible">True</property>  
    214                             <property name="label" translatable="yes">Source</property>  
    215                             <property name="use_underline">True</property>  
    216                             <property name="active">False</property>  
    217                             <signal name="activate" handler="onShowSource" last_modification_time="Wed, 18 May 2005 08:42:02 GMT"/>  
    218                           </widget>  
      211                     <widget class="GtkRadioMenuItem" id="mb_show_source">  
      212                       <property name="visible">True</property>  
      213                       <property name="label" translatable="yes">Source</property>  
      214                       <property name="use_underline">True</property>  
      215                       <property name="active">False</property>  
      216                       <signal name="activate" handler="onShowSource" last_modification_time="Wed, 18 May 2005 08:42:02 GMT"/>  
      217                     </widget>  
    219 218                   </child>  
    220 219  
    221 220                   <child>  
    222                           <widget class="GtkRadioMenuItem" id="mb_show_target">  
    223                             <property name="visible">True</property>  
    224                             <property name="label" translatable="yes">Target</property>  
    225                             <property name="use_underline">True</property>  
    226                             <property name="active">False</property>  
    227                             <property name="group">mb_show_source</property>  
    228                             <signal name="activate" handler="onShowTarget" last_modification_time="Wed, 18 May 2005 08:42:02 GMT"/>  
    229                           </widget>  
      221                     <widget class="GtkRadioMenuItem" id="mb_show_target">  
      222                       <property name="visible">True</property>  
      223                       <property name="label" translatable="yes">Target</property>  
      224                       <property name="use_underline">True</property>  
      225                       <property name="active">False</property>  
      226                       <property name="group">mb_show_source</property>  
      227                       <signal name="activate" handler="onShowTarget" last_modification_time="Wed, 18 May 2005 08:42:02 GMT"/>  
      228                     </widget>  
    230 229                   </child>  
    231 230  
    232 231                   <child>  
    233                           <widget class="GtkRadioMenuItem" id="mb_show_both">  
    234                             <property name="visible">True</property>  
    235                             <property name="label" translatable="yes">Both</property>  
    236                             <property name="use_underline">True</property>  
    237                             <property name="active">True</property>  
    238                             <property name="group">mb_show_source</property>  
    239                             <signal name="activate" handler="onShowBoth" last_modification_time="Wed, 18 May 2005 08:42:02 GMT"/>  
    240                           </widget>  
      232                     <widget class="GtkRadioMenuItem" id="mb_show_both">  
      233                       <property name="visible">True</property>  
      234                       <property name="label" translatable="yes">Both</property>  
      235                       <property name="use_underline">True</property>  
      236                       <property name="active">True</property>  
      237                       <property name="group">mb_show_source</property>  
      238                       <signal name="activate" handler="onShowBoth" last_modification_time="Wed, 18 May 2005 08:42:02 GMT"/>  
      239                     </widget>  
    241 240                   </child>  
    242 241  
    243 242                   <child>  
    244                           <widget class="GtkSeparatorMenuItem" id="avskiljare12">  
    245                             <property name="visible">True</property>  
    246                           </widget>  
      243                     <widget class="GtkSeparatorMenuItem" id="avskiljare12">  
      244                       <property name="visible">True</property>  
      245                     </widget>  
    247 246                   </child>  
    248 247  
    249 248                   <child>  
    250                           <widget class="GtkMenuItem" id="editor1">  
    251                             <property name="visible">True</property>  
    252                             <property name="label" translatable="yes">Editor</property>  
    253                             <property name="use_underline">True</property>  
      249                     <widget class="GtkMenuItem" id="editor1">  
      250                       <property name="visible">True</property>  
      251                       <property name="label" translatable="yes">Editor</property>  
      252                       <property name="use_underline">True</property>  
    254 253  
    255                             <child>  
      254                       <child>  
    255 254                         <widget class="GtkMenu" id="editor1_menu">  
    256 255  
    257 256                           <child>  
    258                                   <widget class="GtkMenuItem" id="editor_tags">  
    259                                     <property name="visible">True</property>  
    260                                     <property name="label" translatable="yes">Editor tags</property>  
    261                                     <property name="use_underline">True</property>  
      257                             <widget class="GtkMenuItem" id="editor_tags">  
      258                               <property name="visible">True</property>  
      259                               <property name="label" translatable="yes">Editor tags</property>  
      260                               <property name="use_underline">True</property>  
    262 261  
    263                                     <child>  
      262                               <child>  
    263 262                                 <widget class="GtkMenu" id="editor_tags_menu">  
    264 263  
    265 264                                   <child>  
    266                                           <widget class="GtkRadioMenuItem" id="mb_editor_formatter_full">  
    267                                             <property name="visible">True</property>  
    268                                             <property name="label" translatable="yes">Full+tagid</property>  
    269                                             <property name="use_underline">True</property>  
    270                                             <property name="active">False</property>  
    271                                             <signal name="activate" handler="onEditorFormatterFull" last_modification_time="Sat, 05 Feb 2005 00:51:06 GMT"/>  
    272                                             <accelerator key="F1" modifiers="GDK_CONTROL_MASK" signal="activate"/>  
    273                                           </widget>  
      265                                     <widget class="GtkRadioMenuItem" id="mb_editor_formatter_full">  
      266                                       <property name="visible">True</property>  
      267                                       <property name="label" translatable="yes">Full+tagid</property>  
      268                                       <property name="use_underline">True</property>  
      269                                       <property name="active">False</property>  
      270                                       <signal name="activate" handler="onEditorFormatterFull" last_modification_time="Sat, 05 Feb 2005 00:51:06 GMT"/>  
      271                                       <accelerator key="F1" modifiers="GDK_CONTROL_MASK" signal="activate"/>  
      272                                     </widget>  
    274 273                                   </child>  
    275 274  
    276 275                                   <child>  
    277                                           <widget class="GtkRadioMenuItem" id="mb_editor_formatter_medium">  
    278                                             <property name="visible">True</property>  
    279                                             <property name="label" translatable="yes">Full</property>  
    280                                             <property name="use_underline">True</property>  
    281                                             <property name="active">True</property>  
    282                                             <property name="group">mb_editor_formatter_full</property>  
    283                                             <signal name="activate" handler="onEditorFormatterMedium" last_modification_time="Sat, 05 Feb 2005 00:51:06 GMT"/>  
    284                                             <accelerator key="F2" modifiers="GDK_CONTROL_MASK" signal="activate"/>  
    285                                           </widget>  
      276                                     <widget class="GtkRadioMenuItem" id="mb_editor_formatter_medium">  
      277                                       <property name="visible">True</property>  
      278                                       <property name="label" translatable="yes">Full</property>  
      279                                       <property name="use_underline">True</property>  
      280                                       <property name="active">False</property>  
      281                                       <property name="group">mb_editor_formatter_full</property>  
      282                                       <signal name="activate" handler="onEditorFormatterMedium" last_modification_time="Sat, 05 Feb 2005 00:51:06 GMT"/>  
      283                                       <accelerator key="F2" modifiers="GDK_CONTROL_MASK" signal="activate"/>  
      284                                     </widget>  
    286 285                                   </child>  
    287 286  
    288 287                                   <child>  
    289                                           <widget class="GtkRadioMenuItem" id="mb_editor_formatter_minimal">  
    290                                             <property name="visible">True</property>  
    291                                             <property name="label" translatable="yes">Minimal</property>  
    292                                             <property name="use_underline">True</property>  
    293                                             <property name="active">False</property>  
    294                                             <property name="group">mb_editor_formatter_full</property>  
    295                                             <signal name="activate" handler="onEditorFormatterMinimal" last_modification_time="Sat, 05 Feb 2005 00:51:06 GMT"/>  
    296                                             <accelerator key="F3" modifiers="GDK_CONTROL_MASK" signal="activate"/>  
    297                                           </widget>  
    298                                     </child>  
    299                                   </widget>  
      288                                     <widget class="GtkRadioMenuItem" id="mb_editor_formatter_minimal">  
      289                                       <property name="visible">True</property>  
      290                                       <property name="label" translatable="yes">Minimal</property>  
      291                                       <property name="use_underline">True</property>  
      292                                       <property name="active">True</property>  
      293                                       <property name="group">mb_editor_formatter_full</property>  
      294                                       <signal name="activate" handler="onEditorFormatterMinimal" last_modification_time="Sat, 05 Feb 2005 00:51:06 GMT"/>