mirror of
https://github.com/atom/atom.git
synced 2026-01-22 21:38:10 -05:00
Selection.delete() adds to the selection if it is empty which we don't want to do when replacing selected text. Closes #603
Selection.delete() adds to the selection if it is empty which we don't want to do when replacing selected text. Closes #603