diff options
Diffstat (limited to 'docs-src/images')
43 files changed, 58 insertions, 0 deletions
diff --git a/docs-src/images/JAVA.85.GIF b/docs-src/images/JAVA.85.GIF Binary files differnew file mode 100644 index 0000000..247f8a2 --- /dev/null +++ b/docs-src/images/JAVA.85.GIF diff --git a/docs-src/images/blueball.gif b/docs-src/images/blueball.gif Binary files differnew file mode 100644 index 0000000..c481395 --- /dev/null +++ b/docs-src/images/blueball.gif diff --git a/docs-src/images/change_begin.gif b/docs-src/images/change_begin.gif Binary files differnew file mode 100644 index 0000000..dbe8d7e --- /dev/null +++ b/docs-src/images/change_begin.gif diff --git a/docs-src/images/change_begin_right.gif b/docs-src/images/change_begin_right.gif Binary files differnew file mode 100644 index 0000000..331ddf2 --- /dev/null +++ b/docs-src/images/change_begin_right.gif diff --git a/docs-src/images/change_delete.gif b/docs-src/images/change_delete.gif Binary files differnew file mode 100644 index 0000000..63398f5 --- /dev/null +++ b/docs-src/images/change_delete.gif diff --git a/docs-src/images/change_delete_right.gif b/docs-src/images/change_delete_right.gif Binary files differnew file mode 100644 index 0000000..63398f5 --- /dev/null +++ b/docs-src/images/change_delete_right.gif diff --git a/docs-src/images/change_end.gif b/docs-src/images/change_end.gif Binary files differnew file mode 100644 index 0000000..8f1e455 --- /dev/null +++ b/docs-src/images/change_end.gif diff --git a/docs-src/images/change_end_right.gif b/docs-src/images/change_end_right.gif Binary files differnew file mode 100644 index 0000000..409246c --- /dev/null +++ b/docs-src/images/change_end_right.gif diff --git a/docs-src/images/contents.xbm b/docs-src/images/contents.xbm new file mode 100644 index 0000000..a3aed9f --- /dev/null +++ b/docs-src/images/contents.xbm @@ -0,0 +1,12 @@ +#define contents_width 63 +#define contents_height 16 +static char contents_bits[] = { + 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, + 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, + 0x00,0x00,0xc0,0x01,0x00,0x08,0x00,0x00,0x01,0x00,0x20,0x02,0x00,0x08,0x00, + 0x00,0x01,0x00,0x20,0xe2,0x74,0x7c,0x9c,0x8e,0x8f,0x03,0x20,0x10,0x99,0x08, + 0x22,0x13,0x41,0x04,0x20,0x10,0x89,0x08,0x3e,0x11,0x81,0x03,0x20,0x12,0x89, + 0x08,0x02,0x11,0x01,0x04,0x20,0x12,0x89,0x88,0x22,0x11,0x51,0x04,0xc0,0xe1, + 0x9c,0x71,0x9c,0x33,0x8e,0x03,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, + 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00, + 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00}; diff --git a/docs-src/images/contents_motif.gif b/docs-src/images/contents_motif.gif Binary files differnew file mode 100644 index 0000000..7b3c904 --- /dev/null +++ b/docs-src/images/contents_motif.gif diff --git a/docs-src/images/coolbutton.gif b/docs-src/images/coolbutton.gif Binary files differnew file mode 100644 index 0000000..5c86f44 --- /dev/null +++ b/docs-src/images/coolbutton.gif diff --git a/docs-src/images/cross_ref_motif.gif b/docs-src/images/cross_ref_motif.gif Binary files differnew file mode 100644 index 0000000..4c074e1 --- /dev/null +++ b/docs-src/images/cross_ref_motif.gif diff --git a/docs-src/images/cupHJbutton.gif b/docs-src/images/cupHJbutton.gif Binary files differnew file mode 100644 index 0000000..2666304 --- /dev/null +++ b/docs-src/images/cupHJbutton.gif diff --git a/docs-src/images/foot_motif.gif b/docs-src/images/foot_motif.gif Binary files differnew file mode 100644 index 0000000..f29222a --- /dev/null +++ b/docs-src/images/foot_motif.gif diff --git a/docs-src/images/gamelanbutton.gif b/docs-src/images/gamelanbutton.gif Binary files differnew file mode 100644 index 0000000..d477a84 --- /dev/null +++ b/docs-src/images/gamelanbutton.gif diff --git a/docs-src/images/greenball.gif b/docs-src/images/greenball.gif Binary files differnew file mode 100644 index 0000000..2ffbb22 --- /dev/null +++ b/docs-src/images/greenball.gif diff --git a/docs-src/images/icons.html b/docs-src/images/icons.html new file mode 100644 index 0000000..d6b38c3 --- /dev/null +++ b/docs-src/images/icons.html @@ -0,0 +1,42 @@ + +<FORM METHOD="POST" > +<INPUT TYPE="submit" VALUE="Next"> + <P> +<INPUT TYPE="submit" VALUE="Previous"> + <P> +<INPUT TYPE="submit" VALUE="Up"> + <P> +<INPUT TYPE="submit" VALUE="Next Group"> + <P> +<INPUT TYPE="submit" VALUE="Previous Group"> + <P> +<INPUT TYPE="submit" VALUE="Contents"> + <P> +<INPUT TYPE="submit" VALUE="Index"> + <P> +<INPUT TYPE="submit" VALUE=" New "> + <P> +<INPUT TYPE="submit" VALUE=" Deleted "> + <P> +<INPUT TYPE="submit" VALUE="Browse"> + <P> +<INPUT TYPE="submit" VALUE="Search"> + <P> +<INPUT TYPE="submit" VALUE="Home"> + <P> +<INPUT TYPE="submit" VALUE="Image"> + <P> +<INPUT TYPE="submit" VALUE="a"> + + <P> + +<INPUT TYPE="checkbox" NAME="xx" VALUE="nil"> +<INPUT TYPE="checkbox" NAME="xx" VALUE="nil"> +<INPUT TYPE="checkbox" NAME="xx" VALUE="nil"> + + +</FORM> + +<IMG ALIGN=MIDDLE SRC="changebegin.gif" ALT="changeend"><P> + +<P><IMG ALIGN=MIDDLE SRC="changeend.gif" ALT="changeend"> diff --git a/docs-src/images/image.gif b/docs-src/images/image.gif Binary files differnew file mode 100644 index 0000000..7e6cb1a --- /dev/null +++ b/docs-src/images/image.gif diff --git a/docs-src/images/index_motif.gif b/docs-src/images/index_motif.gif Binary files differnew file mode 100644 index 0000000..b9b3108 --- /dev/null +++ b/docs-src/images/index_motif.gif diff --git a/docs-src/images/invis_anchor.xbm b/docs-src/images/invis_anchor.xbm new file mode 100644 index 0000000..cc208a3 --- /dev/null +++ b/docs-src/images/invis_anchor.xbm @@ -0,0 +1,4 @@ +#define dot_anchor_width 1 +#define dot_anchor_height 1 +static char dot_anchor_bits[] = { + 0xfe}; diff --git a/docs-src/images/j2j.gif b/docs-src/images/j2j.gif Binary files differnew file mode 100644 index 0000000..a07021d --- /dev/null +++ b/docs-src/images/j2j.gif diff --git a/docs-src/images/jarswebsearch.gif b/docs-src/images/jarswebsearch.gif Binary files differnew file mode 100644 index 0000000..0ec9e0b --- /dev/null +++ b/docs-src/images/jarswebsearch.gif diff --git a/docs-src/images/next_group_motif.gif b/docs-src/images/next_group_motif.gif Binary files differnew file mode 100644 index 0000000..833af4d --- /dev/null +++ b/docs-src/images/next_group_motif.gif diff --git a/docs-src/images/next_group_motif_gr.gif b/docs-src/images/next_group_motif_gr.gif Binary files differnew file mode 100644 index 0000000..c04fec3 --- /dev/null +++ b/docs-src/images/next_group_motif_gr.gif diff --git a/docs-src/images/next_motif.gif b/docs-src/images/next_motif.gif Binary files differnew file mode 100644 index 0000000..7a2dbe9 --- /dev/null +++ b/docs-src/images/next_motif.gif diff --git a/docs-src/images/next_motif_gr.gif b/docs-src/images/next_motif_gr.gif Binary files differnew file mode 100644 index 0000000..1416b1c --- /dev/null +++ b/docs-src/images/next_motif_gr.gif diff --git a/docs-src/images/ogl.gif b/docs-src/images/ogl.gif Binary files differnew file mode 100644 index 0000000..db9fb17 --- /dev/null +++ b/docs-src/images/ogl.gif diff --git a/docs-src/images/ogl_sm.gif b/docs-src/images/ogl_sm.gif Binary files differnew file mode 100644 index 0000000..27d60ce --- /dev/null +++ b/docs-src/images/ogl_sm.gif diff --git a/docs-src/images/ogla.gif b/docs-src/images/ogla.gif Binary files differnew file mode 100644 index 0000000..060d3a8 --- /dev/null +++ b/docs-src/images/ogla.gif diff --git a/docs-src/images/ogla_sm.gif b/docs-src/images/ogla_sm.gif Binary files differnew file mode 100644 index 0000000..efe1236 --- /dev/null +++ b/docs-src/images/ogla_sm.gif diff --git a/docs-src/images/orangeball.gif b/docs-src/images/orangeball.gif Binary files differnew file mode 100644 index 0000000..e757cd0 --- /dev/null +++ b/docs-src/images/orangeball.gif diff --git a/docs-src/images/pinkball.gif b/docs-src/images/pinkball.gif Binary files differnew file mode 100644 index 0000000..43e843b --- /dev/null +++ b/docs-src/images/pinkball.gif diff --git a/docs-src/images/previous_group_motif.gif b/docs-src/images/previous_group_motif.gif Binary files differnew file mode 100644 index 0000000..03ea0dc --- /dev/null +++ b/docs-src/images/previous_group_motif.gif diff --git a/docs-src/images/previous_group_motif_gr.gif b/docs-src/images/previous_group_motif_gr.gif Binary files differnew file mode 100644 index 0000000..c7a1e2b --- /dev/null +++ b/docs-src/images/previous_group_motif_gr.gif diff --git a/docs-src/images/previous_motif.gif b/docs-src/images/previous_motif.gif Binary files differnew file mode 100644 index 0000000..aef90f1 --- /dev/null +++ b/docs-src/images/previous_motif.gif diff --git a/docs-src/images/previous_motif_gr.gif b/docs-src/images/previous_motif_gr.gif Binary files differnew file mode 100644 index 0000000..c6acaab --- /dev/null +++ b/docs-src/images/previous_motif_gr.gif diff --git a/docs-src/images/purpleball.gif b/docs-src/images/purpleball.gif Binary files differnew file mode 100644 index 0000000..4836265 --- /dev/null +++ b/docs-src/images/purpleball.gif diff --git a/docs-src/images/redball.gif b/docs-src/images/redball.gif Binary files differnew file mode 100644 index 0000000..b1a9580 --- /dev/null +++ b/docs-src/images/redball.gif diff --git a/docs-src/images/smi.logo.gif b/docs-src/images/smi.logo.gif Binary files differnew file mode 100644 index 0000000..e21231d --- /dev/null +++ b/docs-src/images/smi.logo.gif diff --git a/docs-src/images/up_motif.gif b/docs-src/images/up_motif.gif Binary files differnew file mode 100644 index 0000000..3d1aebf --- /dev/null +++ b/docs-src/images/up_motif.gif diff --git a/docs-src/images/up_motif_gr.gif b/docs-src/images/up_motif_gr.gif Binary files differnew file mode 100644 index 0000000..a8b463a --- /dev/null +++ b/docs-src/images/up_motif_gr.gif diff --git a/docs-src/images/whiteball.gif b/docs-src/images/whiteball.gif Binary files differnew file mode 100644 index 0000000..4a90ea1 --- /dev/null +++ b/docs-src/images/whiteball.gif diff --git a/docs-src/images/yellowball.gif b/docs-src/images/yellowball.gif Binary files differnew file mode 100644 index 0000000..c6ba6b1 --- /dev/null +++ b/docs-src/images/yellowball.gif |