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"><span weight="bold">General</span></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"><span weight="bold">Mailbox Name</span></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"><span weight="bold">Delay Between Mail Checks</span></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>