Annotation of sbbs/src/sbbs3/gtkuserlist/gtkuserlist.glade, revision 1.1.1.1

1.1       root        1: <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
                      2: <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
                      3: 
                      4: <glade-interface>
                      5: 
                      6: <widget class="GtkWindow" id="UserListWindow">
                      7:   <property name="visible">True</property>
                      8:   <property name="title" translatable="yes">User List</property>
                      9:   <property name="type">GTK_WINDOW_TOPLEVEL</property>
                     10:   <property name="window_position">GTK_WIN_POS_NONE</property>
                     11:   <property name="modal">True</property>
                     12:   <property name="resizable">True</property>
                     13:   <property name="destroy_with_parent">False</property>
                     14:   <property name="icon_name">gtk-index</property>
                     15:   <property name="decorated">True</property>
                     16:   <property name="skip_taskbar_hint">False</property>
                     17:   <property name="skip_pager_hint">False</property>
                     18:   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
                     19:   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
                     20:   <property name="focus_on_map">True</property>
                     21:   <property name="urgency_hint">False</property>
                     22:   <signal name="destroy" handler="gtk_main_quit" last_modification_time="Sun, 14 May 2006 06:40:44 GMT"/>
                     23: 
                     24:   <child>
                     25:     <widget class="GtkVBox" id="vbox4">
                     26:       <property name="visible">True</property>
                     27:       <property name="homogeneous">False</property>
                     28:       <property name="spacing">0</property>
                     29: 
                     30:       <child>
                     31:        <widget class="GtkHBox" id="hbox21">
                     32:          <property name="visible">True</property>
                     33:          <property name="homogeneous">False</property>
                     34:          <property name="spacing">0</property>
                     35: 
                     36:          <child>
                     37:            <widget class="GtkLabel" id="label24">
                     38:              <property name="visible">True</property>
                     39:              <property name="label" translatable="yes">ARS Filter</property>
                     40:              <property name="use_underline">False</property>
                     41:              <property name="use_markup">False</property>
                     42:              <property name="justify">GTK_JUSTIFY_LEFT</property>
                     43:              <property name="wrap">False</property>
                     44:              <property name="selectable">False</property>
                     45:              <property name="xalign">0.5</property>
                     46:              <property name="yalign">0.5</property>
                     47:              <property name="xpad">10</property>
                     48:              <property name="ypad">0</property>
                     49:              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
                     50:              <property name="width_chars">-1</property>
                     51:              <property name="single_line_mode">False</property>
                     52:              <property name="angle">0</property>
                     53:            </widget>
                     54:            <packing>
                     55:              <property name="padding">0</property>
                     56:              <property name="expand">False</property>
                     57:              <property name="fill">False</property>
                     58:            </packing>
                     59:          </child>
                     60: 
                     61:          <child>
                     62:            <widget class="GtkEntry" id="eArsFilter">
                     63:              <property name="visible">True</property>
                     64:              <property name="can_focus">True</property>
                     65:              <property name="editable">True</property>
                     66:              <property name="visibility">True</property>
                     67:              <property name="max_length">0</property>
                     68:              <property name="text" translatable="yes"></property>
                     69:              <property name="has_frame">True</property>
                     70:              <property name="invisible_char">*</property>
                     71:              <property name="activates_default">False</property>
                     72:            </widget>
                     73:            <packing>
                     74:              <property name="padding">0</property>
                     75:              <property name="expand">True</property>
                     76:              <property name="fill">True</property>
                     77:            </packing>
                     78:          </child>
                     79: 
                     80:          <child>
                     81:            <widget class="GtkButton" id="bApplyFilter">
                     82:              <property name="visible">True</property>
                     83:              <property name="can_focus">True</property>
                     84:              <property name="relief">GTK_RELIEF_NORMAL</property>
                     85:              <property name="focus_on_click">True</property>
                     86:              <signal name="clicked" handler="apply_ars_filter" last_modification_time="Sun, 14 May 2006 06:47:52 GMT"/>
                     87: 
                     88:              <child>
                     89:                <widget class="GtkAlignment" id="alignment8">
                     90:                  <property name="visible">True</property>
                     91:                  <property name="xalign">0.5</property>
                     92:                  <property name="yalign">0.5</property>
                     93:                  <property name="xscale">0</property>
                     94:                  <property name="yscale">0</property>
                     95:                  <property name="top_padding">0</property>
                     96:                  <property name="bottom_padding">0</property>
                     97:                  <property name="left_padding">0</property>
                     98:                  <property name="right_padding">0</property>
                     99: 
                    100:                  <child>
                    101:                    <widget class="GtkHBox" id="hbox22">
                    102:                      <property name="visible">True</property>
                    103:                      <property name="homogeneous">False</property>
                    104:                      <property name="spacing">2</property>
                    105: 
                    106:                      <child>
                    107:                        <widget class="GtkImage" id="image1362">
                    108:                          <property name="visible">True</property>
                    109:                          <property name="stock">gtk-apply</property>
                    110:                          <property name="icon_size">4</property>
                    111:                          <property name="xalign">0.5</property>
                    112:                          <property name="yalign">0.5</property>
                    113:                          <property name="xpad">0</property>
                    114:                          <property name="ypad">0</property>
                    115:                        </widget>
                    116:                        <packing>
                    117:                          <property name="padding">0</property>
                    118:                          <property name="expand">False</property>
                    119:                          <property name="fill">False</property>
                    120:                        </packing>
                    121:                      </child>
                    122: 
                    123:                      <child>
                    124:                        <widget class="GtkLabel" id="label25">
                    125:                          <property name="visible">True</property>
                    126:                          <property name="label" translatable="yes">Apply</property>
                    127:                          <property name="use_underline">True</property>
                    128:                          <property name="use_markup">False</property>
                    129:                          <property name="justify">GTK_JUSTIFY_LEFT</property>
                    130:                          <property name="wrap">False</property>
                    131:                          <property name="selectable">False</property>
                    132:                          <property name="xalign">0.5</property>
                    133:                          <property name="yalign">0.5</property>
                    134:                          <property name="xpad">0</property>
                    135:                          <property name="ypad">0</property>
                    136:                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
                    137:                          <property name="width_chars">-1</property>
                    138:                          <property name="single_line_mode">False</property>
                    139:                          <property name="angle">0</property>
                    140:                        </widget>
                    141:                        <packing>
                    142:                          <property name="padding">0</property>
                    143:                          <property name="expand">False</property>
                    144:                          <property name="fill">False</property>
                    145:                        </packing>
                    146:                      </child>
                    147:                    </widget>
                    148:                  </child>
                    149:                </widget>
                    150:              </child>
                    151:            </widget>
                    152:            <packing>
                    153:              <property name="padding">0</property>
                    154:              <property name="expand">False</property>
                    155:              <property name="fill">False</property>
                    156:            </packing>
                    157:          </child>
                    158: 
                    159:          <child>
                    160:            <widget class="GtkButton" id="button9">
                    161:              <property name="visible">True</property>
                    162:              <property name="can_focus">True</property>
                    163:              <property name="relief">GTK_RELIEF_NORMAL</property>
                    164:              <property name="focus_on_click">True</property>
                    165:              <signal name="clicked" handler="clear_ars_filter" last_modification_time="Sun, 14 May 2006 06:48:02 GMT"/>
                    166: 
                    167:              <child>
                    168:                <widget class="GtkAlignment" id="alignment9">
                    169:                  <property name="visible">True</property>
                    170:                  <property name="xalign">0.5</property>
                    171:                  <property name="yalign">0.5</property>
                    172:                  <property name="xscale">0</property>
                    173:                  <property name="yscale">0</property>
                    174:                  <property name="top_padding">0</property>
                    175:                  <property name="bottom_padding">0</property>
                    176:                  <property name="left_padding">0</property>
                    177:                  <property name="right_padding">0</property>
                    178: 
                    179:                  <child>
                    180:                    <widget class="GtkHBox" id="hbox23">
                    181:                      <property name="visible">True</property>
                    182:                      <property name="homogeneous">False</property>
                    183:                      <property name="spacing">2</property>
                    184: 
                    185:                      <child>
                    186:                        <widget class="GtkImage" id="image1363">
                    187:                          <property name="visible">True</property>
                    188:                          <property name="stock">gtk-clear</property>
                    189:                          <property name="icon_size">4</property>
                    190:                          <property name="xalign">0.5</property>
                    191:                          <property name="yalign">0.5</property>
                    192:                          <property name="xpad">0</property>
                    193:                          <property name="ypad">0</property>
                    194:                        </widget>
                    195:                        <packing>
                    196:                          <property name="padding">0</property>
                    197:                          <property name="expand">False</property>
                    198:                          <property name="fill">False</property>
                    199:                        </packing>
                    200:                      </child>
                    201: 
                    202:                      <child>
                    203:                        <widget class="GtkLabel" id="label26">
                    204:                          <property name="visible">True</property>
                    205:                          <property name="label" translatable="yes">Clear</property>
                    206:                          <property name="use_underline">True</property>
                    207:                          <property name="use_markup">False</property>
                    208:                          <property name="justify">GTK_JUSTIFY_LEFT</property>
                    209:                          <property name="wrap">False</property>
                    210:                          <property name="selectable">False</property>
                    211:                          <property name="xalign">0.5</property>
                    212:                          <property name="yalign">0.5</property>
                    213:                          <property name="xpad">0</property>
                    214:                          <property name="ypad">0</property>
                    215:                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
                    216:                          <property name="width_chars">-1</property>
                    217:                          <property name="single_line_mode">False</property>
                    218:                          <property name="angle">0</property>
                    219:                        </widget>
                    220:                        <packing>
                    221:                          <property name="padding">0</property>
                    222:                          <property name="expand">False</property>
                    223:                          <property name="fill">False</property>
                    224:                        </packing>
                    225:                      </child>
                    226:                    </widget>
                    227:                  </child>
                    228:                </widget>
                    229:              </child>
                    230:            </widget>
                    231:            <packing>
                    232:              <property name="padding">0</property>
                    233:              <property name="expand">False</property>
                    234:              <property name="fill">False</property>
                    235:            </packing>
                    236:          </child>
                    237:        </widget>
                    238:        <packing>
                    239:          <property name="padding">0</property>
                    240:          <property name="expand">False</property>
                    241:          <property name="fill">False</property>
                    242:        </packing>
                    243:       </child>
                    244: 
                    245:       <child>
                    246:        <widget class="GtkScrolledWindow" id="scrolledwindow3">
                    247:          <property name="visible">True</property>
                    248:          <property name="can_focus">True</property>
                    249:          <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
                    250:          <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
                    251:          <property name="shadow_type">GTK_SHADOW_IN</property>
                    252:          <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
                    253: 
                    254:          <child>
                    255:            <widget class="GtkTreeView" id="lUserList">
                    256:              <property name="visible">True</property>
                    257:              <property name="can_focus">True</property>
                    258:              <property name="headers_visible">True</property>
                    259:              <property name="rules_hint">False</property>
                    260:              <property name="reorderable">True</property>
                    261:              <property name="enable_search">True</property>
                    262:              <property name="fixed_height_mode">False</property>
                    263:              <property name="hover_selection">False</property>
                    264:              <property name="hover_expand">False</property>
                    265:            </widget>
                    266:          </child>
                    267:        </widget>
                    268:        <packing>
                    269:          <property name="padding">0</property>
                    270:          <property name="expand">True</property>
                    271:          <property name="fill">True</property>
                    272:        </packing>
                    273:       </child>
                    274: 
                    275:       <child>
                    276:        <widget class="GtkHBox" id="hbox17">
                    277:          <property name="visible">True</property>
                    278:          <property name="homogeneous">False</property>
                    279:          <property name="spacing">0</property>
                    280: 
                    281:          <child>
                    282:            <widget class="GtkLabel" id="label20">
                    283:              <property name="visible">True</property>
                    284:              <property name="label" translatable="yes">Quick Validation Sets</property>
                    285:              <property name="use_underline">False</property>
                    286:              <property name="use_markup">False</property>
                    287:              <property name="justify">GTK_JUSTIFY_LEFT</property>
                    288:              <property name="wrap">False</property>
                    289:              <property name="selectable">False</property>
                    290:              <property name="xalign">0.5</property>
                    291:              <property name="yalign">0.5</property>
                    292:              <property name="xpad">10</property>
                    293:              <property name="ypad">0</property>
                    294:              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
                    295:              <property name="width_chars">-1</property>
                    296:              <property name="single_line_mode">False</property>
                    297:              <property name="angle">0</property>
                    298:            </widget>
                    299:            <packing>
                    300:              <property name="padding">0</property>
                    301:              <property name="expand">False</property>
                    302:              <property name="fill">False</property>
                    303:            </packing>
                    304:          </child>
                    305: 
                    306:          <child>
                    307:            <widget class="GtkComboBox" id="cQuickValidate">
                    308:              <property name="visible">True</property>
                    309:              <property name="items" translatable="yes">Select a set</property>
                    310:              <property name="add_tearoffs">False</property>
                    311:              <property name="focus_on_click">True</property>
                    312:              <signal name="changed" handler="on_userlist_quick_validate" last_modification_time="Thu, 11 May 2006 06:04:08 GMT"/>
                    313:            </widget>
                    314:            <packing>
                    315:              <property name="padding">0</property>
                    316:              <property name="expand">False</property>
                    317:              <property name="fill">False</property>
                    318:            </packing>
                    319:          </child>
                    320: 
                    321:          <child>
                    322:            <widget class="GtkButton" id="button4">
                    323:              <property name="visible">True</property>
                    324:              <property name="can_focus">True</property>
                    325:              <property name="relief">GTK_RELIEF_NORMAL</property>
                    326:              <property name="focus_on_click">True</property>
                    327:              <signal name="clicked" handler="gtk_main_quit" last_modification_time="Sun, 14 May 2006 06:35:51 GMT"/>
                    328: 
                    329:              <child>
                    330:                <widget class="GtkAlignment" id="alignment5">
                    331:                  <property name="visible">True</property>
                    332:                  <property name="xalign">0.5</property>
                    333:                  <property name="yalign">0.5</property>
                    334:                  <property name="xscale">0</property>
                    335:                  <property name="yscale">0</property>
                    336:                  <property name="top_padding">0</property>
                    337:                  <property name="bottom_padding">0</property>
                    338:                  <property name="left_padding">0</property>
                    339:                  <property name="right_padding">0</property>
                    340: 
                    341:                  <child>
                    342:                    <widget class="GtkHBox" id="hbox18">
                    343:                      <property name="visible">True</property>
                    344:                      <property name="homogeneous">False</property>
                    345:                      <property name="spacing">2</property>
                    346: 
                    347:                      <child>
                    348:                        <widget class="GtkImage" id="image1359">
                    349:                          <property name="visible">True</property>
                    350:                          <property name="stock">gtk-quit</property>
                    351:                          <property name="icon_size">4</property>
                    352:                          <property name="xalign">0.5</property>
                    353:                          <property name="yalign">0.5</property>
                    354:                          <property name="xpad">0</property>
                    355:                          <property name="ypad">0</property>
                    356:                        </widget>
                    357:                        <packing>
                    358:                          <property name="padding">0</property>
                    359:                          <property name="expand">False</property>
                    360:                          <property name="fill">False</property>
                    361:                        </packing>
                    362:                      </child>
                    363: 
                    364:                      <child>
                    365:                        <widget class="GtkLabel" id="label21">
                    366:                          <property name="visible">True</property>
                    367:                          <property name="label" translatable="yes">Quit</property>
                    368:                          <property name="use_underline">True</property>
                    369:                          <property name="use_markup">False</property>
                    370:                          <property name="justify">GTK_JUSTIFY_LEFT</property>
                    371:                          <property name="wrap">False</property>
                    372:                          <property name="selectable">False</property>
                    373:                          <property name="xalign">0.5</property>
                    374:                          <property name="yalign">0.5</property>
                    375:                          <property name="xpad">0</property>
                    376:                          <property name="ypad">0</property>
                    377:                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
                    378:                          <property name="width_chars">-1</property>
                    379:                          <property name="single_line_mode">False</property>
                    380:                          <property name="angle">0</property>
                    381:                        </widget>
                    382:                        <packing>
                    383:                          <property name="padding">0</property>
                    384:                          <property name="expand">False</property>
                    385:                          <property name="fill">False</property>
                    386:                        </packing>
                    387:                      </child>
                    388:                    </widget>
                    389:                  </child>
                    390:                </widget>
                    391:              </child>
                    392:            </widget>
                    393:            <packing>
                    394:              <property name="padding">0</property>
                    395:              <property name="expand">False</property>
                    396:              <property name="fill">False</property>
                    397:              <property name="pack_type">GTK_PACK_END</property>
                    398:            </packing>
                    399:          </child>
                    400: 
                    401:          <child>
                    402:            <widget class="GtkButton" id="bUserListEditUser">
                    403:              <property name="visible">True</property>
                    404:              <property name="can_focus">True</property>
                    405:              <property name="relief">GTK_RELIEF_NORMAL</property>
                    406:              <property name="focus_on_click">True</property>
                    407:              <signal name="clicked" handler="userlist_edituser" last_modification_time="Thu, 11 May 2006 06:09:27 GMT"/>
                    408: 
                    409:              <child>
                    410:                <widget class="GtkAlignment" id="alignment6">
                    411:                  <property name="visible">True</property>
                    412:                  <property name="xalign">0.5</property>
                    413:                  <property name="yalign">0.5</property>
                    414:                  <property name="xscale">0</property>
                    415:                  <property name="yscale">0</property>
                    416:                  <property name="top_padding">0</property>
                    417:                  <property name="bottom_padding">0</property>
                    418:                  <property name="left_padding">0</property>
                    419:                  <property name="right_padding">0</property>
                    420: 
                    421:                  <child>
                    422:                    <widget class="GtkHBox" id="hbox19">
                    423:                      <property name="visible">True</property>
                    424:                      <property name="homogeneous">False</property>
                    425:                      <property name="spacing">2</property>
                    426: 
                    427:                      <child>
                    428:                        <widget class="GtkImage" id="image1360">
                    429:                          <property name="visible">True</property>
                    430:                          <property name="stock">gtk-edit</property>
                    431:                          <property name="icon_size">4</property>
                    432:                          <property name="xalign">0.5</property>
                    433:                          <property name="yalign">0.5</property>
                    434:                          <property name="xpad">0</property>
                    435:                          <property name="ypad">0</property>
                    436:                        </widget>
                    437:                        <packing>
                    438:                          <property name="padding">0</property>
                    439:                          <property name="expand">False</property>
                    440:                          <property name="fill">False</property>
                    441:                        </packing>
                    442:                      </child>
                    443: 
                    444:                      <child>
                    445:                        <widget class="GtkLabel" id="label22">
                    446:                          <property name="visible">True</property>
                    447:                          <property name="label" translatable="yes">Edit User</property>
                    448:                          <property name="use_underline">True</property>
                    449:                          <property name="use_markup">False</property>
                    450:                          <property name="justify">GTK_JUSTIFY_LEFT</property>
                    451:                          <property name="wrap">False</property>
                    452:                          <property name="selectable">False</property>
                    453:                          <property name="xalign">0.5</property>
                    454:                          <property name="yalign">0.5</property>
                    455:                          <property name="xpad">0</property>
                    456:                          <property name="ypad">0</property>
                    457:                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
                    458:                          <property name="width_chars">-1</property>
                    459:                          <property name="single_line_mode">False</property>
                    460:                          <property name="angle">0</property>
                    461:                        </widget>
                    462:                        <packing>
                    463:                          <property name="padding">0</property>
                    464:                          <property name="expand">False</property>
                    465:                          <property name="fill">False</property>
                    466:                        </packing>
                    467:                      </child>
                    468:                    </widget>
                    469:                  </child>
                    470:                </widget>
                    471:              </child>
                    472:            </widget>
                    473:            <packing>
                    474:              <property name="padding">0</property>
                    475:              <property name="expand">False</property>
                    476:              <property name="fill">False</property>
                    477:              <property name="pack_type">GTK_PACK_END</property>
                    478:            </packing>
                    479:          </child>
                    480: 
                    481:          <child>
                    482:            <widget class="GtkButton" id="button7">
                    483:              <property name="visible">True</property>
                    484:              <property name="can_focus">True</property>
                    485:              <property name="relief">GTK_RELIEF_NORMAL</property>
                    486:              <property name="focus_on_click">True</property>
                    487:              <signal name="clicked" handler="update_userlist_callback" last_modification_time="Thu, 11 May 2006 05:33:35 GMT"/>
                    488: 
                    489:              <child>
                    490:                <widget class="GtkAlignment" id="alignment7">
                    491:                  <property name="visible">True</property>
                    492:                  <property name="xalign">0.5</property>
                    493:                  <property name="yalign">0.5</property>
                    494:                  <property name="xscale">0</property>
                    495:                  <property name="yscale">0</property>
                    496:                  <property name="top_padding">0</property>
                    497:                  <property name="bottom_padding">0</property>
                    498:                  <property name="left_padding">0</property>
                    499:                  <property name="right_padding">0</property>
                    500: 
                    501:                  <child>
                    502:                    <widget class="GtkHBox" id="hbox20">
                    503:                      <property name="visible">True</property>
                    504:                      <property name="homogeneous">False</property>
                    505:                      <property name="spacing">2</property>
                    506: 
                    507:                      <child>
                    508:                        <widget class="GtkImage" id="image1361">
                    509:                          <property name="visible">True</property>
                    510:                          <property name="stock">gtk-refresh</property>
                    511:                          <property name="icon_size">4</property>
                    512:                          <property name="xalign">0.5</property>
                    513:                          <property name="yalign">0.5</property>
                    514:                          <property name="xpad">0</property>
                    515:                          <property name="ypad">0</property>
                    516:                        </widget>
                    517:                        <packing>
                    518:                          <property name="padding">0</property>
                    519:                          <property name="expand">False</property>
                    520:                          <property name="fill">False</property>
                    521:                        </packing>
                    522:                      </child>
                    523: 
                    524:                      <child>
                    525:                        <widget class="GtkLabel" id="label23">
                    526:                          <property name="visible">True</property>
                    527:                          <property name="label" translatable="yes">Refresh</property>
                    528:                          <property name="use_underline">True</property>
                    529:                          <property name="use_markup">False</property>
                    530:                          <property name="justify">GTK_JUSTIFY_LEFT</property>
                    531:                          <property name="wrap">False</property>
                    532:                          <property name="selectable">False</property>
                    533:                          <property name="xalign">0.5</property>
                    534:                          <property name="yalign">0.5</property>
                    535:                          <property name="xpad">0</property>
                    536:                          <property name="ypad">0</property>
                    537:                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
                    538:                          <property name="width_chars">-1</property>
                    539:                          <property name="single_line_mode">False</property>
                    540:                          <property name="angle">0</property>
                    541:                        </widget>
                    542:                        <packing>
                    543:                          <property name="padding">0</property>
                    544:                          <property name="expand">False</property>
                    545:                          <property name="fill">False</property>
                    546:                        </packing>
                    547:                      </child>
                    548:                    </widget>
                    549:                  </child>
                    550:                </widget>
                    551:              </child>
                    552:            </widget>
                    553:            <packing>
                    554:              <property name="padding">0</property>
                    555:              <property name="expand">False</property>
                    556:              <property name="fill">False</property>
                    557:              <property name="pack_type">GTK_PACK_END</property>
                    558:            </packing>
                    559:          </child>
                    560:        </widget>
                    561:        <packing>
                    562:          <property name="padding">0</property>
                    563:          <property name="expand">False</property>
                    564:          <property name="fill">False</property>
                    565:          <property name="pack_type">GTK_PACK_END</property>
                    566:        </packing>
                    567:       </child>
                    568:     </widget>
                    569:   </child>
                    570: </widget>
                    571: 
                    572: </glade-interface>

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.