Merge branch 'master' of git://repo.or.cz/factor/jcg

2008-12-11 23:58:55 -06:00 · 2008-12-11 23:58:55 -06:00 · c6529dec56
parent 07ff3a4441 e5ef3d9b95
commit c6529dec56
1 changed files with 1 additions and 2 deletions
--- a/extra/ui/offscreen/offscreen.factor
+++ b/extra/ui/offscreen/offscreen.factor
@ -1,3 +1,4 @@
+! (c) 2008 Joe Groff, see license for details
 USING: accessors continuations graphics.bitmap kernel math
 sequences ui.gadgets ui.gadgets.worlds ui ui.backend
 destructors ;
@ -24,8 +25,6 @@ M: offscreen-world ungraft*
 : close-offscreen ( world -- )
    ungraft notify-queued ;

-M: offscreen-world dispose close-offscreen ;
-
 : offscreen-world>bitmap ( world -- bitmap )
    offscreen-pixels bgra>bitmap ;