add wm_menu config option to disable window manager s menu

[chaz/tint2] / src / panel.c

diff --git a/src/panel.c b/src/panel.c
index 4e8547e802e9a888a1d4285a0d4ba31adfb3100d..00e75ded579b144386abfd1f60b940e7f97b8663 100644 (file)
--- a/src/panel.c
+++ b/src/panel.c
@@ -40,6 +40,7 @@ int mouse_scroll_up;
 int mouse_scroll_down;
 
 int panel_mode;
+int wm_menu;
 int panel_position;
 int panel_refresh;