Merge branch 'maint' of git://repo.or.cz/git-gui into maint
* 'maint' of git://repo.or.cz/git-gui: git-gui: Save geometry before the window layout is damaged git-gui: Give amend precedence to HEAD over MERGE_MSG git-gui: Include 'war on whitespace' fixes from git.git
This commit is contained in:
@ -17,7 +17,7 @@ constructor new {short_title long_title} {
|
||||
|
||||
method _init {} {
|
||||
global M1B
|
||||
make_toplevel top w
|
||||
make_toplevel top w -autodelete 0
|
||||
wm title $top "[appname] ([reponame]): $t_short"
|
||||
set console_cr 1.0
|
||||
|
||||
|
Reference in New Issue
Block a user