aboutsummaryrefslogtreecommitdiffstats
path: root/docs-src/images
diff options
context:
space:
mode:
Diffstat (limited to 'docs-src/images')
-rw-r--r--docs-src/images/JAVA.85.GIFbin0 -> 2680 bytes
-rw-r--r--docs-src/images/blueball.gifbin0 -> 398 bytes
-rw-r--r--docs-src/images/change_begin.gifbin0 -> 133 bytes
-rw-r--r--docs-src/images/change_begin_right.gifbin0 -> 128 bytes
-rw-r--r--docs-src/images/change_delete.gifbin0 -> 257 bytes
-rw-r--r--docs-src/images/change_delete_right.gifbin0 -> 257 bytes
-rw-r--r--docs-src/images/change_end.gifbin0 -> 135 bytes
-rw-r--r--docs-src/images/change_end_right.gifbin0 -> 127 bytes
-rw-r--r--docs-src/images/contents.xbm12
-rw-r--r--docs-src/images/contents_motif.gifbin0 -> 225 bytes
-rw-r--r--docs-src/images/coolbutton.gifbin0 -> 4775 bytes
-rw-r--r--docs-src/images/cross_ref_motif.gifbin0 -> 78 bytes
-rw-r--r--docs-src/images/cupHJbutton.gifbin0 -> 1474 bytes
-rw-r--r--docs-src/images/foot_motif.gifbin0 -> 87 bytes
-rw-r--r--docs-src/images/gamelanbutton.gifbin0 -> 4700 bytes
-rw-r--r--docs-src/images/greenball.gifbin0 -> 398 bytes
-rw-r--r--docs-src/images/icons.html42
-rw-r--r--docs-src/images/image.gifbin0 -> 195 bytes
-rw-r--r--docs-src/images/index_motif.gifbin0 -> 180 bytes
-rw-r--r--docs-src/images/invis_anchor.xbm4
-rw-r--r--docs-src/images/j2j.gifbin0 -> 3129 bytes
-rw-r--r--docs-src/images/jarswebsearch.gifbin0 -> 4442 bytes
-rw-r--r--docs-src/images/next_group_motif.gifbin0 -> 259 bytes
-rw-r--r--docs-src/images/next_group_motif_gr.gifbin0 -> 259 bytes
-rw-r--r--docs-src/images/next_motif.gifbin0 -> 172 bytes
-rw-r--r--docs-src/images/next_motif_gr.gifbin0 -> 172 bytes
-rw-r--r--docs-src/images/ogl.gifbin0 -> 15232 bytes
-rw-r--r--docs-src/images/ogl_sm.gifbin0 -> 1842 bytes
-rw-r--r--docs-src/images/ogla.gifbin0 -> 65244 bytes
-rw-r--r--docs-src/images/ogla_sm.gifbin0 -> 24003 bytes
-rw-r--r--docs-src/images/orangeball.gifbin0 -> 398 bytes
-rw-r--r--docs-src/images/pinkball.gifbin0 -> 398 bytes
-rw-r--r--docs-src/images/previous_group_motif.gifbin0 -> 303 bytes
-rw-r--r--docs-src/images/previous_group_motif_gr.gifbin0 -> 303 bytes
-rw-r--r--docs-src/images/previous_motif.gifbin0 -> 220 bytes
-rw-r--r--docs-src/images/previous_motif_gr.gifbin0 -> 220 bytes
-rw-r--r--docs-src/images/purpleball.gifbin0 -> 398 bytes
-rw-r--r--docs-src/images/redball.gifbin0 -> 398 bytes
-rw-r--r--docs-src/images/smi.logo.gifbin0 -> 2408 bytes
-rw-r--r--docs-src/images/up_motif.gifbin0 -> 145 bytes
-rw-r--r--docs-src/images/up_motif_gr.gifbin0 -> 145 bytes
-rw-r--r--docs-src/images/whiteball.gifbin0 -> 275 bytes
-rw-r--r--docs-src/images/yellowball.gifbin0 -> 398 bytes
43 files changed, 58 insertions, 0 deletions
diff --git a/docs-src/images/JAVA.85.GIF b/docs-src/images/JAVA.85.GIF
new file mode 100644
index 0000000..247f8a2
--- /dev/null
+++ b/docs-src/images/JAVA.85.GIF
Binary files differ
diff --git a/docs-src/images/blueball.gif b/docs-src/images/blueball.gif
new file mode 100644
index 0000000..c481395
--- /dev/null
+++ b/docs-src/images/blueball.gif
Binary files differ
diff --git a/docs-src/images/change_begin.gif b/docs-src/images/change_begin.gif
new file mode 100644
index 0000000..dbe8d7e
--- /dev/null
+++ b/docs-src/images/change_begin.gif
Binary files differ
diff --git a/docs-src/images/change_begin_right.gif b/docs-src/images/change_begin_right.gif
new file mode 100644
index 0000000..331ddf2
--- /dev/null
+++ b/docs-src/images/change_begin_right.gif
Binary files differ
diff --git a/docs-src/images/change_delete.gif b/docs-src/images/change_delete.gif
new file mode 100644
index 0000000..63398f5
--- /dev/null
+++ b/docs-src/images/change_delete.gif
Binary files differ
diff --git a/docs-src/images/change_delete_right.gif b/docs-src/images/change_delete_right.gif
new file mode 100644
index 0000000..63398f5
--- /dev/null
+++ b/docs-src/images/change_delete_right.gif
Binary files differ
diff --git a/docs-src/images/change_end.gif b/docs-src/images/change_end.gif
new file mode 100644
index 0000000..8f1e455
--- /dev/null
+++ b/docs-src/images/change_end.gif
Binary files differ
diff --git a/docs-src/images/change_end_right.gif b/docs-src/images/change_end_right.gif
new file mode 100644
index 0000000..409246c
--- /dev/null
+++ b/docs-src/images/change_end_right.gif
Binary files differ
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
new file mode 100644
index 0000000..7b3c904
--- /dev/null
+++ b/docs-src/images/contents_motif.gif
Binary files differ
diff --git a/docs-src/images/coolbutton.gif b/docs-src/images/coolbutton.gif
new file mode 100644
index 0000000..5c86f44
--- /dev/null
+++ b/docs-src/images/coolbutton.gif
Binary files differ
diff --git a/docs-src/images/cross_ref_motif.gif b/docs-src/images/cross_ref_motif.gif
new file mode 100644
index 0000000..4c074e1
--- /dev/null
+++ b/docs-src/images/cross_ref_motif.gif
Binary files differ
diff --git a/docs-src/images/cupHJbutton.gif b/docs-src/images/cupHJbutton.gif
new file mode 100644
index 0000000..2666304
--- /dev/null
+++ b/docs-src/images/cupHJbutton.gif
Binary files differ
diff --git a/docs-src/images/foot_motif.gif b/docs-src/images/foot_motif.gif
new file mode 100644
index 0000000..f29222a
--- /dev/null
+++ b/docs-src/images/foot_motif.gif
Binary files differ
diff --git a/docs-src/images/gamelanbutton.gif b/docs-src/images/gamelanbutton.gif
new file mode 100644
index 0000000..d477a84
--- /dev/null
+++ b/docs-src/images/gamelanbutton.gif
Binary files differ
diff --git a/docs-src/images/greenball.gif b/docs-src/images/greenball.gif
new file mode 100644
index 0000000..2ffbb22
--- /dev/null
+++ b/docs-src/images/greenball.gif
Binary files differ
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
new file mode 100644
index 0000000..7e6cb1a
--- /dev/null
+++ b/docs-src/images/image.gif
Binary files differ
diff --git a/docs-src/images/index_motif.gif b/docs-src/images/index_motif.gif
new file mode 100644
index 0000000..b9b3108
--- /dev/null
+++ b/docs-src/images/index_motif.gif
Binary files differ
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
new file mode 100644
index 0000000..a07021d
--- /dev/null
+++ b/docs-src/images/j2j.gif
Binary files differ
diff --git a/docs-src/images/jarswebsearch.gif b/docs-src/images/jarswebsearch.gif
new file mode 100644
index 0000000..0ec9e0b
--- /dev/null
+++ b/docs-src/images/jarswebsearch.gif
Binary files differ
diff --git a/docs-src/images/next_group_motif.gif b/docs-src/images/next_group_motif.gif
new file mode 100644
index 0000000..833af4d
--- /dev/null
+++ b/docs-src/images/next_group_motif.gif
Binary files differ
diff --git a/docs-src/images/next_group_motif_gr.gif b/docs-src/images/next_group_motif_gr.gif
new file mode 100644
index 0000000..c04fec3
--- /dev/null
+++ b/docs-src/images/next_group_motif_gr.gif
Binary files differ
diff --git a/docs-src/images/next_motif.gif b/docs-src/images/next_motif.gif
new file mode 100644
index 0000000..7a2dbe9
--- /dev/null
+++ b/docs-src/images/next_motif.gif
Binary files differ
diff --git a/docs-src/images/next_motif_gr.gif b/docs-src/images/next_motif_gr.gif
new file mode 100644
index 0000000..1416b1c
--- /dev/null
+++ b/docs-src/images/next_motif_gr.gif
Binary files differ
diff --git a/docs-src/images/ogl.gif b/docs-src/images/ogl.gif
new file mode 100644
index 0000000..db9fb17
--- /dev/null
+++ b/docs-src/images/ogl.gif
Binary files differ
diff --git a/docs-src/images/ogl_sm.gif b/docs-src/images/ogl_sm.gif
new file mode 100644
index 0000000..27d60ce
--- /dev/null
+++ b/docs-src/images/ogl_sm.gif
Binary files differ
diff --git a/docs-src/images/ogla.gif b/docs-src/images/ogla.gif
new file mode 100644
index 0000000..060d3a8
--- /dev/null
+++ b/docs-src/images/ogla.gif
Binary files differ
diff --git a/docs-src/images/ogla_sm.gif b/docs-src/images/ogla_sm.gif
new file mode 100644
index 0000000..efe1236
--- /dev/null
+++ b/docs-src/images/ogla_sm.gif
Binary files differ
diff --git a/docs-src/images/orangeball.gif b/docs-src/images/orangeball.gif
new file mode 100644
index 0000000..e757cd0
--- /dev/null
+++ b/docs-src/images/orangeball.gif
Binary files differ
diff --git a/docs-src/images/pinkball.gif b/docs-src/images/pinkball.gif
new file mode 100644
index 0000000..43e843b
--- /dev/null
+++ b/docs-src/images/pinkball.gif
Binary files differ
diff --git a/docs-src/images/previous_group_motif.gif b/docs-src/images/previous_group_motif.gif
new file mode 100644
index 0000000..03ea0dc
--- /dev/null
+++ b/docs-src/images/previous_group_motif.gif
Binary files differ
diff --git a/docs-src/images/previous_group_motif_gr.gif b/docs-src/images/previous_group_motif_gr.gif
new file mode 100644
index 0000000..c7a1e2b
--- /dev/null
+++ b/docs-src/images/previous_group_motif_gr.gif
Binary files differ
diff --git a/docs-src/images/previous_motif.gif b/docs-src/images/previous_motif.gif
new file mode 100644
index 0000000..aef90f1
--- /dev/null
+++ b/docs-src/images/previous_motif.gif
Binary files differ
diff --git a/docs-src/images/previous_motif_gr.gif b/docs-src/images/previous_motif_gr.gif
new file mode 100644
index 0000000..c6acaab
--- /dev/null
+++ b/docs-src/images/previous_motif_gr.gif
Binary files differ
diff --git a/docs-src/images/purpleball.gif b/docs-src/images/purpleball.gif
new file mode 100644
index 0000000..4836265
--- /dev/null
+++ b/docs-src/images/purpleball.gif
Binary files differ
diff --git a/docs-src/images/redball.gif b/docs-src/images/redball.gif
new file mode 100644
index 0000000..b1a9580
--- /dev/null
+++ b/docs-src/images/redball.gif
Binary files differ
diff --git a/docs-src/images/smi.logo.gif b/docs-src/images/smi.logo.gif
new file mode 100644
index 0000000..e21231d
--- /dev/null
+++ b/docs-src/images/smi.logo.gif
Binary files differ
diff --git a/docs-src/images/up_motif.gif b/docs-src/images/up_motif.gif
new file mode 100644
index 0000000..3d1aebf
--- /dev/null
+++ b/docs-src/images/up_motif.gif
Binary files differ
diff --git a/docs-src/images/up_motif_gr.gif b/docs-src/images/up_motif_gr.gif
new file mode 100644
index 0000000..a8b463a
--- /dev/null
+++ b/docs-src/images/up_motif_gr.gif
Binary files differ
diff --git a/docs-src/images/whiteball.gif b/docs-src/images/whiteball.gif
new file mode 100644
index 0000000..4a90ea1
--- /dev/null
+++ b/docs-src/images/whiteball.gif
Binary files differ
diff --git a/docs-src/images/yellowball.gif b/docs-src/images/yellowball.gif
new file mode 100644
index 0000000..c6ba6b1
--- /dev/null
+++ b/docs-src/images/yellowball.gif
Binary files differ