|
Strutture dati |
| struct | FileList |
Definizioni |
| #define | HIDDEN_HEIGHT 5 |
| #define | HIDE_TIMEOUT 500 |
| #define | UNHIDE_TIMEOUT 100 |
| #define | TOP TRUE |
| #define | BOTTOM FALSE |
| #define | DEFAULT_HEIGHT 30 |
Funzioni |
| static GdkFilterReturn | client_event_filter (GdkXEvent *xevent, GdkEvent *event, gpointer data) |
| static void | watch_cb (Window window, Bool is_start, long mask, void *cb_data) |
| static void | taskbar_set_workspaces (FileList *taskbar) |
| static gint | taskbar_get_thickness (FileList *taskbar) |
| static gint | taskbar_get_height (FileList *taskbar) |
| static void | taskbar_update_margins (FileList *taskbar) |
| static void | taskbar_position (FileList *taskbar) |
| static void | taskbar_toggle_autohide (FileList *taskbar) |
| static gboolean | register_tray (FileList *taskbar) |
| static gboolean | taskbar_toggle_tray (FileList *taskbar) |
| static void | taskbar_change_size (FileList *taskbar, int height) |
| static gboolean | taskbar_size_allocate (GtkWidget *widget, GtkAllocation *allocation, gpointer data) |
| static gboolean | taskbar_unhide_timeout (FileList *taskbar) |
| static gboolean | taskbar_enter (GtkWidget *widget, GdkEventCrossing *event, gpointer data) |
| static gboolean | taskbar_hide_timeout (FileList *taskbar) |
| static gboolean | taskbar_leave (GtkWidget *widget, GdkEventCrossing *event, gpointer data) |
| void | load_taskbar_options () |
| static void | notify_cb (const guchar *name, const gchar *channel_name, BrainMcsAction action, void *data) |
| static void | terminate () |
| static void | icon_docked (XfceSystemTray *tray, GtkWidget *icon, FileList *taskbar) |
| static void | icon_undocked (XfceSystemTray *tray, GtkWidget *icon, GtkBox *iconbox) |
| static void | message_new (XfceSystemTray *tray, GtkWidget *icon, glong id, glong timeout, const gchar *text) |
| gboolean | popup_menu (GtkWidget *menu, GdkEvent *event) |
| static GtkWidget * | create_options_button () |
| void | activate_workspace (int n) |
| void | match_file (ActElement *element, ActivityButton **this_act, ACTIVITY_ELEMENTS *type) |
| void | exec_element_in_act (ACTIVITY_ELEMENTS type, ActElement *element) |
| gboolean | nascondi_menu_davvero (ActivityButton *act_info) |
| void | open_act (GtkToggleButton *button, int num) |
| gboolean | act_item_selected (GtkMenuItem *item, ActElement *element) |
| void | create_activity_files_buttons (ActivityButton *act) |
| void | posiziona_finestra (GtkMenu *menu, int *x, int *y, gboolean *push, gpointer data) |
| void | chiudi_altri_menu () |
| gboolean | mostra_menu (GtkToggleButton *button, GdkEventCrossing *ev, ActivityButton *act_info) |
| gboolean | nascondi_menu (GtkToggleButton *button, GdkEventCrossing *ev, ActivityButton *act_info) |
| void | create_activity_buttons (FileList *taskbar) |
| int | main (int argc, char **argv) |
Variabili |
| static int | ActiveWorkspace = 0 |
| static BrainClient * | client = NULL |
| static BrainApplet * | this_applet |
| FileList * | taskbar |