-
Christian Hergert authored
When we auto-indent, we should delete the selected text just like we do when there is no auto-indent. However, we should still indent after that text is deleted. Fixes #60
70a854a5
When we auto-indent, we should delete the selected text just like we do when there is no auto-indent. However, we should still indent after that text is deleted. Fixes #60