hide the windowmenu if the window it points to is unmanaged
commit89f80901d739c1817baad5a64c56e88527695a9b
authorbradleyhughes <bradleyhughes>
Mon, 7 Feb 2005 09:19:13 +0000 (7 09:19 +0000)
committerbradleyhughes <bradleyhughes>
Mon, 7 Feb 2005 09:19:13 +0000 (7 09:19 +0000)
tree011c304a60f772a220f9b6913c95c62d9052ad01
parenteeec72244bb74e09675e8b03bee472f37eb8b6e3
hide the windowmenu if the window it points to is unmanaged
src/Screen.cc
src/Windowmenu.hh