diff options
| -rwxr-xr-x | git-gui.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/git-gui.sh b/git-gui.sh index e133331ef5..7031759751 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -137,6 +137,20 @@ unset oguimsg ###################################################################### ## +## On Mac, bring the current Wish process window to front + +if {[tk windowingsystem] eq "aqua"} { + catch { + exec osascript -e [format { + tell application "System Events" + set frontmost of processes whose unix id is %d to true + end tell + } [pid]] + } +} + +###################################################################### +## ## read only globals set _appname {Git Gui} |