]> gitweb.factorcode.org Git - factor.git/search
ui.tools: setting the initial tool dim as a multiple of the default font