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

[factor.git] / extra / ui / offscreen / offscreen.factor

diff --git a/extra/ui/offscreen/offscreen.factor b/extra/ui/offscreen/offscreen.factor
old mode 100644 (file)
new mode 100755 (executable)
index 9fe8577..779ecc0
--- a/extra/ui/offscreen/offscreen.factor
+++ b/extra/ui/offscreen/offscreen.factor
@@ -25,7 +25,7 @@ M: offscreen-world ungraft*
 : offscreen-world>bitmap ( world -- bitmap )
     [ handle>> offscreen-pixels ] [ dim>> first2 neg ] bi
     bgra>bitmap ;
-    
+
 : do-offscreen ( gadget quot: ( offscreen-world -- ) -- )
     [ open-offscreen ] dip
     over [ slip ] [ close-offscreen ] [ ] cleanup ;