gitk: Fix bug in highlight stuff when no line is selected