mirror of
https://github.com/git/git.git
synced 2026-03-13 18:33:25 +01:00
git-gui: actually show the choose repository dialog
For some reason, "." was withdrawn, I think. Therefore we have to deiconify it, so the user sees something. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
This commit is contained in:
@@ -123,6 +123,7 @@ constructor pick {} {
|
||||
grab $top
|
||||
focus $top
|
||||
"
|
||||
wm deiconify $top
|
||||
tkwait variable @done
|
||||
|
||||
if {$top eq {.}} {
|
||||
|
||||
Reference in New Issue
Block a user