8 GtkWidget
*panel_width
, *panel_height
, *panel_margin_x
, *panel_margin_y
, *panel_padding_x
, *panel_padding_y
, *panel_spacing
;
9 GtkWidget
*panel_wm_menu
, *panel_dock
, *panel_autohide
, *panel_autohide_show_time
, *panel_autohide_hide_time
, *panel_autohide_size
;
10 GtkWidget
*panel_combo_strut_policy
, *panel_combo_layer
, *panel_combo_width_type
, *panel_combo_height_type
, *panel_combo_monitor
;
11 GtkWidget
*items_order
;
14 GtkWidget
*taskbar_show_desktop
, *taskbar_show_name
, *taskbar_padding_x
, *taskbar_padding_y
, *taskbar_spacing
;
15 GtkWidget
*taskbar_name_padding_x
, *taskbar_name_inactive_color
, *taskbar_name_active_color
, *taskbar_name_font
;
24 GtkWidget
*systray_icon_order
;
31 GtkWidget
*combo_background
;
32 GtkWidget
*margin_x
, *margin_y
;
34 GtkWidget
*create_properties();