2010-06-12 22:20:03 +00:00
|
|
|
|
|
|
|
|
#ifndef PROPERTIES
|
|
|
|
|
#define PROPERTIES
|
|
|
|
|
|
|
|
|
|
#include <gtk/gtk.h>
|
|
|
|
|
|
2011-06-06 09:16:51 +00:00
|
|
|
// panel
|
|
|
|
|
GtkWidget *panel_width, *panel_height, *panel_margin_x, *panel_margin_y, *panel_padding_x, *panel_padding_y, *panel_spacing;
|
|
|
|
|
GtkWidget *panel_wm_menu, *panel_dock, *panel_autohide, *panel_autohide_show_time, *panel_autohide_hide_time, *panel_autohide_size;
|
|
|
|
|
GtkWidget *panel_combo_strut_policy, *panel_combo_layer, *panel_combo_width_type, *panel_combo_height_type, *panel_combo_monitor;
|
|
|
|
|
GtkWidget *items_order;
|
|
|
|
|
|
|
|
|
|
// taskbar
|
|
|
|
|
GtkWidget *taskbar_show_desktop, *taskbar_show_name, *taskbar_padding_x, *taskbar_padding_y, *taskbar_spacing;
|
|
|
|
|
GtkWidget *taskbar_name_padding_x, *taskbar_name_inactive_color, *taskbar_name_active_color, *taskbar_name_font;
|
|
|
|
|
|
|
|
|
|
// task
|
|
|
|
|
|
|
|
|
|
// clock
|
|
|
|
|
|
|
|
|
|
// battery
|
|
|
|
|
|
|
|
|
|
// systray
|
|
|
|
|
GtkWidget *systray_icon_order;
|
|
|
|
|
|
|
|
|
|
// tooltip
|
|
|
|
|
|
|
|
|
|
// launcher
|
|
|
|
|
|
|
|
|
|
// background
|
|
|
|
|
GtkWidget *combo_background;
|
|
|
|
|
GtkWidget *margin_x, *margin_y;
|
2010-06-12 22:20:03 +00:00
|
|
|
|
|
|
|
|
GtkWidget *create_properties();
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
