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 f7fc0ff66207d4306b8091a9bc24f6952b0353a7..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 };
@@ -43,6 +44,7 @@ extern int panel_refresh;
 
 extern Task *task_active;
 extern Task *task_drag;
+extern Task *task_urgent;
 
 
 typedef struct {