Bugfix: disabled auto-highlight for the last selection