14 Commits (8871820169e7d1ff58717d20bfdc3a753eaa6570)

Author SHA1 Message Date
Pat Thoyts 508dee31f3 git-gui: set suitable extended window manager hints. 13 years ago
Heiko Voigt 69e21b8392 git-gui: teach fetch/prune menu to do it for all remotes 14 years ago
Heiko Voigt fb027e148a git-gui: scroll down to default selection for push dialog 14 years ago
Heiko Voigt 9e34e62bcb git gui: keep selected branch when remote is changed in push dialog 14 years ago
Pat Thoyts c80d7be5e1 git-gui: use themed tk widgets with Tk 8.5 15 years ago
Mark Burton 861c68e3b6 git-gui: Teach start_push_anywhere_action{} to notice when remote is a mirror. 16 years ago
Petr Baudis 4259568d72 git-gui: Avoid using the term URL when specifying repositories 17 years ago
Shawn O. Pearce 1952aa1d57 git-gui: Allow forced push into remote repository 18 years ago
Shawn O. Pearce d4278b51e3 git-gui: Fix missing i18n markup in push/fetch windows 18 years ago
Christian Stimming 1ac17950e9 Mark strings for translation. 18 years ago
Shawn O. Pearce d41b43eb4c git-gui: Refactor branch switch to support detached head 18 years ago
Shawn O. Pearce 5b6ffff644 git-gui: GUI support for running 'git remote prune <name>' 18 years ago
Shawn O. Pearce a35d65d9c8 git-gui: Move console procs into their own namespace 18 years ago
Shawn O. Pearce f522c9b5ed git-gui: Refactor into multiple files to save my sanity 18 years ago