diff options
author | Anselm R Garbe <anselm@garbe.us> | 2010-04-01 21:40:11 +0100 |
---|---|---|
committer | Anselm R Garbe <anselm@garbe.us> | 2010-04-01 21:40:11 +0100 |
commit | 0ba3bae98196ec8a0887f494cb8a2dd5b645f763 (patch) | |
tree | 3beb67d9e05f25faee00181fb08b22aaebfc4bb6 | |
parent | ebeb4e4752e33e9a87cbe0725f65595cba0037fa (diff) |
applied Troels' patch, thanks Troels!
-rw-r--r-- | dmenu.c | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -658,6 +658,10 @@ run(void) { | |||
658 | if(ev.xexpose.count == 0) | 658 | if(ev.xexpose.count == 0) |
659 | drawmenu(); | 659 | drawmenu(); |
660 | break; | 660 | break; |
661 | case VisibilityNotify: | ||
662 | if (ev.xvisibility.state != VisibilityUnobscured) | ||
663 | XRaiseWindow(dpy, win); | ||
664 | break; | ||
661 | } | 665 | } |
662 | } | 666 | } |
663 | 667 | ||
@@ -691,7 +695,7 @@ setup(Bool topbar) { | |||
691 | /* menu window */ | 695 | /* menu window */ |
692 | wa.override_redirect = True; | 696 | wa.override_redirect = True; |
693 | wa.background_pixmap = ParentRelative; | 697 | wa.background_pixmap = ParentRelative; |
694 | wa.event_mask = ExposureMask | ButtonPressMask | KeyPressMask; | 698 | wa.event_mask = ExposureMask | ButtonPressMask | KeyPressMask | VisibilityChangeMask; |
695 | 699 | ||
696 | /* menu window geometry */ | 700 | /* menu window geometry */ |
697 | mh = dc.font.height + 2; | 701 | mh = dc.font.height + 2; |