Code

gitk: Fix "wrong # coordinates" error on reload