[PATCH] gitk: Add checkbutton to ignore space changes