]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1207972) | patch
ui.gadgets.paragraphs: faster pref-dim.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 28 Feb 2020 02:10:37 +0000 (18:10 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 28 Feb 2020 02:10:37 +0000 (18:10 -0800)
commit2379d27950f14f0501741af5d64258bb58792bd9
tree7fe7a83e01573a42bf6ed70a61739b2edd3767f8tree | snapshot
parent12079725ac299fae04e114dbfe338958908b31abcommit | diff
ui.gadgets.paragraphs: faster pref-dim.

Now computing gadget-metrics once, before called (measure-metrics) twice,
the first time adding the result, the second time dropping the top of stack.
basis/ui/gadgets/paragraphs/paragraphs.factor diff | blob | history
Factor programming language