gitk: Restore some widget options whose defaults changed in Tk 8.5
tree2026db04f3a76b06915795f95c62bb6c4662bc86
-rw-r--r-- 1531 Makefile
-rwxr-xr-x 237802 gitk
drwxr-xr-x - po