]> gitweb.factorcode.org Git - factor.git/commit
Revert "ui.gadgets.borders: don't convert border-loc to fixnum."
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 15 Jun 2020 14:35:14 +0000 (07:35 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 15 Jun 2020 14:36:52 +0000 (07:36 -0700)
commit0b7122350e917b95517f8b144ec1dded102528ac
tree6a9b7cf1c5d2cfb6193a3d73fefc8bb2351643c0
parentd88ed6ce63a3d80039ccbee2b87ccd386c0ae491
Revert "ui.gadgets.borders: don't convert border-loc to fixnum."

This reverts commit eb7aad96c07200fabbc146c7472c639af66df94a.
basis/ui/gadgets/borders/borders.factor