]> gitweb.factorcode.org Git - factor.git/commit
help: make the default print prev/next links but then modify ui.tools.browser to...
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 16 Aug 2015 18:32:54 +0000 (11:32 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 16 Aug 2015 18:33:24 +0000 (11:33 -0700)
commit81cbf71d278e85807df527e58f3ae4dd73c28667
tree9b98dfe83362eac25f485079f050a3ca054f4c7b
parent92762cb56bd785fb1f7e8e6ea4bfcf1d2fad2be9
help: make the default print prev/next links but then modify ui.tools.browser to do what it used to do.
basis/help/help.factor
basis/help/html/html.factor
basis/ui/tools/browser/browser.factor