added taskbar_active_background_id to change current desktop background

[chaz/tint2] / src / panel.h

diff --git a/src/panel.h b/src/panel.h
index a8247a91af375c6803a1d05393f099a633bc00a0..9974b27a1ae65ea2243b07d86a9531762c4527fd 100644 (file)
--- a/src/panel.h
+++ b/src/panel.h
@@ -32,6 +32,8 @@ 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 };
@@ -41,6 +43,7 @@ extern int wm_menu;
 //panel position
 enum { LEFT=0x01, RIGHT=0x02, CENTER=0X04, TOP=0X08, BOTTOM=0x10 };
 extern int panel_position;
+extern int panel_horizontal;
 
 extern int panel_refresh;