projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e34e62) | patch
git-gui: scroll down to default selection for push dialog
authorHeiko Voigt <hvoigt@hvoigt.net>
Sun, 6 Feb 2011 17:04:27 +0000 (18:04 +0100)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Sun, 6 Feb 2011 22:20:05 +0000 (22:20 +0000)
commitfb027e148a1e256e12ecfcfac090f4f06f8d4c58
tree4d9b179f97a45e1c24aafe8ce0580f05820cf2d0tree | snapshot
parent9e34e62bcbef12d290ecc0854df9117009873a3fcommit | diff
git-gui: scroll down to default selection for push dialog

If the list of remote/local branches is very long its inconvenient
to scroll down and find the selected branch. This patch makes the
widget automatically scroll down so its shown on the top.

Signed-off-by: Heiko Voigt <hvoigt@hvoigt.net>
Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
lib/transport.tcl diff | blob | history
Git—the stupid content tracker