Code

gitk: Fix bug introduced by "gitk: Fix "wrong # coordinates" error on reload"