| commit | a69ada66d06fe46da7ffe7caeca97d4895c74925 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Tue Aug 11 18:52:33 1998 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Tue Aug 11 18:52:33 1998 +0000 |
| tree | 0a50d685865ebbd7f7ac8c6478c8b81be72678b3 | |
| parent | 1b9b210abfe7a74dc242779d3c36201225790ee2 [diff] |
Ok, blank.pbm is free to go. The rest of these are new or replaced. The buttons are now all the same width. They have the transparency set right. They still need the attention of a designer. But they work, and we have a real button for the Modules Index.
diff --git a/Doc/icons/blank.pbm b/Doc/icons/blank.pbm deleted file mode 100644 index 3c72463..0000000 --- a/Doc/icons/blank.pbm +++ /dev/null
@@ -1,4 +0,0 @@ -P4 -# CREATOR: XV Version 3.00 Rev: 3/30/93 -1 1 - \ No newline at end of file
diff --git a/Doc/icons/contents_motif.gif b/Doc/icons/contents_motif.gif index 7b3c904..afa2a17 100644 --- a/Doc/icons/contents_motif.gif +++ b/Doc/icons/contents_motif.gif Binary files differ
diff --git a/Doc/icons/index_motif.gif b/Doc/icons/index_motif.gif index b9b3108..eb87b44 100644 --- a/Doc/icons/index_motif.gif +++ b/Doc/icons/index_motif.gif Binary files differ
diff --git a/Doc/icons/modules_motif.gif b/Doc/icons/modules_motif.gif new file mode 100644 index 0000000..0add775 --- /dev/null +++ b/Doc/icons/modules_motif.gif Binary files differ
diff --git a/Doc/icons/next_motif.gif b/Doc/icons/next_motif.gif index 928a32d..be1f585 100644 --- a/Doc/icons/next_motif.gif +++ b/Doc/icons/next_motif.gif Binary files differ
diff --git a/Doc/icons/previous_motif.gif b/Doc/icons/previous_motif.gif index c38778c..6599b5b 100644 --- a/Doc/icons/previous_motif.gif +++ b/Doc/icons/previous_motif.gif Binary files differ
diff --git a/Doc/icons/up_motif.gif b/Doc/icons/up_motif.gif index c7c9cf7..6ead538 100644 --- a/Doc/icons/up_motif.gif +++ b/Doc/icons/up_motif.gif Binary files differ
