add wm_menu config option to disable window manager s menu

[chaz/tint2] / src / panel.h

diff --git a/src/panel.h b/src/panel.h
index 8e0c3053a5ad7159ca16c36b20acfba92ecfc987..ef4f33c2934c06d2762a3a222d9fc8fef9044770 100644 (file)
--- a/src/panel.h
+++ b/src/panel.h
@@ -34,6 +34,7 @@ extern int mouse_scroll_down;
 //panel mode
 enum { SINGLE_DESKTOP=0, MULTI_DESKTOP, SINGLE_MONITOR };
 extern int panel_mode;
+extern int wm_menu;
 
 //panel position
 enum { LEFT=0x01, RIGHT=0x02, CENTER=0X04, TOP=0X08, BOTTOM=0x10 };