Undoing deletion should set back the selection
Posted: Tue Feb 08, 2005 9:31 am
When a selected text is deleted, and the deletion is undone afterwards, the selection should be set back. At least an option could be among the Editor Preferences for this function.