![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to gconf.glade CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Qemu by Fabrice Bellard] / qemu / roms / seabios / tools / kconfig|
Return to gconf.glade CVS log | Up to [Qemu by Fabrice Bellard] / qemu / roms / seabios / tools / kconfig |
1.1 root 1: <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2:
3: <glade-interface>
4:
5: <widget class="GtkWindow" id="window1">
6: <property name="visible">True</property>
7: <property name="title" translatable="yes">Gtk Kernel Configurator</property>
8: <property name="type">GTK_WINDOW_TOPLEVEL</property>
9: <property name="window_position">GTK_WIN_POS_NONE</property>
10: <property name="modal">False</property>
11: <property name="default_width">640</property>
12: <property name="default_height">480</property>
13: <property name="resizable">True</property>
14: <property name="destroy_with_parent">False</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: <signal name="destroy" handler="on_window1_destroy" object="window1"/>
21: <signal name="size_request" handler="on_window1_size_request" object="vpaned1" last_modification_time="Fri, 11 Jan 2002 16:17:11 GMT"/>
22: <signal name="delete_event" handler="on_window1_delete_event" object="window1" last_modification_time="Sun, 09 Mar 2003 19:42:46 GMT"/>
23:
24: <child>
25: <widget class="GtkVBox" id="vbox1">
26: <property name="visible">True</property>
27: <property name="homogeneous">False</property>
28: <property name="spacing">0</property>
29:
30: <child>
31: <widget class="GtkMenuBar" id="menubar1">
32: <property name="visible">True</property>
33:
34: <child>
35: <widget class="GtkMenuItem" id="file1">
36: <property name="visible">True</property>
37: <property name="label" translatable="yes">_File</property>
38: <property name="use_underline">True</property>
39:
40: <child>
41: <widget class="GtkMenu" id="file1_menu">
42:
43: <child>
44: <widget class="GtkImageMenuItem" id="load1">
45: <property name="visible">True</property>
46: <property name="tooltip" translatable="yes">Load a config file</property>
47: <property name="label" translatable="yes">_Load</property>
48: <property name="use_underline">True</property>
49: <signal name="activate" handler="on_load1_activate"/>
50: <accelerator key="L" modifiers="GDK_CONTROL_MASK" signal="activate"/>
51:
52: <child internal-child="image">
53: <widget class="GtkImage" id="image39">
54: <property name="visible">True</property>
55: <property name="stock">gtk-open</property>
56: <property name="icon_size">1</property>
57: <property name="xalign">0.5</property>
58: <property name="yalign">0.5</property>
59: <property name="xpad">0</property>
60: <property name="ypad">0</property>
61: </widget>
62: </child>
63: </widget>
64: </child>
65:
66: <child>
67: <widget class="GtkImageMenuItem" id="save1">
68: <property name="visible">True</property>
69: <property name="tooltip" translatable="yes">Save the config in .config</property>
70: <property name="label" translatable="yes">_Save</property>
71: <property name="use_underline">True</property>
72: <signal name="activate" handler="on_save_activate"/>
73: <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/>
74:
75: <child internal-child="image">
76: <widget class="GtkImage" id="image40">
77: <property name="visible">True</property>
78: <property name="stock">gtk-save</property>
79: <property name="icon_size">1</property>
80: <property name="xalign">0.5</property>
81: <property name="yalign">0.5</property>
82: <property name="xpad">0</property>
83: <property name="ypad">0</property>
84: </widget>
85: </child>
86: </widget>
87: </child>
88:
89: <child>
90: <widget class="GtkImageMenuItem" id="save_as1">
91: <property name="visible">True</property>
92: <property name="tooltip" translatable="yes">Save the config in a file</property>
93: <property name="label" translatable="yes">Save _as</property>
94: <property name="use_underline">True</property>
95: <signal name="activate" handler="on_save_as1_activate"/>
96:
97: <child internal-child="image">
98: <widget class="GtkImage" id="image41">
99: <property name="visible">True</property>
100: <property name="stock">gtk-save-as</property>
101: <property name="icon_size">1</property>
102: <property name="xalign">0.5</property>
103: <property name="yalign">0.5</property>
104: <property name="xpad">0</property>
105: <property name="ypad">0</property>
106: </widget>
107: </child>
108: </widget>
109: </child>
110:
111: <child>
112: <widget class="GtkSeparatorMenuItem" id="separator1">
113: <property name="visible">True</property>
114: </widget>
115: </child>
116:
117: <child>
118: <widget class="GtkImageMenuItem" id="quit1">
119: <property name="visible">True</property>
120: <property name="label" translatable="yes">_Quit</property>
121: <property name="use_underline">True</property>
122: <signal name="activate" handler="on_quit1_activate"/>
123: <accelerator key="Q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
124:
125: <child internal-child="image">
126: <widget class="GtkImage" id="image42">
127: <property name="visible">True</property>
128: <property name="stock">gtk-quit</property>
129: <property name="icon_size">1</property>
130: <property name="xalign">0.5</property>
131: <property name="yalign">0.5</property>
132: <property name="xpad">0</property>
133: <property name="ypad">0</property>
134: </widget>
135: </child>
136: </widget>
137: </child>
138: </widget>
139: </child>
140: </widget>
141: </child>
142:
143: <child>
144: <widget class="GtkMenuItem" id="options1">
145: <property name="visible">True</property>
146: <property name="label" translatable="yes">_Options</property>
147: <property name="use_underline">True</property>
148:
149: <child>
150: <widget class="GtkMenu" id="options1_menu">
151:
152: <child>
153: <widget class="GtkCheckMenuItem" id="show_name1">
154: <property name="visible">True</property>
155: <property name="tooltip" translatable="yes">Show name</property>
156: <property name="label" translatable="yes">Show _name</property>
157: <property name="use_underline">True</property>
158: <property name="active">False</property>
159: <signal name="activate" handler="on_show_name1_activate"/>
160: </widget>
161: </child>
162:
163: <child>
164: <widget class="GtkCheckMenuItem" id="show_range1">
165: <property name="visible">True</property>
166: <property name="tooltip" translatable="yes">Show range (Y/M/N)</property>
167: <property name="label" translatable="yes">Show _range</property>
168: <property name="use_underline">True</property>
169: <property name="active">False</property>
170: <signal name="activate" handler="on_show_range1_activate"/>
171: </widget>
172: </child>
173:
174: <child>
175: <widget class="GtkCheckMenuItem" id="show_data1">
176: <property name="visible">True</property>
177: <property name="tooltip" translatable="yes">Show value of the option</property>
178: <property name="label" translatable="yes">Show _data</property>
179: <property name="use_underline">True</property>
180: <property name="active">False</property>
181: <signal name="activate" handler="on_show_data1_activate"/>
182: </widget>
183: </child>
184:
185: <child>
186: <widget class="GtkSeparatorMenuItem" id="separator2">
187: <property name="visible">True</property>
188: </widget>
189: </child>
190:
191: <child>
192: <widget class="GtkRadioMenuItem" id="set_option_mode1">
193: <property name="visible">True</property>
194: <property name="tooltip" translatable="yes">Show normal options</property>
195: <property name="label" translatable="yes">Show normal options</property>
196: <property name="use_underline">True</property>
197: <property name="active">True</property>
198: <signal name="activate" handler="on_set_option_mode1_activate"/>
199: </widget>
200: </child>
201:
202: <child>
203: <widget class="GtkRadioMenuItem" id="set_option_mode2">
204: <property name="visible">True</property>
205: <property name="tooltip" translatable="yes">Show all options</property>
206: <property name="label" translatable="yes">Show all _options</property>
207: <property name="use_underline">True</property>
208: <property name="active">False</property>
209: <property name="group">set_option_mode1</property>
210: <signal name="activate" handler="on_set_option_mode2_activate"/>
211: </widget>
212: </child>
213:
214: <child>
215: <widget class="GtkRadioMenuItem" id="set_option_mode3">
216: <property name="visible">True</property>
217: <property name="tooltip" translatable="yes">Show all options with prompts</property>
218: <property name="label" translatable="yes">Show all prompt options</property>
219: <property name="use_underline">True</property>
220: <property name="active">False</property>
221: <property name="group">set_option_mode1</property>
222: <signal name="activate" handler="on_set_option_mode3_activate"/>
223: </widget>
224: </child>
225:
226: </widget>
227: </child>
228: </widget>
229: </child>
230:
231: <child>
232: <widget class="GtkMenuItem" id="help1">
233: <property name="visible">True</property>
234: <property name="label" translatable="yes">_Help</property>
235: <property name="use_underline">True</property>
236:
237: <child>
238: <widget class="GtkMenu" id="help1_menu">
239:
240: <child>
241: <widget class="GtkImageMenuItem" id="introduction1">
242: <property name="visible">True</property>
243: <property name="label" translatable="yes">_Introduction</property>
244: <property name="use_underline">True</property>
245: <signal name="activate" handler="on_introduction1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
246: <accelerator key="I" modifiers="GDK_CONTROL_MASK" signal="activate"/>
247:
248: <child internal-child="image">
249: <widget class="GtkImage" id="image43">
250: <property name="visible">True</property>
251: <property name="stock">gtk-dialog-question</property>
252: <property name="icon_size">1</property>
253: <property name="xalign">0.5</property>
254: <property name="yalign">0.5</property>
255: <property name="xpad">0</property>
256: <property name="ypad">0</property>
257: </widget>
258: </child>
259: </widget>
260: </child>
261:
262: <child>
263: <widget class="GtkImageMenuItem" id="about1">
264: <property name="visible">True</property>
265: <property name="label" translatable="yes">_About</property>
266: <property name="use_underline">True</property>
267: <signal name="activate" handler="on_about1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
268: <accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/>
269:
270: <child internal-child="image">
271: <widget class="GtkImage" id="image44">
272: <property name="visible">True</property>
273: <property name="stock">gtk-properties</property>
274: <property name="icon_size">1</property>
275: <property name="xalign">0.5</property>
276: <property name="yalign">0.5</property>
277: <property name="xpad">0</property>
278: <property name="ypad">0</property>
279: </widget>
280: </child>
281: </widget>
282: </child>
283:
284: <child>
285: <widget class="GtkImageMenuItem" id="license1">
286: <property name="visible">True</property>
287: <property name="label" translatable="yes">_License</property>
288: <property name="use_underline">True</property>
289: <signal name="activate" handler="on_license1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
290:
291: <child internal-child="image">
292: <widget class="GtkImage" id="image45">
293: <property name="visible">True</property>
294: <property name="stock">gtk-justify-fill</property>
295: <property name="icon_size">1</property>
296: <property name="xalign">0.5</property>
297: <property name="yalign">0.5</property>
298: <property name="xpad">0</property>
299: <property name="ypad">0</property>
300: </widget>
301: </child>
302: </widget>
303: </child>
304: </widget>
305: </child>
306: </widget>
307: </child>
308: </widget>
309: <packing>
310: <property name="padding">0</property>
311: <property name="expand">False</property>
312: <property name="fill">False</property>
313: </packing>
314: </child>
315:
316: <child>
317: <widget class="GtkHandleBox" id="handlebox1">
318: <property name="visible">True</property>
319: <property name="shadow_type">GTK_SHADOW_OUT</property>
320: <property name="handle_position">GTK_POS_LEFT</property>
321: <property name="snap_edge">GTK_POS_TOP</property>
322:
323: <child>
324: <widget class="GtkToolbar" id="toolbar1">
325: <property name="visible">True</property>
326: <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
327: <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
328: <property name="tooltips">True</property>
329: <property name="show_arrow">True</property>
330:
331: <child>
332: <widget class="GtkToolButton" id="button1">
333: <property name="visible">True</property>
334: <property name="tooltip" translatable="yes">Goes up of one level (single view)</property>
335: <property name="label" translatable="yes">Back</property>
336: <property name="use_underline">True</property>
337: <property name="stock_id">gtk-undo</property>
338: <property name="visible_horizontal">True</property>
339: <property name="visible_vertical">True</property>
340: <property name="is_important">False</property>
341: <signal name="clicked" handler="on_back_clicked"/>
342: </widget>
343: <packing>
344: <property name="expand">False</property>
345: <property name="homogeneous">True</property>
346: </packing>
347: </child>
348:
349: <child>
350: <widget class="GtkToolItem" id="toolitem1">
351: <property name="visible">True</property>
352: <property name="visible_horizontal">True</property>
353: <property name="visible_vertical">True</property>
354: <property name="is_important">False</property>
355:
356: <child>
357: <widget class="GtkVSeparator" id="vseparator1">
358: <property name="visible">True</property>
359: </widget>
360: </child>
361: </widget>
362: <packing>
363: <property name="expand">False</property>
364: <property name="homogeneous">False</property>
365: </packing>
366: </child>
367:
368: <child>
369: <widget class="GtkToolButton" id="button2">
370: <property name="visible">True</property>
371: <property name="tooltip" translatable="yes">Load a config file</property>
372: <property name="label" translatable="yes">Load</property>
373: <property name="use_underline">True</property>
374: <property name="stock_id">gtk-open</property>
375: <property name="visible_horizontal">True</property>
376: <property name="visible_vertical">True</property>
377: <property name="is_important">False</property>
378: <signal name="clicked" handler="on_load_clicked"/>
379: </widget>
380: <packing>
381: <property name="expand">False</property>
382: <property name="homogeneous">True</property>
383: </packing>
384: </child>
385:
386: <child>
387: <widget class="GtkToolButton" id="button3">
388: <property name="visible">True</property>
389: <property name="tooltip" translatable="yes">Save a config file</property>
390: <property name="label" translatable="yes">Save</property>
391: <property name="use_underline">True</property>
392: <property name="stock_id">gtk-save</property>
393: <property name="visible_horizontal">True</property>
394: <property name="visible_vertical">True</property>
395: <property name="is_important">False</property>
396: <signal name="clicked" handler="on_save_activate"/>
397: </widget>
398: <packing>
399: <property name="expand">False</property>
400: <property name="homogeneous">True</property>
401: </packing>
402: </child>
403:
404: <child>
405: <widget class="GtkToolItem" id="toolitem2">
406: <property name="visible">True</property>
407: <property name="visible_horizontal">True</property>
408: <property name="visible_vertical">True</property>
409: <property name="is_important">False</property>
410:
411: <child>
412: <widget class="GtkVSeparator" id="vseparator2">
413: <property name="visible">True</property>
414: </widget>
415: </child>
416: </widget>
417: <packing>
418: <property name="expand">False</property>
419: <property name="homogeneous">False</property>
420: </packing>
421: </child>
422:
423: <child>
424: <widget class="GtkToolButton" id="button4">
425: <property name="visible">True</property>
426: <property name="tooltip" translatable="yes">Single view</property>
427: <property name="label" translatable="yes">Single</property>
428: <property name="use_underline">True</property>
429: <property name="stock_id">gtk-missing-image</property>
430: <property name="visible_horizontal">True</property>
431: <property name="visible_vertical">True</property>
432: <property name="is_important">False</property>
433: <signal name="clicked" handler="on_single_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:39 GMT"/>
434: </widget>
435: <packing>
436: <property name="expand">False</property>
437: <property name="homogeneous">True</property>
438: </packing>
439: </child>
440:
441: <child>
442: <widget class="GtkToolButton" id="button5">
443: <property name="visible">True</property>
444: <property name="tooltip" translatable="yes">Split view</property>
445: <property name="label" translatable="yes">Split</property>
446: <property name="use_underline">True</property>
447: <property name="stock_id">gtk-missing-image</property>
448: <property name="visible_horizontal">True</property>
449: <property name="visible_vertical">True</property>
450: <property name="is_important">False</property>
451: <signal name="clicked" handler="on_split_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:45 GMT"/>
452: </widget>
453: <packing>
454: <property name="expand">False</property>
455: <property name="homogeneous">True</property>
456: </packing>
457: </child>
458:
459: <child>
460: <widget class="GtkToolButton" id="button6">
461: <property name="visible">True</property>
462: <property name="tooltip" translatable="yes">Full view</property>
463: <property name="label" translatable="yes">Full</property>
464: <property name="use_underline">True</property>
465: <property name="stock_id">gtk-missing-image</property>
466: <property name="visible_horizontal">True</property>
467: <property name="visible_vertical">True</property>
468: <property name="is_important">False</property>
469: <signal name="clicked" handler="on_full_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:50 GMT"/>
470: </widget>
471: <packing>
472: <property name="expand">False</property>
473: <property name="homogeneous">True</property>
474: </packing>
475: </child>
476:
477: <child>
478: <widget class="GtkToolItem" id="toolitem3">
479: <property name="visible">True</property>
480: <property name="visible_horizontal">True</property>
481: <property name="visible_vertical">True</property>
482: <property name="is_important">False</property>
483:
484: <child>
485: <widget class="GtkVSeparator" id="vseparator3">
486: <property name="visible">True</property>
487: </widget>
488: </child>
489: </widget>
490: <packing>
491: <property name="expand">False</property>
492: <property name="homogeneous">False</property>
493: </packing>
494: </child>
495:
496: <child>
497: <widget class="GtkToolButton" id="button7">
498: <property name="visible">True</property>
499: <property name="tooltip" translatable="yes">Collapse the whole tree in the right frame</property>
500: <property name="label" translatable="yes">Collapse</property>
501: <property name="use_underline">True</property>
502: <property name="stock_id">gtk-remove</property>
503: <property name="visible_horizontal">True</property>
504: <property name="visible_vertical">True</property>
505: <property name="is_important">False</property>
506: <signal name="clicked" handler="on_collapse_clicked"/>
507: </widget>
508: <packing>
509: <property name="expand">False</property>
510: <property name="homogeneous">True</property>
511: </packing>
512: </child>
513:
514: <child>
515: <widget class="GtkToolButton" id="button8">
516: <property name="visible">True</property>
517: <property name="tooltip" translatable="yes">Expand the whole tree in the right frame</property>
518: <property name="label" translatable="yes">Expand</property>
519: <property name="use_underline">True</property>
520: <property name="stock_id">gtk-add</property>
521: <property name="visible_horizontal">True</property>
522: <property name="visible_vertical">True</property>
523: <property name="is_important">False</property>
524: <signal name="clicked" handler="on_expand_clicked"/>
525: </widget>
526: <packing>
527: <property name="expand">False</property>
528: <property name="homogeneous">True</property>
529: </packing>
530: </child>
531: </widget>
532: </child>
533: </widget>
534: <packing>
535: <property name="padding">0</property>
536: <property name="expand">False</property>
537: <property name="fill">False</property>
538: </packing>
539: </child>
540:
541: <child>
542: <widget class="GtkHPaned" id="hpaned1">
543: <property name="width_request">1</property>
544: <property name="visible">True</property>
545: <property name="can_focus">True</property>
546: <property name="position">0</property>
547:
548: <child>
549: <widget class="GtkScrolledWindow" id="scrolledwindow1">
550: <property name="visible">True</property>
551: <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
552: <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
553: <property name="shadow_type">GTK_SHADOW_IN</property>
554: <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
555:
556: <child>
557: <widget class="GtkTreeView" id="treeview1">
558: <property name="visible">True</property>
559: <property name="can_focus">True</property>
560: <property name="headers_visible">True</property>
561: <property name="rules_hint">False</property>
562: <property name="reorderable">False</property>
563: <property name="enable_search">False</property>
564: <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:58:22 GMT"/>
565: <signal name="button_press_event" handler="on_treeview1_button_press_event" last_modification_time="Sun, 12 Jan 2003 16:03:52 GMT"/>
566: <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 16:11:44 GMT"/>
567: </widget>
568: </child>
569: </widget>
570: <packing>
571: <property name="shrink">True</property>
572: <property name="resize">False</property>
573: </packing>
574: </child>
575:
576: <child>
577: <widget class="GtkVPaned" id="vpaned1">
578: <property name="visible">True</property>
579: <property name="can_focus">True</property>
580: <property name="position">0</property>
581:
582: <child>
583: <widget class="GtkScrolledWindow" id="scrolledwindow2">
584: <property name="visible">True</property>
585: <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
586: <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
587: <property name="shadow_type">GTK_SHADOW_IN</property>
588: <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
589:
590: <child>
591: <widget class="GtkTreeView" id="treeview2">
592: <property name="visible">True</property>
593: <property name="can_focus">True</property>
594: <property name="has_focus">True</property>
595: <property name="headers_visible">True</property>
596: <property name="rules_hint">False</property>
597: <property name="reorderable">False</property>
598: <property name="enable_search">False</property>
599: <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:57:55 GMT"/>
600: <signal name="button_press_event" handler="on_treeview2_button_press_event" last_modification_time="Sun, 12 Jan 2003 15:57:58 GMT"/>
601: <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 15:58:01 GMT"/>
602: </widget>
603: </child>
604: </widget>
605: <packing>
606: <property name="shrink">True</property>
607: <property name="resize">False</property>
608: </packing>
609: </child>
610:
611: <child>
612: <widget class="GtkScrolledWindow" id="scrolledwindow3">
613: <property name="visible">True</property>
614: <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
615: <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
616: <property name="shadow_type">GTK_SHADOW_IN</property>
617: <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
618:
619: <child>
620: <widget class="GtkTextView" id="textview3">
621: <property name="visible">True</property>
622: <property name="can_focus">True</property>
623: <property name="editable">False</property>
624: <property name="overwrite">False</property>
625: <property name="accepts_tab">True</property>
626: <property name="justification">GTK_JUSTIFY_LEFT</property>
627: <property name="wrap_mode">GTK_WRAP_WORD</property>
628: <property name="cursor_visible">True</property>
629: <property name="pixels_above_lines">0</property>
630: <property name="pixels_below_lines">0</property>
631: <property name="pixels_inside_wrap">0</property>
632: <property name="left_margin">0</property>
633: <property name="right_margin">0</property>
634: <property name="indent">0</property>
635: <property name="text" translatable="yes">Sorry, no help available for this option yet.</property>
636: </widget>
637: </child>
638: </widget>
639: <packing>
640: <property name="shrink">True</property>
641: <property name="resize">True</property>
642: </packing>
643: </child>
644: </widget>
645: <packing>
646: <property name="shrink">True</property>
647: <property name="resize">True</property>
648: </packing>
649: </child>
650: </widget>
651: <packing>
652: <property name="padding">0</property>
653: <property name="expand">True</property>
654: <property name="fill">True</property>
655: </packing>
656: </child>
657: </widget>
658: </child>
659: </widget>
660:
661: </glade-interface>
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.