]> gitweb.factorcode.org Git - factor.git/commit
fonts: turn hardcoded font names and sizes into constants
authorBjörn Lindqvist <bjourne@gmail.com>
Sat, 24 Oct 2015 12:29:12 +0000 (14:29 +0200)
committerBjörn Lindqvist <bjourne@gmail.com>
Sat, 24 Oct 2015 12:29:12 +0000 (14:29 +0200)
commit594eb3774d30378a7a5db0f250e80d7ab2cdd152
treea5dc3ac4104e3ac1e771e8e01ba0e705da361802
parentf2f7fd0b94088e2e1f361c3b8985dd145d2dcd0d
fonts: turn hardcoded font names and sizes into constants
basis/fonts/fonts.factor