]> gitweb.factorcode.org Git - factor.git/history - basis/editors/ui
ui.tools.listener.completion: change history completion popup to preserve newlines
[factor.git] / basis / editors / ui /
2023-08-22 nomennescioMerge branch 'factor:master' into feature-vm-prepare...
2023-01-28 Doug Colemaneditors: use EDITOR: to register editors.
2023-01-20 John BenediktssonSwitch to https urls
2022-08-01 John Benediktssoneditors: allow them to be loaded in the load-all image
2022-01-20 Doug Colemanfactor: trim more using lists.
2018-08-03 Doug Colemaneditors.ui: merge the authors file hanging around on...
2018-07-12 Doug Colemaneditors.ui: Make the editors ui its own thing.