]> gitweb.factorcode.org Git - factor.git/search
ui.gadgets.editors: adding delete-to-start-of-document and delete-to-end-of-document.