Revert "ui.gadgets.editors: remove extra spaces."

This reverts commit 7a4e345f6c199b8ddfb7faec2121a2dc80ab1da6.

diff --git a/basis/ui/gadgets/editors/editors.factor b/basis/ui/gadgets/editors/editors.factor
index 37350b383099ddc03d4edee99f744e6f1b8a1f10..e1119af718dc63fab5ce231b935eaa86c62d1fd1 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*