Ah yes, I don't use gitk all that often, and I did not realize that there
was a search bar. Still, I think Mike's patch is too verbose, i.e. it is
not minimal enough ;-)
Ciao,
Dscho
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html