]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.browser: change $navigation to not use title-style.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 20 Feb 2020 03:56:43 +0000 (19:56 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 20 Feb 2020 05:47:01 +0000 (21:47 -0800)
commite0e58a62c5f95cf6df1eac4301fe1a9072243f64
tree2e3bd3d63a7ad23639c8aa8d43254a53c6ef57dc
parent1a84cede3bd45b95c0286b12314880477f667de8
ui.tools.browser: change $navigation to not use title-style.
basis/ui/tools/browser/browser.factor