added possibility to put tint2 into the windowmanagers dock

[chaz/tint2] / src / panel.h

diff --git a/src/panel.h b/src/panel.h
index 9974b27a1ae65ea2243b07d86a9531762c4527fd..698b7446ff5ed264e4c84aad3f3a57c79127a57e 100644 (file)
--- a/src/panel.h
+++ b/src/panel.h
@@ -39,6 +39,7 @@ extern int mouse_tilt_right;
 enum { SINGLE_DESKTOP=0, MULTI_DESKTOP };
 extern int panel_mode;
 extern int wm_menu;
+extern int panel_dock;
 
 //panel position
 enum { LEFT=0x01, RIGHT=0x02, CENTER=0X04, TOP=0X08, BOTTOM=0x10 };