tint2conf: work in progress

[chaz/tint2] / src / tint2conf / properties.h

diff --git a/src/tint2conf/properties.h b/src/tint2conf/properties.h
index 3fe023972ef331b828f1aa3167254e4b8706dc36..e9bec9cac5b309f72096921cd3cb453466c30855 100644 (file)
--- a/src/tint2conf/properties.h
+++ b/src/tint2conf/properties.h
@@ -15,6 +15,9 @@ GtkWidget  *taskbar_show_desktop, *taskbar_show_name, *taskbar_padding_x, *taskb
 GtkWidget  *taskbar_name_padding_x, *taskbar_name_inactive_color, *taskbar_name_active_color, *taskbar_name_font;
 
 // task
+GtkWidget  *task_mouse_middle, *task_mouse_right, *task_mouse_scroll_up,  *task_mouse_scroll_down;
+GtkWidget  *task_show_icon, *task_show_text, *task_align_center,  *task_font_shadow;
+GtkWidget  *task_maximum_width, *task_maximum_height, *task_padding_x, *task_padding_y, *task_font;
 
 // clock
 GtkWidget  *clock_format_line1, *clock_format_line2, *clock_tmz_line1, *clock_tmz_line2;