LZW-compress images; thanks Doug for implementing this!

2009-02-14 00:58:35 -06:00 · 2009-02-14 00:58:35 -06:00 · bb46c64f71
parent 83bf59422b
commit bb46c64f71
59 changed files with 0 additions and 0 deletions
--- a/basis/definitions/icons/class-predicate-word.tiff
+++ b/basis/definitions/icons/class-predicate-word.tiff
--- a/basis/definitions/icons/class-word.tiff
+++ b/basis/definitions/icons/class-word.tiff
--- a/basis/definitions/icons/constant-word.tiff
+++ b/basis/definitions/icons/constant-word.tiff
--- a/basis/definitions/icons/generic-word.tiff
+++ b/basis/definitions/icons/generic-word.tiff
--- a/basis/definitions/icons/macro-word.tiff
+++ b/basis/definitions/icons/macro-word.tiff
--- a/basis/definitions/icons/normal-word.tiff
+++ b/basis/definitions/icons/normal-word.tiff
--- a/basis/definitions/icons/open-vocab.tiff
+++ b/basis/definitions/icons/open-vocab.tiff
--- a/basis/definitions/icons/parsing-word.tiff
+++ b/basis/definitions/icons/parsing-word.tiff
--- a/basis/definitions/icons/primitive-word.tiff
+++ b/basis/definitions/icons/primitive-word.tiff
--- a/basis/definitions/icons/runnable-vocab.tiff
+++ b/basis/definitions/icons/runnable-vocab.tiff
--- a/basis/definitions/icons/symbol-word.tiff
+++ b/basis/definitions/icons/symbol-word.tiff
--- a/basis/definitions/icons/unopen-vocab.tiff
+++ b/basis/definitions/icons/unopen-vocab.tiff
--- a/basis/ui/gadgets/theme/active-tab-left.tiff
+++ b/basis/ui/gadgets/theme/active-tab-left.tiff
--- a/basis/ui/gadgets/theme/active-tab-lip.tiff
+++ b/basis/ui/gadgets/theme/active-tab-lip.tiff
--- a/basis/ui/gadgets/theme/active-tab-middle.tiff
+++ b/basis/ui/gadgets/theme/active-tab-middle.tiff
--- a/basis/ui/gadgets/theme/active-tab-right.tiff
+++ b/basis/ui/gadgets/theme/active-tab-right.tiff
--- a/basis/ui/gadgets/theme/button-clicked-left.tiff
+++ b/basis/ui/gadgets/theme/button-clicked-left.tiff
--- a/basis/ui/gadgets/theme/button-clicked-middle.tiff
+++ b/basis/ui/gadgets/theme/button-clicked-middle.tiff
--- a/basis/ui/gadgets/theme/button-clicked-right.tiff
+++ b/basis/ui/gadgets/theme/button-clicked-right.tiff
--- a/basis/ui/gadgets/theme/button-left.tiff
+++ b/basis/ui/gadgets/theme/button-left.tiff
--- a/basis/ui/gadgets/theme/button-middle.tiff
+++ b/basis/ui/gadgets/theme/button-middle.tiff
--- a/basis/ui/gadgets/theme/button-right.tiff
+++ b/basis/ui/gadgets/theme/button-right.tiff
--- a/basis/ui/gadgets/theme/checkbox-clicked.tiff
+++ b/basis/ui/gadgets/theme/checkbox-clicked.tiff
--- a/basis/ui/gadgets/theme/checkbox-set-clicked.tiff
+++ b/basis/ui/gadgets/theme/checkbox-set-clicked.tiff
--- a/basis/ui/gadgets/theme/checkbox-set.tiff
+++ b/basis/ui/gadgets/theme/checkbox-set.tiff
--- a/basis/ui/gadgets/theme/checkbox.tiff
+++ b/basis/ui/gadgets/theme/checkbox.tiff
--- a/basis/ui/gadgets/theme/horizontal-scroller-handle-grip.tiff
+++ b/basis/ui/gadgets/theme/horizontal-scroller-handle-grip.tiff
--- a/basis/ui/gadgets/theme/horizontal-scroller-handle-left.tiff
+++ b/basis/ui/gadgets/theme/horizontal-scroller-handle-left.tiff
--- a/basis/ui/gadgets/theme/horizontal-scroller-handle-middle.tiff
+++ b/basis/ui/gadgets/theme/horizontal-scroller-handle-middle.tiff
--- a/basis/ui/gadgets/theme/horizontal-scroller-handle-right.tiff
+++ b/basis/ui/gadgets/theme/horizontal-scroller-handle-right.tiff
--- a/basis/ui/gadgets/theme/horizontal-scroller-left.tiff
+++ b/basis/ui/gadgets/theme/horizontal-scroller-left.tiff
--- a/basis/ui/gadgets/theme/horizontal-scroller-leftarrow-clicked.tiff
+++ b/basis/ui/gadgets/theme/horizontal-scroller-leftarrow-clicked.tiff
--- a/basis/ui/gadgets/theme/horizontal-scroller-middle.tiff
+++ b/basis/ui/gadgets/theme/horizontal-scroller-middle.tiff
--- a/basis/ui/gadgets/theme/horizontal-scroller-right.tiff
+++ b/basis/ui/gadgets/theme/horizontal-scroller-right.tiff
--- a/basis/ui/gadgets/theme/horizontal-scroller-rightarrow-clicked.tiff
+++ b/basis/ui/gadgets/theme/horizontal-scroller-rightarrow-clicked.tiff
--- a/basis/ui/gadgets/theme/inactive-tab-left.tiff
+++ b/basis/ui/gadgets/theme/inactive-tab-left.tiff
--- a/basis/ui/gadgets/theme/inactive-tab-middle.tiff
+++ b/basis/ui/gadgets/theme/inactive-tab-middle.tiff
--- a/basis/ui/gadgets/theme/inactive-tab-right.tiff
+++ b/basis/ui/gadgets/theme/inactive-tab-right.tiff
--- a/basis/ui/gadgets/theme/labeled-block-bottom-left.tiff
+++ b/basis/ui/gadgets/theme/labeled-block-bottom-left.tiff
--- a/basis/ui/gadgets/theme/labeled-block-bottom-middle.tiff
+++ b/basis/ui/gadgets/theme/labeled-block-bottom-middle.tiff
--- a/basis/ui/gadgets/theme/labeled-block-bottom-right.tiff
+++ b/basis/ui/gadgets/theme/labeled-block-bottom-right.tiff
--- a/basis/ui/gadgets/theme/labeled-block-left-edge.tiff
+++ b/basis/ui/gadgets/theme/labeled-block-left-edge.tiff
--- a/basis/ui/gadgets/theme/labeled-block-right-edge.tiff
+++ b/basis/ui/gadgets/theme/labeled-block-right-edge.tiff
--- a/basis/ui/gadgets/theme/labeled-block-title-left.tiff
+++ b/basis/ui/gadgets/theme/labeled-block-title-left.tiff
--- a/basis/ui/gadgets/theme/labeled-block-title-middle.tiff
+++ b/basis/ui/gadgets/theme/labeled-block-title-middle.tiff
--- a/basis/ui/gadgets/theme/labeled-block-title-right.tiff
+++ b/basis/ui/gadgets/theme/labeled-block-title-right.tiff
--- a/basis/ui/gadgets/theme/radio-clicked.tiff
+++ b/basis/ui/gadgets/theme/radio-clicked.tiff
--- a/basis/ui/gadgets/theme/radio-set-clicked.tiff
+++ b/basis/ui/gadgets/theme/radio-set-clicked.tiff
--- a/basis/ui/gadgets/theme/radio-set.tiff
+++ b/basis/ui/gadgets/theme/radio-set.tiff
--- a/basis/ui/gadgets/theme/radio.tiff
+++ b/basis/ui/gadgets/theme/radio.tiff
--- a/basis/ui/gadgets/theme/vertical-scroller-bottom.tiff
+++ b/basis/ui/gadgets/theme/vertical-scroller-bottom.tiff
--- a/basis/ui/gadgets/theme/vertical-scroller-downarrow-clicked.tiff
+++ b/basis/ui/gadgets/theme/vertical-scroller-downarrow-clicked.tiff
--- a/basis/ui/gadgets/theme/vertical-scroller-handle-bottom.tiff
+++ b/basis/ui/gadgets/theme/vertical-scroller-handle-bottom.tiff
--- a/basis/ui/gadgets/theme/vertical-scroller-handle-grip.tiff
+++ b/basis/ui/gadgets/theme/vertical-scroller-handle-grip.tiff
--- a/basis/ui/gadgets/theme/vertical-scroller-handle-middle.tiff
+++ b/basis/ui/gadgets/theme/vertical-scroller-handle-middle.tiff
--- a/basis/ui/gadgets/theme/vertical-scroller-handle-top.tiff
+++ b/basis/ui/gadgets/theme/vertical-scroller-handle-top.tiff
--- a/basis/ui/gadgets/theme/vertical-scroller-middle.tiff
+++ b/basis/ui/gadgets/theme/vertical-scroller-middle.tiff
--- a/basis/ui/gadgets/theme/vertical-scroller-top.tiff
+++ b/basis/ui/gadgets/theme/vertical-scroller-top.tiff
--- a/basis/ui/gadgets/theme/vertical-scroller-uparrow-clicked.tiff
+++ b/basis/ui/gadgets/theme/vertical-scroller-uparrow-clicked.tiff