]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0100d22) | patch
ui.tools: setting the initial tool dim as a multiple of the default font
authorBjörn Lindqvist <bjourne@gmail.com>
Wed, 28 Jun 2017 12:25:38 +0000 (14:25 +0200)
committerBjörn Lindqvist <bjourne@gmail.com>
Fri, 30 Jun 2017 20:47:11 +0000 (22:47 +0200)
commit522eb559e469b97748430b64b84c0b8c9a1e43b1
tree5462e0e23c4bd5753f956857d3b9d9c026c44bb2tree | snapshot
parent0100d22809321548664999a0428f9c3192661978commit | diff
ui.tools: setting the initial tool dim as a multiple of the default font
basis/ui/tools/browser/browser.factor diff | blob | history
basis/ui/tools/inspector/inspector.factor diff | blob | history
basis/ui/tools/listener/listener.factor diff | blob | history
extra/gopher/ui/ui.factor diff | blob | history
Factor programming language