]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.tables: adds ctrl-p/n for row selection
authorinivekin <inivekin>
Sat, 5 Aug 2023 09:33:38 +0000 (17:33 +0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 6 Aug 2023 21:55:08 +0000 (14:55 -0700)
commit87beb74fc5fff1d539c3e18b678ed21c35ce4246
tree5a7033849f500deef60c86124b4bbb923aa311c1
parent5d124ea9f0642dbd1ba99e0efc3f06d2cd786129
ui.gadgets.tables: adds ctrl-p/n for row selection
basis/ui/gadgets/tables/tables.factor