[PATCH] gitk: Update fontsize in patch / tree list