]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.labels: use font-metrics directly.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 17 Sep 2012 21:07:23 +0000 (14:07 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 17 Sep 2012 21:12:25 +0000 (14:12 -0700)
commiteb1a4db801361eeafc28a3e1c940d0a0d9cac327
tree0eb050b3f4f119f03d3a5678862a1cab38cd4a29
parent8e3c79b841167d409100653c35ba37174271eafe
ui.gadgets.labels: use font-metrics directly.
basis/ui/gadgets/labels/labels.factor