Better deleting. Line highlighting. Other changes.