]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.editors: fix off-by-one.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 27 May 2020 18:50:04 +0000 (11:50 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 27 May 2020 18:50:04 +0000 (11:50 -0700)
commit82a34fe4b818573bae95246fc1db47456bf1545d
tree5e8dd64aa9c316d64a82169f3d5987802ef42658
parentc781933d6b1cb26d62958683060974bdfec32242
ui.gadgets.editors: fix off-by-one.
basis/ui/gadgets/editors/editors.factor