|
Strutture dati |
| struct | _Taskbar |
Definizioni |
| #define | CHANNEL "taskbar" |
| #define | HIDDEN_HEIGHT 5 |
| #define | HIDE_TIMEOUT 500 |
| #define | UNHIDE_TIMEOUT 100 |
| #define | TOP TRUE |
| #define | BOTTOM FALSE |
| #define | DEFAULT_HEIGHT 30 |
Ridefinizioni di tipo (typedefs) |
| typedef _Taskbar | Taskbar |
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 (Taskbar *taskbar) |
| static gint | taskbar_get_thickness (Taskbar *taskbar) |
| static gint | taskbar_get_height (Taskbar *taskbar) |
| static void | taskbar_update_margins (Taskbar *taskbar) |
| static void | taskbar_position (Taskbar *taskbar) |
| static void | taskbar_toggle_autohide (Taskbar *taskbar) |
| static void | taskbar_toggle_pager (Taskbar *taskbar) |
| static gboolean | register_tray (Taskbar *taskbar) |
| static gboolean | taskbar_toggle_tray (Taskbar *taskbar) |
| static void | taskbar_change_size (Taskbar *taskbar, int height) |
| static gboolean | taskbar_size_allocate (GtkWidget *widget, GtkAllocation *allocation, gpointer data) |
| static gboolean | taskbar_unhide_timeout (Taskbar *taskbar) |
| static gboolean | taskbar_enter (GtkWidget *widget, GdkEventCrossing *event, gpointer data) |
| static gboolean | taskbar_hide_timeout (Taskbar *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, Taskbar *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 () |
| int | main (int argc, char **argv) |
Variabili |
| static BrainClient * | client = NULL |
| static BrainApplet * | this_applet |
| Taskbar * | taskbar |