Ubuntu
topmenu-gtk package

  1. Bug #1580382
  2. Comment #1

Comment 1 for bug 1580382

Revision history for this message
Sebastien Bacher (seb128) wrote :

the stacktrace is

"#1 0xb49a233b in gdk_x11_window_get_xid (window=0x0) at /build/gtk+3.0-R6U57c/gtk+3.0-3.18.9/./gdk/x11/gdkwindow-x11.c:5527
No locals.
#2 0xae70dec7 in topmenu_monitor_set_cur_server (self=0x9397900, window=0x0) at topmenu-monitor.c:74
No locals.
#3 0xae70e263 in handle_cur_server_event (xevent=0xbf9d3b6c, event=0x925bc00, data=0x9397900) at topmenu-monitor.c:62"

Those source files are from "topmenu-gtk" it seems, reassigning there