ui.gadgets.editors: adding delete-to-start-of-document and delete-to-end-of-document.
ui.gadgets.editors: adding delete-to-start-of-document and delete-to-end-of-document.

factor/factor,bpollack/factor,mrjbq7/factor,AlexIljin/factor,mrjbq7/factor,slavapestov/factor,bpollack/factor,bjourne/factor,bjourne/factor,dch/factor,sarvex/factor-lang,AlexIljin/factor,tgunr/factor,bpollack/factor,bjourne/factor,bpollack/factor,sarvex/factor-lang,tgunr/factor,slavapestov/factor,factor/factor,mrjbq7/factor,nicolas-p/factor,tgunr/factor,bjourne/factor,dch/factor,tgunr/factor,slavapestov/factor,AlexIljin/factor,slavapestov/factor,slavapestov/factor,mrjbq7/factor,sarvex/factor-lang,bpollack/factor,factor/factor,nicolas-p/factor,dch/factor,slavapestov/factor,factor/factor,bjourne/factor,bpollack/factor,bjourne/factor,nicolas-p/factor,sarvex/factor-lang,mrjbq7/factor,nicolas-p/factor,sarvex/factor-lang,AlexIljin/factor,slavapestov/factor,AlexIljin/factor,tgunr/factor,nicolas-p/factor,nicolas-p/factor,bjourne/factor,dch/factor,tgunr/factor,bpollack/factor,factor/factor,AlexIljin/factor,AlexIljin/factor,sarvex/factor-lang,dch/factor,mrjbq7/factor,dch/factor,factor/factor,nicolas-p/factor,sarvex/factor-lang