]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.tools.browser: fix stack effect name.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 17 Aug 2012 17:13:21 +0000 (10:13 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 17 Aug 2012 17:13:44 +0000 (10:13 -0700)
basis/ui/tools/browser/browser.factor

index 7c59030bba63f0b7e4da1e92fb8e4201fdd923aa..15a3450438c74be87c5ad259f562826e19990cdf 100644 (file)
@@ -171,7 +171,7 @@ browser-gadget "scrolling"
 : com-font-size-plus ( browser -- )
     2 adjust-help-font-size model>> notify-connections ;
 
-: com-font-size-minus ( listener -- )
+: com-font-size-minus ( browser -- )
     -2 adjust-help-font-size model>> notify-connections ;
 
 browser-gadget "fonts" f {