gitk: Fix bug in highlight stuff when no line is selected
-rwxr-xr-x 143566 gitk