ui.gadgets.editors: remove extra spaces.

diff --git a/basis/ui/gadgets/editors/editors.factor b/basis/ui/gadgets/editors/editors.factor
index e1119af718dc63fab5ce231b935eaa86c62d1fd1..37350b383099ddc03d4edee99f744e6f1b8a1f10 100644 (file)
--- a/basis/ui/gadgets/editors/editors.factor
+++ b/basis/ui/gadgets/editors/editors.factor
@@ -224,23 +224,23 @@ M: editor draw-gadget*
     [ min-rows>> [ 0 ] unless* ]
     [ min-cols>> [ 0 ] unless* ] bi
     row,col-dim ;
-    
+
 : max-dim ( font editor -- dim )
     ! hopefully no one goes over 5000
     [ max-rows>> [ 5000 ] unless* ]
     [ max-cols>> [ 5000 ] unless* ] bi
     row,col-dim ;
-    
+
 : txt-dim ( font editor -- dim )
     control-value text-dim ;
-    
+
 PRIVATE>
 
 : editor-constrained-dim ( editor -- dim )
     [ font>> ] keep
     [ max-dim ]
     [ txt-dim ]
-    [ min-dim ] 
+    [ min-dim ]
     2tri vmax vmin { 1 0 } v+ ;
 
 M: editor pref-dim*