Code

gitk: Handle detached heads better