mail-notification

Fork of Jean-Yves Lefort's mail-notification, a tray icon to notify of new mail
git clone https://code.djc.id.au/git/mail-notification/

ui/mailbox-properties-dialog.glade (22940B) - raw

      1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
      2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
      3 <!--*- mode: xml -*-->
      4 <glade-interface>
      5   <widget class="GtkDialog" id="dialog">
      6     <property name="border_width">5</property>
      7     <property name="resizable">False</property>
      8     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
      9     <property name="has_separator">False</property>
     10     <child internal-child="vbox">
     11       <widget class="GtkVBox" id="dialog-vbox1">
     12         <property name="visible">True</property>
     13         <property name="spacing">2</property>
     14         <child>
     15           <widget class="GtkNotebook" id="notebook">
     16             <property name="visible">True</property>
     17             <property name="border_width">5</property>
     18             <child>
     19               <widget class="GtkVBox" id="general_vbox">
     20                 <property name="visible">True</property>
     21                 <property name="border_width">12</property>
     22                 <property name="spacing">18</property>
     23                 <child>
     24                   <widget class="GtkVBox" id="vbox2">
     25                     <property name="visible">True</property>
     26                     <property name="spacing">6</property>
     27                     <child>
     28                       <widget class="GtkLabel" id="label2">
     29                         <property name="visible">True</property>
     30                         <property name="xalign">0</property>
     31                         <property name="label" translatable="yes">&lt;span weight="bold"&gt;General&lt;/span&gt;</property>
     32                         <property name="use_markup">True</property>
     33                       </widget>
     34                     </child>
     35                     <child>
     36                       <widget class="GtkAlignment" id="alignment1">
     37                         <property name="visible">True</property>
     38                         <property name="left_padding">12</property>
     39                         <child>
     40                           <widget class="GtkVBox" id="vbox3">
     41                             <property name="visible">True</property>
     42                             <property name="spacing">6</property>
     43                             <child>
     44                               <widget class="GtkHBox" id="hbox1">
     45                                 <property name="visible">True</property>
     46                                 <property name="spacing">12</property>
     47                                 <child>
     48                                   <widget class="GtkLabel" id="type_label">
     49                                     <property name="visible">True</property>
     50                                     <property name="xalign">0</property>
     51                                     <property name="label" translatable="yes">Mailbox _type:</property>
     52                                     <property name="use_underline">True</property>
     53                                     <property name="mnemonic_widget">type_combo</property>
     54                                   </widget>
     55                                   <packing>
     56                                     <property name="expand">False</property>
     57                                     <property name="fill">False</property>
     58                                   </packing>
     59                                 </child>
     60                                 <child>
     61                                   <widget class="GtkComboBox" id="type_combo">
     62                                     <property name="visible">True</property>
     63                                     <signal name="changed" handler="type_changed_h"/>
     64                                   </widget>
     65                                   <packing>
     66                                     <property name="position">1</property>
     67                                   </packing>
     68                                 </child>
     69                               </widget>
     70                             </child>
     71                           </widget>
     72                         </child>
     73                       </widget>
     74                       <packing>
     75                         <property name="position">1</property>
     76                       </packing>
     77                     </child>
     78                   </widget>
     79                   <packing>
     80                     <property name="expand">False</property>
     81                     <property name="fill">False</property>
     82                   </packing>
     83                 </child>
     84               </widget>
     85             </child>
     86             <child>
     87               <widget class="GtkLabel" id="label1">
     88                 <property name="visible">True</property>
     89                 <property name="label" translatable="yes">General</property>
     90               </widget>
     91               <packing>
     92                 <property name="type">tab</property>
     93                 <property name="tab_fill">False</property>
     94               </packing>
     95             </child>
     96             <child>
     97               <widget class="GtkVBox" id="vbox1">
     98                 <property name="visible">True</property>
     99                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    100                 <property name="border_width">12</property>
    101                 <property name="spacing">18</property>
    102                 <child>
    103                   <widget class="GtkVBox" id="vbox4">
    104                     <property name="visible">True</property>
    105                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    106                     <property name="spacing">6</property>
    107                     <child>
    108                       <widget class="GtkLabel" id="label4">
    109                         <property name="visible">True</property>
    110                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    111                         <property name="xalign">0</property>
    112                         <property name="label" translatable="yes">&lt;span weight="bold"&gt;Mailbox Name&lt;/span&gt;</property>
    113                         <property name="use_markup">True</property>
    114                       </widget>
    115                     </child>
    116                     <child>
    117                       <widget class="GtkAlignment" id="alignment3">
    118                         <property name="visible">True</property>
    119                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    120                         <property name="left_padding">12</property>
    121                         <child>
    122                           <widget class="GtkVBox" id="vbox5">
    123                             <property name="visible">True</property>
    124                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    125                             <property name="spacing">6</property>
    126                             <child>
    127                               <widget class="GtkHBox" id="hbox2">
    128                                 <property name="visible">True</property>
    129                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    130                                 <property name="spacing">12</property>
    131                                 <child>
    132                                   <widget class="GtkRadioButton" id="name_default_radio">
    133                                     <property name="visible">True</property>
    134                                     <property name="can_focus">True</property>
    135                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    136                                     <property name="label" translatable="yes">_Default</property>
    137                                     <property name="use_underline">True</property>
    138                                     <property name="response_id">0</property>
    139                                     <property name="active">True</property>
    140                                     <property name="draw_indicator">True</property>
    141                                     <signal name="toggled" handler="name_toggled_h"/>
    142                                   </widget>
    143                                   <packing>
    144                                     <property name="expand">False</property>
    145                                     <property name="fill">False</property>
    146                                   </packing>
    147                                 </child>
    148                                 <child>
    149                                   <widget class="GtkLabel" id="name_default_label">
    150                                     <property name="visible">True</property>
    151                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    152                                     <property name="xalign">0</property>
    153                                   </widget>
    154                                   <packing>
    155                                     <property name="position">1</property>
    156                                   </packing>
    157                                 </child>
    158                               </widget>
    159                             </child>
    160                             <child>
    161                               <widget class="GtkHBox" id="hbox5">
    162                                 <property name="visible">True</property>
    163                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    164                                 <property name="spacing">12</property>
    165                                 <child>
    166                                   <widget class="GtkRadioButton" id="name_other_radio">
    167                                     <property name="visible">True</property>
    168                                     <property name="can_focus">True</property>
    169                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    170                                     <property name="label" translatable="yes">_Other:</property>
    171                                     <property name="use_underline">True</property>
    172                                     <property name="response_id">0</property>
    173                                     <property name="active">True</property>
    174                                     <property name="draw_indicator">True</property>
    175                                     <property name="group">name_default_radio</property>
    176                                     <signal name="toggled" handler="name_toggled_h"/>
    177                                   </widget>
    178                                   <packing>
    179                                     <property name="expand">False</property>
    180                                     <property name="fill">False</property>
    181                                   </packing>
    182                                 </child>
    183                                 <child>
    184                                   <widget class="GtkEntry" id="name_entry">
    185                                     <property name="visible">True</property>
    186                                     <property name="can_focus">True</property>
    187                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    188                                     <property name="activates_default">True</property>
    189                                   </widget>
    190                                   <packing>
    191                                     <property name="position">1</property>
    192                                   </packing>
    193                                 </child>
    194                               </widget>
    195                               <packing>
    196                                 <property name="position">1</property>
    197                               </packing>
    198                             </child>
    199                           </widget>
    200                         </child>
    201                       </widget>
    202                       <packing>
    203                         <property name="position">1</property>
    204                       </packing>
    205                     </child>
    206                   </widget>
    207                   <packing>
    208                     <property name="expand">False</property>
    209                     <property name="fill">False</property>
    210                   </packing>
    211                 </child>
    212                 <child>
    213                   <widget class="GtkVBox" id="delay_vbox">
    214                     <property name="visible">True</property>
    215                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    216                     <property name="spacing">6</property>
    217                     <child>
    218                       <widget class="GtkLabel" id="label5">
    219                         <property name="visible">True</property>
    220                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    221                         <property name="xalign">0</property>
    222                         <property name="label" translatable="yes">&lt;span weight="bold"&gt;Delay Between Mail Checks&lt;/span&gt;</property>
    223                         <property name="use_markup">True</property>
    224                       </widget>
    225                     </child>
    226                     <child>
    227                       <widget class="GtkAlignment" id="alignment4">
    228                         <property name="visible">True</property>
    229                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    230                         <property name="left_padding">12</property>
    231                         <child>
    232                           <widget class="GtkVBox" id="vbox7">
    233                             <property name="visible">True</property>
    234                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    235                             <property name="spacing">6</property>
    236                             <child>
    237                               <widget class="GtkHBox" id="hbox3">
    238                                 <property name="visible">True</property>
    239                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    240                                 <property name="spacing">12</property>
    241                                 <child>
    242                                   <widget class="GtkRadioButton" id="delay_default_radio">
    243                                     <property name="visible">True</property>
    244                                     <property name="can_focus">True</property>
    245                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    246                                     <property name="label" translatable="yes">D_efault</property>
    247                                     <property name="use_underline">True</property>
    248                                     <property name="response_id">0</property>
    249                                     <property name="active">True</property>
    250                                     <property name="draw_indicator">True</property>
    251                                     <signal name="toggled" handler="delay_toggled_h"/>
    252                                   </widget>
    253                                   <packing>
    254                                     <property name="expand">False</property>
    255                                     <property name="fill">False</property>
    256                                   </packing>
    257                                 </child>
    258                                 <child>
    259                                   <widget class="GtkLabel" id="delay_default_label">
    260                                     <property name="visible">True</property>
    261                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    262                                     <property name="xalign">0</property>
    263                                   </widget>
    264                                   <packing>
    265                                     <property name="position">1</property>
    266                                   </packing>
    267                                 </child>
    268                               </widget>
    269                             </child>
    270                             <child>
    271                               <widget class="GtkHBox" id="hbox6">
    272                                 <property name="visible">True</property>
    273                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    274                                 <property name="spacing">12</property>
    275                                 <child>
    276                                   <widget class="GtkAlignment" id="alignment5">
    277                                     <property name="visible">True</property>
    278                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    279                                     <property name="yalign">0</property>
    280                                     <property name="yscale">0</property>
    281                                     <child>
    282                                       <widget class="GtkRadioButton" id="delay_other_radio">
    283                                         <property name="visible">True</property>
    284                                         <property name="can_focus">True</property>
    285                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    286                                         <property name="label" translatable="yes">O_ther:</property>
    287                                         <property name="use_underline">True</property>
    288                                         <property name="response_id">0</property>
    289                                         <property name="active">True</property>
    290                                         <property name="draw_indicator">True</property>
    291                                         <property name="group">delay_default_radio</property>
    292                                         <signal name="toggled" handler="delay_toggled_h"/>
    293                                       </widget>
    294                                     </child>
    295                                   </widget>
    296                                   <packing>
    297                                     <property name="expand">False</property>
    298                                     <property name="fill">False</property>
    299                                   </packing>
    300                                 </child>
    301                                 <child>
    302                                   <widget class="GtkHScale" id="delay_scale">
    303                                     <property name="visible">True</property>
    304                                     <property name="can_focus">True</property>
    305                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    306                                     <property name="adjustment">0 0 100 1 10 0</property>
    307                                     <property name="digits">0</property>
    308                                     <property name="value_pos">GTK_POS_BOTTOM</property>
    309                                     <signal name="format_value" handler="delay_format_value_h"/>
    310                                   </widget>
    311                                   <packing>
    312                                     <property name="position">1</property>
    313                                   </packing>
    314                                 </child>
    315                               </widget>
    316                               <packing>
    317                                 <property name="position">1</property>
    318                               </packing>
    319                             </child>
    320                           </widget>
    321                         </child>
    322                       </widget>
    323                       <packing>
    324                         <property name="position">1</property>
    325                       </packing>
    326                     </child>
    327                   </widget>
    328                   <packing>
    329                     <property name="expand">False</property>
    330                     <property name="fill">False</property>
    331                     <property name="position">1</property>
    332                   </packing>
    333                 </child>
    334               </widget>
    335               <packing>
    336                 <property name="position">1</property>
    337               </packing>
    338             </child>
    339             <child>
    340               <widget class="GtkLabel" id="label3">
    341                 <property name="visible">True</property>
    342                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    343                 <property name="label" translatable="yes">Details</property>
    344               </widget>
    345               <packing>
    346                 <property name="type">tab</property>
    347                 <property name="position">1</property>
    348                 <property name="tab_fill">False</property>
    349               </packing>
    350             </child>
    351           </widget>
    352           <packing>
    353             <property name="position">1</property>
    354           </packing>
    355         </child>
    356         <child internal-child="action_area">
    357           <widget class="GtkHButtonBox" id="dialog-action_area1">
    358             <property name="visible">True</property>
    359             <property name="layout_style">GTK_BUTTONBOX_END</property>
    360             <child>
    361               <placeholder/>
    362             </child>
    363             <child>
    364               <placeholder/>
    365             </child>
    366             <child>
    367               <placeholder/>
    368             </child>
    369           </widget>
    370           <packing>
    371             <property name="expand">False</property>
    372             <property name="pack_type">GTK_PACK_END</property>
    373           </packing>
    374         </child>
    375       </widget>
    376     </child>
    377   </widget>
    378 </glade-interface>