]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 594eb37) | patch
help.stylesheet: make sizes calculated relative to the default-font-size
authorBjörn Lindqvist <bjourne@gmail.com>
Sat, 24 Oct 2015 12:44:30 +0000 (14:44 +0200)
committerBjörn Lindqvist <bjourne@gmail.com>
Sat, 24 Oct 2015 12:44:30 +0000 (14:44 +0200)
commit9ca00a3c753140a055e8c38e3ceca77f396bbf9f
treea8bdf9e10cbcad338f5a6fea4d0d2f9775e1f624tree | snapshot
parent594eb3774d30378a7a5db0f250e80d7ab2cdd152commit | diff
help.stylesheet: make sizes calculated relative to the default-font-size

This makes Factors ui much easier to adapt to hidpi screens. You change
the default-font-size and elements should grow or shrink in proportion.
basis/help/stylesheet/stylesheet.factor diff | blob | history
basis/help/tips/tips.factor diff | blob | history
Factor programming language