[PATCH] gitk: make autoselect optional