diff options
| author |  Pat Thoyts <patthoyts@users.sourceforge.net> | 2011-10-19 14:26:29 +0100 |
|---|---|---|
| committer | Pat Thoyts <patthoyts@users.sourceforge.net> | 2011-10-19 14:26:29 +0100 |
| commit | 508dee31f3412d8708b7b47c1677b4294c865edb (patch) | |
| tree | 44970ff9003fae219c26f0bc25c6e5ad02533faf /lib/choose_rev.tcl | |
| parent | git-gui: fix display of path in browser title (diff) | |
| download | tgif-508dee31f3412d8708b7b47c1677b4294c865edb.tar.xz | |
git-gui: set suitable extended window manager hints.
This patch uses recent Tk attributes support to specify the intended use of new
toplevels by setting the correct EWMH hint. This helps modern window managers
to apply sensible decoration for the tooltip and dialogs.
Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
Diffstat (limited to 'lib/choose_rev.tcl')
| -rw-r--r-- | lib/choose_rev.tcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/choose_rev.tcl b/lib/choose_rev.tcl index 54c7957a66..6dae7937d5 100644 --- a/lib/choose_rev.tcl +++ b/lib/choose_rev.tcl @@ -497,6 +497,7 @@ method _open_tooltip {} { if {$tooltip_wm eq {}} { set tooltip_wm [toplevel $w_list.tooltip -borderwidth 1] + catch {wm attributes $tooltip_wm -type tooltip} wm overrideredirect $tooltip_wm 1 wm transient $tooltip_wm [winfo toplevel $w_list] set tooltip_t $tooltip_wm.label |