hide the windowmenu if the window it points to is unmanaged
tree011c304a60f772a220f9b6913c95c62d9052ad01
-rw-r--r-- 3659 AUTHORS
-rw-r--r-- 4269 COMPLIANCE
-rw-r--r-- 1653 ChangeLog
-rw-r--r-- 31650 ChangeLog-0.40.x
-rw-r--r-- 14998 ChangeLog-0.50.x
-rw-r--r-- 3778 ChangeLog-0.51.x
-rw-r--r-- 23337 ChangeLog-0.60.x
-rw-r--r-- 2048 ChangeLog.bsetbg
-rw-r--r-- 4036 INSTALL
-rw-r--r-- 1194 LICENSE
-rw-r--r-- 580 Makefile.am
-rw-r--r-- 4164 README
-rw-r--r-- 674 README.bbtools
-rw-r--r-- 6612 README.bsetbg
-rw-r--r-- 1423 RELNOTES
-rw-r--r-- 1675 TODO
-rw-r--r-- 8469 configure.ac
drwxr-xr-x - data
drwxr-xr-x - doc
drwxr-xr-x - lib
-rwxr-xr-x 192 mk.sh
drwxr-xr-x - nls
drwxr-xr-x - src
drwxr-xr-x - util
-rw-r--r-- 39 version.h.in