data/preferences.glade

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--*- mode: nxml -*-->
   4 <glade-interface>
   5   <widget class="GtkWindow" id="preferences">
   6     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   7     <property name="title" translatable="yes">Straw Preferences</property>
   8     <property name="default_width">480</property>
   9     <property name="default_height">400</property>
  10     <property name="destroy_with_parent">True</property>
  11     <property name="icon">straw.png</property>
  12     <signal name="delete_event" handler="on_preferences_delete_event"/>
  13     <child>
  14       <widget class="GtkNotebook" id="notebook1">
  15         <property name="visible">True</property>
  16         <property name="can_focus">True</property>
  17         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  18         <child>
  19           <widget class="GtkHBox" id="hbox8">
  20             <property name="visible">True</property>
  21             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  22             <property name="spacing">8</property>
  23             <child>
  24               <widget class="GtkVBox" id="vbox11">
  25                 <property name="visible">True</property>
  26                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  27                 <property name="spacing">12</property>
  28                 <child>
  29                   <widget class="GtkHBox" id="hbox10">
  30                     <property name="visible">True</property>
  31                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  32                     <property name="spacing">8</property>
  33                     <child>
  34                       <widget class="GtkVBox" id="vbox19">
  35                         <property name="visible">True</property>
  36                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  37                         <property name="spacing">12</property>
  38                         <child>
  39                           <widget class="GtkVBox" id="vbox27">
  40                             <property name="visible">True</property>
  41                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  42                             <property name="spacing">6</property>
  43                             <child>
  44                               <widget class="GtkLabel" id="label18">
  45                                 <property name="visible">True</property>
  46                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  47                                 <property name="xalign">0</property>
  48                                 <property name="label" translatable="yes">&lt;b&gt;Storage&lt;/b&gt;</property>
  49                                 <property name="use_markup">True</property>
  50                               </widget>
  51                             </child>
  52                             <child>
  53                               <widget class="GtkTable" id="table30">
  54                                 <property name="visible">True</property>
  55                                 <property name="n_rows">2</property>
  56                                 <property name="n_columns">2</property>
  57                                 <property name="column_spacing">12</property>
  58                                 <property name="row_spacing">6</property>
  59                                 <child>
  60                                   <widget class="GtkLabel" id="label237">
  61                                     <property name="visible">True</property>
  62                                     <property name="xalign">1</property>
  63                                     <property name="label" translatable="yes">_Number of articles per feed:</property>
  64                                     <property name="use_underline">True</property>
  65                                     <property name="wrap">True</property>
  66                                     <property name="mnemonic_widget">number_of_items_spin</property>
  67                                   </widget>
  68                                   <packing>
  69                                     <property name="top_attach">1</property>
  70                                     <property name="bottom_attach">2</property>
  71                                     <property name="x_options">GTK_FILL</property>
  72                                     <property name="y_options">GTK_FILL</property>
  73                                     <property name="x_padding">12</property>
  74                                   </packing>
  75                                 </child>
  76                                 <child>
  77                                   <widget class="GtkSpinButton" id="number_of_items_spin">
  78                                     <property name="visible">True</property>
  79                                     <property name="can_focus">True</property>
  80                                     <property name="adjustment">30 0 10000 1 10 10</property>
  81                                     <property name="climb_rate">1</property>
  82                                     <property name="numeric">True</property>
  83                                     <signal name="value_changed" handler="on_number_of_items_spin_value_changed"/>
  84                                   </widget>
  85                                   <packing>
  86                                     <property name="left_attach">1</property>
  87                                     <property name="right_attach">2</property>
  88                                     <property name="top_attach">1</property>
  89                                     <property name="bottom_attach">2</property>
  90                                     <property name="x_options"></property>
  91                                     <property name="y_options"></property>
  92                                   </packing>
  93                                 </child>
  94                                 <child>
  95                                   <widget class="GtkSpinButton" id="poll_frequency_spin">
  96                                     <property name="visible">True</property>
  97                                     <property name="can_focus">True</property>
  98                                     <property name="adjustment">100 0 1000 1 10 10</property>
  99                                     <property name="climb_rate">1</property>
 100                                     <signal name="value_changed" handler="on_poll_frequency_spin_value_changed"/>
 101                                   </widget>
 102                                   <packing>
 103                                     <property name="left_attach">1</property>
 104                                     <property name="right_attach">2</property>
 105                                     <property name="x_options"></property>
 106                                     <property name="y_options"></property>
 107                                   </packing>
 108                                 </child>
 109                                 <child>
 110                                   <widget class="GtkAlignment" id="alignment1">
 111                                     <property name="visible">True</property>
 112                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 113                                     <property name="xalign">0</property>
 114                                     <property name="xscale">0</property>
 115                                     <child>
 116                                       <widget class="GtkLabel" id="label2">
 117                                         <property name="visible">True</property>
 118                                         <property name="has_default">True</property>
 119                                         <property name="xalign">1</property>
 120                                         <property name="label" translatable="yes">_Refresh frequency:</property>
 121                                         <property name="use_underline">True</property>
 122                                         <property name="wrap">True</property>
 123                                         <property name="single_line_mode">True</property>
 124                                       </widget>
 125                                     </child>
 126                                   </widget>
 127                                   <packing>
 128                                     <property name="x_options">GTK_FILL</property>
 129                                     <property name="y_options">GTK_FILL</property>
 130                                     <property name="x_padding">12</property>
 131                                   </packing>
 132                                 </child>
 133                               </widget>
 134                               <packing>
 135                                 <property name="expand">False</property>
 136                                 <property name="fill">False</property>
 137                                 <property name="position">1</property>
 138                               </packing>
 139                             </child>
 140                           </widget>
 141                           <packing>
 142                             <property name="expand">False</property>
 143                             <property name="fill">False</property>
 144                           </packing>
 145                         </child>
 146                         <child>
 147                           <widget class="GtkVBox" id="vbox26">
 148                             <property name="visible">True</property>
 149                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 150                             <property name="spacing">6</property>
 151                             <child>
 152                               <widget class="GtkLabel" id="label17">
 153                                 <property name="visible">True</property>
 154                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 155                                 <property name="xalign">0</property>
 156                                 <property name="label" translatable="yes">&lt;b&gt;Viewing&lt;/b&gt;</property>
 157                                 <property name="use_markup">True</property>
 158                               </widget>
 159                             </child>
 160                             <child>
 161                               <widget class="GtkTable" id="table1">
 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="n_rows">2</property>
 165                                 <property name="n_columns">2</property>
 166                                 <property name="column_spacing">6</property>
 167                                 <property name="row_spacing">6</property>
 168                                 <child>
 169                                   <widget class="GtkLabel" id="label25">
 170                                     <property name="visible">True</property>
 171                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 172                                     <property name="xalign">1</property>
 173                                     <property name="yalign">0.20000000298023224</property>
 174                                     <property name="label" translatable="yes">_Location of new items :</property>
 175                                     <property name="use_underline">True</property>
 176                                   </widget>
 177                                   <packing>
 178                                     <property name="x_options">GTK_FILL</property>
 179                                     <property name="y_options"></property>
 180                                   </packing>
 181                                 </child>
 182                                 <child>
 183                                   <widget class="GtkLabel" id="label24">
 184                                     <property name="visible">True</property>
 185                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 186                                     <property name="xalign">1</property>
 187                                     <property name="yalign">0.20000000298023224</property>
 188                                     <property name="label" translatable="yes">_Item list layout :</property>
 189                                     <property name="use_underline">True</property>
 190                                   </widget>
 191                                   <packing>
 192                                     <property name="top_attach">1</property>
 193                                     <property name="bottom_attach">2</property>
 194                                     <property name="x_options">GTK_FILL</property>
 195                                     <property name="y_options"></property>
 196                                   </packing>
 197                                 </child>
 198                                 <child>
 199                                   <widget class="GtkVBox" id="vbox87">
 200                                     <property name="visible">True</property>
 201                                     <property name="spacing">6</property>
 202                                     <child>
 203                                       <widget class="GtkRadioButton" id="item_order_newest">
 204                                         <property name="visible">True</property>
 205                                         <property name="can_focus">True</property>
 206                                         <property name="label" translatable="yes">_top of the list</property>
 207                                         <property name="use_underline">True</property>
 208                                         <property name="response_id">0</property>
 209                                         <property name="active">True</property>
 210                                         <property name="draw_indicator">True</property>
 211                                         <signal name="toggled" handler="on_item_order_newest_toggled"/>
 212                                       </widget>
 213                                       <packing>
 214                                         <property name="expand">False</property>
 215                                         <property name="fill">False</property>
 216                                       </packing>
 217                                     </child>
 218                                     <child>
 219                                       <widget class="GtkRadioButton" id="item_order_oldest">
 220                                         <property name="visible">True</property>
 221                                         <property name="can_focus">True</property>
 222                                         <property name="label" translatable="yes">_bottom of the list</property>
 223                                         <property name="use_underline">True</property>
 224                                         <property name="response_id">0</property>
 225                                         <property name="draw_indicator">True</property>
 226                                         <property name="group">item_order_newest</property>
 227                                         <signal name="toggled" handler="on_item_order_oldest_toggled"/>
 228                                       </widget>
 229                                       <packing>
 230                                         <property name="expand">False</property>
 231                                         <property name="fill">False</property>
 232                                         <property name="position">1</property>
 233                                       </packing>
 234                                     </child>
 235                                   </widget>
 236                                   <packing>
 237                                     <property name="left_attach">1</property>
 238                                     <property name="right_attach">2</property>
 239                                   </packing>
 240                                 </child>
 241                                 <child>
 242                                   <widget class="GtkVBox" id="vbox25">
 243                                     <property name="visible">True</property>
 244                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 245                                     <property name="spacing">6</property>
 246                                     <child>
 247                                       <widget class="GtkRadioButton" id="vertical_layout">
 248                                         <property name="visible">True</property>
 249                                         <property name="can_focus">True</property>
 250                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 251                                         <property name="response_id">0</property>
 252                                         <property name="active">True</property>
 253                                         <property name="draw_indicator">True</property>
 254                                         <signal name="clicked" handler="on_vertical_layout_clicked"/>
 255                                         <child>
 256                                           <widget class="GtkHBox" id="hbox13">
 257                                             <property name="visible">True</property>
 258                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 259                                             <property name="spacing">3</property>
 260                                             <child>
 261                                               <widget class="GtkImage" id="image6">
 262                                                 <property name="visible">True</property>
 263                                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 264                                                 <property name="stock">gtk-missing-image</property>
 265                                               </widget>
 266                                             </child>
 267                                             <child>
 268                                               <widget class="GtkLabel" id="label22">
 269                                                 <property name="visible">True</property>
 270                                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 271                                                 <property name="label" translatable="yes">(on top)</property>
 272                                               </widget>
 273                                               <packing>
 274                                                 <property name="expand">False</property>
 275                                                 <property name="fill">False</property>
 276                                                 <property name="position">1</property>
 277                                               </packing>
 278                                             </child>
 279                                           </widget>
 280                                         </child>
 281                                       </widget>
 282                                       <packing>
 283                                         <property name="expand">False</property>
 284                                       </packing>
 285                                     </child>
 286                                     <child>
 287                                       <widget class="GtkRadioButton" id="horizontal_layout">
 288                                         <property name="visible">True</property>
 289                                         <property name="can_focus">True</property>
 290                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 291                                         <property name="response_id">0</property>
 292                                         <property name="active">True</property>
 293                                         <property name="draw_indicator">True</property>
 294                                         <property name="group">vertical_layout</property>
 295                                         <signal name="clicked" handler="on_horizontal_layout_clicked"/>
 296                                         <child>
 297                                           <widget class="GtkHBox" id="hbox14">
 298                                             <property name="visible">True</property>
 299                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 300                                             <property name="spacing">3</property>
 301                                             <child>
 302                                               <widget class="GtkImage" id="image7">
 303                                                 <property name="visible">True</property>
 304                                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 305                                                 <property name="stock">gtk-missing-image</property>
 306                                               </widget>
 307                                             </child>
 308                                             <child>
 309                                               <widget class="GtkLabel" id="label23">
 310                                                 <property name="visible">True</property>
 311                                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 312                                                 <property name="label" translatable="yes">(on the right)</property>
 313                                               </widget>
 314                                               <packing>
 315                                                 <property name="expand">False</property>
 316                                                 <property name="fill">False</property>
 317                                                 <property name="position">1</property>
 318                                               </packing>
 319                                             </child>
 320                                           </widget>
 321                                         </child>
 322                                       </widget>
 323                                       <packing>
 324                                         <property name="expand">False</property>
 325                                         <property name="position">1</property>
 326                                       </packing>
 327                                     </child>
 328                                   </widget>
 329                                   <packing>
 330                                     <property name="left_attach">1</property>
 331                                     <property name="right_attach">2</property>
 332                                     <property name="top_attach">1</property>
 333                                     <property name="bottom_attach">2</property>
 334                                   </packing>
 335                                 </child>
 336                               </widget>
 337                               <packing>
 338                                 <property name="position">1</property>
 339                               </packing>
 340                             </child>
 341                           </widget>
 342                           <packing>
 343                             <property name="expand">False</property>
 344                             <property name="fill">False</property>
 345                             <property name="position">1</property>
 346                           </packing>
 347                         </child>
 348                         <child>
 349                           <widget class="GtkLabel" id="label19">
 350                             <property name="visible">True</property>
 351                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 352                             <property name="xalign">0</property>
 353                             <property name="label" translatable="yes">&lt;b&gt;Web Browser&lt;/b&gt;</property>
 354                             <property name="use_markup">True</property>
 355                           </widget>
 356                           <packing>
 357                             <property name="expand">False</property>
 358                             <property name="fill">False</property>
 359                             <property name="position">2</property>
 360                           </packing>
 361                         </child>
 362                         <child>
 363                           <widget class="GtkVBox" id="vbox88">
 364                             <property name="visible">True</property>
 365                             <property name="spacing">2</property>
 366                             <child>
 367                               <widget class="GtkHBox" id="hbox136">
 368                                 <property name="visible">True</property>
 369                                 <property name="border_width">7</property>
 370                                 <property name="spacing">6</property>
 371                                 <child>
 372                                   <widget class="GtkCheckButton" id="prefs_browser_setting">
 373                                     <property name="visible">True</property>
 374                                     <property name="can_focus">True</property>
 375                                     <property name="label" translatable="yes">_Override preferred browser setting:</property>
 376                                     <property name="use_underline">True</property>
 377                                     <property name="response_id">0</property>
 378                                     <property name="draw_indicator">True</property>
 379                                     <signal name="toggled" handler="on_prefs_browser_setting_toggled"/>
 380                                   </widget>
 381                                   <packing>
 382                                     <property name="expand">False</property>
 383                                     <property name="fill">False</property>
 384                                   </packing>
 385                                 </child>
 386                                 <child>
 387                                   <widget class="GtkEntry" id="prefs_browser_setting_entry">
 388                                     <property name="visible">True</property>
 389                                     <property name="sensitive">False</property>
 390                                     <property name="can_focus">True</property>
 391                                     <property name="text" translatable="yes"> </property>
 392                                     <signal name="focus_out_event" handler="on_prefs_browser_setting_entry_focus_out_event"/>
 393                                   </widget>
 394                                   <packing>
 395                                     <property name="position">1</property>
 396                                   </packing>
 397                                 </child>
 398                               </widget>
 399                             </child>
 400                             <child>
 401                               <widget class="GtkHBox" id="hbox137">
 402                                 <property name="visible">True</property>
 403                                 <child>
 404                                   <widget class="GtkLabel" id="label240">
 405                                     <property name="visible">True</property>
 406                                   </widget>
 407                                   <packing>
 408                                     <property name="fill">False</property>
 409                                   </packing>
 410                                 </child>
 411                                 <child>
 412                                   <widget class="GtkLabel" id="label239">
 413                                     <property name="visible">True</property>
 414                                     <property name="xalign">1</property>
 415                                     <property name="label" translatable="yes">&lt;small&gt;&lt;i&gt;(example: &lt;b&gt;epiphany %s&lt;/b&gt;)&lt;/i&gt;&lt;/small&gt;</property>
 416                                     <property name="use_markup">True</property>
 417                                     <property name="wrap">True</property>
 418                                   </widget>
 419                                   <packing>
 420                                     <property name="position">1</property>
 421                                   </packing>
 422                                 </child>
 423                               </widget>
 424                               <packing>
 425                                 <property name="position">1</property>
 426                               </packing>
 427                             </child>
 428                           </widget>
 429                           <packing>
 430                             <property name="expand">False</property>
 431                             <property name="position">3</property>
 432                           </packing>
 433                         </child>
 434                       </widget>
 435                     </child>
 436                   </widget>
 437                   <packing>
 438                     <property name="padding">8</property>
 439                   </packing>
 440                 </child>
 441                 <child>
 442                   <widget class="GtkHButtonBox" id="hbuttonbox2">
 443                     <property name="visible">True</property>
 444                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 445                     <property name="spacing">6</property>
 446                     <property name="layout_style">GTK_BUTTONBOX_END</property>
 447                     <child>
 448                       <widget class="GtkButton" id="close_button">
 449                         <property name="visible">True</property>
 450                         <property name="can_focus">True</property>
 451                         <property name="receives_default">True</property>
 452                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 453                         <property name="label" translatable="yes">gtk-close</property>
 454                         <property name="use_stock">True</property>
 455                         <property name="response_id">0</property>
 456                         <signal name="clicked" handler="on_close_button_clicked"/>
 457                       </widget>
 458                     </child>
 459                   </widget>
 460                   <packing>
 461                     <property name="expand">False</property>
 462                     <property name="fill">False</property>
 463                     <property name="padding">8</property>
 464                     <property name="position">1</property>
 465                   </packing>
 466                 </child>
 467               </widget>
 468               <packing>
 469                 <property name="padding">8</property>
 470               </packing>
 471             </child>
 472           </widget>
 473         </child>
 474         <child>
 475           <widget class="GtkLabel" id="label1">
 476             <property name="visible">True</property>
 477             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 478             <property name="label" translatable="yes">General</property>
 479           </widget>
 480           <packing>
 481             <property name="type">tab</property>
 482             <property name="tab_fill">False</property>
 483           </packing>
 484         </child>
 485         <child>
 486           <placeholder/>
 487         </child>
 488         <child>
 489           <widget class="GtkLabel" id="label3">
 490             <property name="visible">True</property>
 491             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 492             <property name="label" translatable="yes">View</property>
 493           </widget>
 494           <packing>
 495             <property name="type">tab</property>
 496             <property name="position">1</property>
 497             <property name="tab_fill">False</property>
 498           </packing>
 499         </child>
 500       </widget>
 501     </child>
 502   </widget>
 503 </glade-interface>