]> gitweb.factorcode.org Git - factor.git/history - basis/ui/tools/button-list/button-list.factor
Switch to https urls
[factor.git] / basis / ui / tools / button-list / button-list.factor
2023-01-20 John BenediktssonSwitch to https urls
2022-02-03 John Benediktssonui.tools.button-list: use linked-assocs to keep buttons...
2022-01-25 John Benediktssonui.tools.button-list: not sure why this commit was...
2022-01-25 John Benediktssonui.tools.button-list: per-world popup
2022-01-25 John Benediktssonui: fix bootstrap for show-active-buttons-popup
2022-01-25 Kevin CopeFixes ungraft and removes accidental duplication
2022-01-25 Kevin CopeMoves some docs to where they belong and fixes formatting
2022-01-25 Kevin CopeMoves button list into MIXIN instance
2022-01-25 inivekinReorganises button-list code to separate file