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 b9915e66a3d1d98c287805547a4c0d77275009a6..698b7446ff5ed264e4c84aad3f3a57c79127a57e 100644 (file)
--- a/src/panel.h
+++ b/src/panel.h
@@ -32,11 +32,14 @@ extern int mouse_middle;
 extern int mouse_right;
 extern int mouse_scroll_up;
 extern int mouse_scroll_down;
+extern int mouse_tilt_left;
+extern int mouse_tilt_right;
 
 //panel mode
 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 };