UI updates

CHANGES.html

@@ -56,6 +56,17 @@ However, most uses of <code>catch</code> can be replaced by <code>cleanup</code>
 <li>New <code>1+</code>, <code>1-</code> words are a bit faster than <code>1 +</code> and <code>1 -</code> since there is one less generic dispatch involved.</li>
 </ul>
 
+<li>Contributed code:
+
+<ul>
+
+<li>Intel 8080 CPU and Space Invaders emulator in <code>contrib/space-invaders</code> (Chris Double)</li>
+<li>AOL Instant Messenger chat client library in <code>contrib/aim</code> (Doug Coleman)</li>
+
+</ul>
+
+</li>
+
 </ul>
 
 <h1>Factor 0.78:</h1>

TODO.FACTOR.txt

@@ -1,3 +1,4 @@
+- i/o tasks hanging around
 - 5 car gives wrong error
 - compile interruption checks
 - check that set-datastack and set-callstack compile correctly in the
@@ -14,22 +15,22 @@
 - investigate if rehashing on startup is really necessary
 - remove word transfer hack in bootstrap
 - swap @{ }@ and { } syntax
+- arrows rendering flaw
+- bottom part of thumb: sometimes not drawn?
+- fix up the min thumb size hack
+- long lines of text fail in draw-surface
+- off-by-one error in pick-up?
+- closing ui does not stop timers
+- adding/removing timers automatically for animated gadgets
 
 + ui:
 
-- arrows rendering flaw
-- bottom part of thumb: sometimes not drawn?
 - tabular output
 - completion
 - debugger should use outlining
 - support nested incremental layouts more efficiently
 - make-pane should not need world-theme
-- fix up the min thumb size hack
-- long lines of text fail in draw-surface
 - only redraw dirty gadgets
-- off-by-one error in pick-up?
-- closing ui does not stop timers
-- adding/removing timers automatically for animated gadgets
 - theme abstraction in ui
 - find out why so many small bignums get consed
 - use incremental strategy for all pack layouts where possible