fix issue in console and open_ui where you could highlight multiple comments at once