all repos — fluxbox @ b8cc8770e8b36fdc054575cc921cdcfab56c2eaf

custom fork of the fluxbox windowmanager

changed name on windowID to window
fluxgen fluxgen
commit

b8cc8770e8b36fdc054575cc921cdcfab56c2eaf

parent

7865dd73c1d7a80818225d89e5f9dcafd6cf869f

1 files changed, 2 insertions(+), 2 deletions(-)

jump to
M src/FbTk/Menu.ccsrc/FbTk/Menu.cc

@@ -22,7 +22,7 @@ // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER // DEALINGS IN THE SOFTWARE. -// $Id: Menu.cc,v 1.7 2003/01/24 12:19:15 fluxgen Exp $ +// $Id: Menu.cc,v 1.8 2003/02/03 13:41:19 fluxgen Exp $ //use GNU extensions #ifndef _GNU_SOURCE

@@ -140,7 +140,7 @@

Menu::~Menu() { menu.window.hide(); - if (shown && shown->windowID() == windowID()) + if (shown && shown->window() == window()) shown = (Menu *) 0; while (!menuitems.empty()) {