*
* Tint2 : taskbar
*
-* Copyright (C) 2008 thierry lorthiois (lorthiois@bbsoft.fr)
+* Copyright (C) 2008 thierry lorthiois (lorthiois@bbsoft.fr) from Omega distribution
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License version 2
#include <glib.h>
#include <Imlib2.h>
+#include "task.h"
#include "taskbar.h"
#include "server.h"
#include "window.h"
#include "panel.h"
+/* win_to_task_table holds for every Window an array of tasks. Usually the array contains only one
+ element. However for omnipresent windows (windows which are visible in every taskbar) the array
+ contains to every Task* on each panel a pointer (i.e. GPtrArray.len == server.nb_desktop)
+*/
+GHashTable* win_to_task_table;
-Task *task_get_task (Window win)
+Task *task_active;
+Task *task_drag;
+int taskbar_enabled;
+
+guint win_hash(gconstpointer key) { return (guint)*((Window*)key); }
+gboolean win_compare(gconstpointer a, gconstpointer b) { return (*((Window*)a) == *((Window*)b)); }
+void free_ptr_array(gpointer data) { g_ptr_array_free(data, 1); }
+
+
+void default_taskbar()
{
- Task *tsk;
- GSList *l0;
- int i, nb;
-
- nb = panel.nb_desktop * panel.nb_monitor;
- for (i=0 ; i < nb ; i++) {
- for (l0 = panel.taskbar[i].area.list; l0 ; l0 = l0->next) {
- tsk = l0->data;
- if (win == tsk->win)
- return tsk;
- }
- }
- return 0;
+ win_to_task_table = 0;
+ urgent_timeout = 0;
+ urgent_list = 0;
+ taskbar_enabled = 0;
+ default_taskbarname();
}
+void cleanup_taskbar()
+{
+ Panel *panel;
+ Taskbar *tskbar;
+ int i, j, k;
+
+ cleanup_taskbarname();
+ if (win_to_task_table) g_hash_table_foreach(win_to_task_table, taskbar_remove_task, 0);
+ for (i=0 ; i < nb_panel ; i++) {
+ panel = &panel1[i];
+ for (j=0 ; j < panel->nb_desktop ; j++) {
+ tskbar = &panel->taskbar[j];
+ for (k=0; k<TASKBAR_STATE_COUNT; ++k) {
+ if (tskbar->state_pix[k]) XFreePixmap(server.dsp, tskbar->state_pix[k]);
+ }
+ free_area (&tskbar->area);
+ // remove taskbar from the panel
+ panel->area.list = g_slist_remove(panel->area.list, tskbar);
+ }
+ if (panel->taskbar) {
+ free(panel->taskbar);
+ panel->taskbar = 0;
+ }
+ }
-void task_refresh_tasklist ()
+ if (win_to_task_table) {
+ g_hash_table_destroy(win_to_task_table);
+ win_to_task_table = 0;
+ }
+}
+
+
+void init_taskbar()
+{
+ if (win_to_task_table == 0)
+ win_to_task_table = g_hash_table_new_full(win_hash, win_compare, free, free_ptr_array);
+
+ task_active = 0;
+ task_drag = 0;
+}
+
+
+void init_taskbar_panel(void *p)
{
- Window *win, active_win;
- int num_results, i, j, nb;
- GSList *l0;
- Task *tsk;
+ Panel *panel =(Panel*)p;
+ int j;
- win = server_get_property (server.root_win, server.atom._NET_CLIENT_LIST, XA_WINDOW, &num_results);
+ if (panel->g_taskbar.background[TASKBAR_NORMAL] == 0) {
+ panel->g_taskbar.background[TASKBAR_NORMAL] = &g_array_index(backgrounds, Background, 0);
+ panel->g_taskbar.background[TASKBAR_ACTIVE] = &g_array_index(backgrounds, Background, 0);
+ }
+ if (panel->g_taskbar.background_name[TASKBAR_NORMAL] == 0) {
+ panel->g_taskbar.background_name[TASKBAR_NORMAL] = &g_array_index(backgrounds, Background, 0);
+ panel->g_taskbar.background_name[TASKBAR_ACTIVE] = &g_array_index(backgrounds, Background, 0);
+ }
+ if (panel->g_task.area.bg == 0)
+ panel->g_task.area.bg = &g_array_index(backgrounds, Background, 0);
+
+ // taskbar name
+ panel->g_taskbar.area_name.panel = panel;
+ panel->g_taskbar.area_name.size_mode = SIZE_BY_CONTENT;
+ panel->g_taskbar.area_name._resize = resize_taskbarname;
+ panel->g_taskbar.area_name._draw_foreground = draw_taskbarname;
+ panel->g_taskbar.area_name._on_change_layout = 0;
+ panel->g_taskbar.area_name.resize = 1;
+ panel->g_taskbar.area_name.on_screen = 1;
+
+ // taskbar
+ panel->g_taskbar.area.parent = panel;
+ panel->g_taskbar.area.panel = panel;
+ panel->g_taskbar.area.size_mode = SIZE_BY_LAYOUT;
+ panel->g_taskbar.area._resize = resize_taskbar;
+ panel->g_taskbar.area._draw_foreground = draw_taskbar;
+ panel->g_taskbar.area._on_change_layout = on_change_taskbar;
+ panel->g_taskbar.area.resize = 1;
+ panel->g_taskbar.area.on_screen = 1;
+ if (panel_horizontal) {
+ panel->g_taskbar.area.posy = panel->area.bg->border.width + panel->area.paddingy;
+ panel->g_taskbar.area.height = panel->area.height - (2 * panel->g_taskbar.area.posy);
+ panel->g_taskbar.area_name.posy = panel->g_taskbar.area.posy;
+ panel->g_taskbar.area_name.height = panel->g_taskbar.area.height;
+ }
+ else {
+ panel->g_taskbar.area.posx = panel->area.bg->border.width + panel->area.paddingy;
+ panel->g_taskbar.area.width = panel->area.width - (2 * panel->g_taskbar.area.posx);
+ panel->g_taskbar.area_name.posx = panel->g_taskbar.area.posx;
+ panel->g_taskbar.area_name.width = panel->g_taskbar.area.width;
+ }
- if (!win) return;
+ // task
+ panel->g_task.area.panel = panel;
+ panel->g_task.area.size_mode = SIZE_BY_LAYOUT;
+ panel->g_task.area._draw_foreground = draw_task;
+ panel->g_task.area._on_change_layout = on_change_task;
+ panel->g_task.area.resize = 1;
+ panel->g_task.area.on_screen = 1;
+ if ((panel->g_task.config_asb_mask & (1<<TASK_NORMAL)) == 0) {
+ panel->g_task.alpha[TASK_NORMAL] = 100;
+ panel->g_task.saturation[TASK_NORMAL] = 0;
+ panel->g_task.brightness[TASK_NORMAL] = 0;
+ }
+ if ((panel->g_task.config_asb_mask & (1<<TASK_ACTIVE)) == 0) {
+ panel->g_task.alpha[TASK_ACTIVE] = panel->g_task.alpha[TASK_NORMAL];
+ panel->g_task.saturation[TASK_ACTIVE] = panel->g_task.saturation[TASK_NORMAL];
+ panel->g_task.brightness[TASK_ACTIVE] = panel->g_task.brightness[TASK_NORMAL];
+ }
+ if ((panel->g_task.config_asb_mask & (1<<TASK_ICONIFIED)) == 0) {
+ panel->g_task.alpha[TASK_ICONIFIED] = panel->g_task.alpha[TASK_NORMAL];
+ panel->g_task.saturation[TASK_ICONIFIED] = panel->g_task.saturation[TASK_NORMAL];
+ panel->g_task.brightness[TASK_ICONIFIED] = panel->g_task.brightness[TASK_NORMAL];
+ }
+ if ((panel->g_task.config_asb_mask & (1<<TASK_URGENT)) == 0) {
+ panel->g_task.alpha[TASK_URGENT] = panel->g_task.alpha[TASK_ACTIVE];
+ panel->g_task.saturation[TASK_URGENT] = panel->g_task.saturation[TASK_ACTIVE];
+ panel->g_task.brightness[TASK_URGENT] = panel->g_task.brightness[TASK_ACTIVE];
+ }
+ if ((panel->g_task.config_font_mask & (1<<TASK_NORMAL)) == 0) panel->g_task.font[TASK_NORMAL] = (Color){{0, 0, 0}, 0};
+ if ((panel->g_task.config_font_mask & (1<<TASK_ACTIVE)) == 0) panel->g_task.font[TASK_ACTIVE] = panel->g_task.font[TASK_NORMAL];
+ if ((panel->g_task.config_font_mask & (1<<TASK_ICONIFIED)) == 0) panel->g_task.font[TASK_ICONIFIED] = panel->g_task.font[TASK_NORMAL];
+ if ((panel->g_task.config_font_mask & (1<<TASK_URGENT)) == 0) panel->g_task.font[TASK_URGENT] = panel->g_task.font[TASK_ACTIVE];
+ if ((panel->g_task.config_background_mask & (1<<TASK_NORMAL)) == 0) panel->g_task.background[TASK_NORMAL] = &g_array_index(backgrounds, Background, 0);
+ if ((panel->g_task.config_background_mask & (1<<TASK_ACTIVE)) == 0) panel->g_task.background[TASK_ACTIVE] = panel->g_task.background[TASK_NORMAL];
+ if ((panel->g_task.config_background_mask & (1<<TASK_ICONIFIED)) == 0) panel->g_task.background[TASK_ICONIFIED] = panel->g_task.background[TASK_NORMAL];
+ if ((panel->g_task.config_background_mask & (1<<TASK_URGENT)) == 0) panel->g_task.background[TASK_URGENT] = panel->g_task.background[TASK_ACTIVE];
+
+ if (panel_horizontal) {
+ panel->g_task.area.posy = panel->g_taskbar.area.posy + panel->g_taskbar.background[TASKBAR_NORMAL]->border.width + panel->g_taskbar.area.paddingy;
+ panel->g_task.area.height = panel->area.height - (2 * panel->g_task.area.posy);
+ }
+ else {
+ panel->g_task.area.posx = panel->g_taskbar.area.posx + panel->g_taskbar.background[TASKBAR_NORMAL]->border.width + panel->g_taskbar.area.paddingy;
+ panel->g_task.area.width = panel->area.width - (2 * panel->g_task.area.posx);
+ panel->g_task.area.height = panel->g_task.maximum_height;
+ }
- // Remove any old and set active win
- active_win = window_get_active ();
- if (panel.task_active) {
- panel.task_active->area.is_active = 0;
- panel.task_active = 0;
+ for (j=0; j<TASK_STATE_COUNT; ++j) {
+ if (panel->g_task.background[j] == 0)
+ panel->g_task.background[j] = &g_array_index(backgrounds, Background, 0);
+ if (panel->g_task.background[j]->border.rounded > panel->g_task.area.height/2) {
+ printf("task%sbackground_id has a too large rounded value. Please fix your tint2rc\n", j==0 ? "_" : j==1 ? "_active_" : j==2 ? "_iconified_" : "_urgent_");
+ g_array_append_val(backgrounds, *panel->g_task.background[j]);
+ panel->g_task.background[j] = &g_array_index(backgrounds, Background, backgrounds->len-1);
+ panel->g_task.background[j]->border.rounded = panel->g_task.area.height/2;
+ }
}
- nb = panel.nb_desktop * panel.nb_monitor;
- for (i=0 ; i < nb ; i++) {
- l0 = panel.taskbar[i].area.list;
- while (l0) {
- tsk = l0->data;
- l0 = l0->next;
+ // compute vertical position : text and icon
+ int height_ink, height;
+ get_text_size(panel->g_task.font_desc, &height_ink, &height, panel->area.height, "TAjpg", 5);
- if (tsk->win == active_win) {
- tsk->area.is_active = 1;
- panel.task_active = tsk;
- }
+ if (!panel->g_task.maximum_width && panel_horizontal)
+ panel->g_task.maximum_width = server.monitor[panel->monitor].width;
+
+ panel->g_task.text_posx = panel->g_task.background[0]->border.width + panel->g_task.area.paddingxlr;
+ panel->g_task.text_height = panel->g_task.area.height - (2 * panel->g_task.area.paddingy);
+ if (panel->g_task.icon) {
+ panel->g_task.icon_size1 = panel->g_task.area.height - (2 * panel->g_task.area.paddingy);
+ panel->g_task.text_posx += panel->g_task.icon_size1;
+ panel->g_task.icon_posy = (panel->g_task.area.height - panel->g_task.icon_size1) / 2;
+ }
+ //printf("monitor %d, task_maximum_width %d\n", panel->monitor, panel->g_task.maximum_width);
+
+ Taskbar *tskbar;
+ panel->nb_desktop = server.nb_desktop;
+ panel->taskbar = calloc(server.nb_desktop, sizeof(Taskbar));
+ for (j=0 ; j < panel->nb_desktop ; j++) {
+ tskbar = &panel->taskbar[j];
+ memcpy(&tskbar->area, &panel->g_taskbar.area, sizeof(Area));
+ tskbar->desktop = j;
+ if (j == server.desktop)
+ tskbar->area.bg = panel->g_taskbar.background[TASKBAR_ACTIVE];
+ else
+ tskbar->area.bg = panel->g_taskbar.background[TASKBAR_NORMAL];
+ }
+ init_taskbarname_panel(panel);
+}
+
+
+void taskbar_remove_task(gpointer key, gpointer value, gpointer user_data)
+{
+ remove_task(task_get_task(*(Window*)key));
+}
+
+
+Task *task_get_task (Window win)
+{
+ GPtrArray* task_group = task_get_tasks(win);
+ if (task_group)
+ return g_ptr_array_index(task_group, 0);
+ else
+ return 0;
+}
+
+
+GPtrArray* task_get_tasks(Window win)
+{
+ if (win_to_task_table && taskbar_enabled)
+ return g_hash_table_lookup(win_to_task_table, &win);
+ else
+ return 0;
+}
+
+
+void task_refresh_tasklist ()
+{
+ Window *win;
+ int num_results, i;
+
+ if (!taskbar_enabled) return;
+ win = server_get_property (server.root_win, server.atom._NET_CLIENT_LIST, XA_WINDOW, &num_results);
+ if (!win) return;
+
+ GList* win_list = g_hash_table_get_keys(win_to_task_table);
+ GList* it;
+ for (it=win_list; it; it=it->next) {
+ for (i = 0; i < num_results; i++)
+ if (*((Window*)it->data) == win[i])
+ break;
+ if (i == num_results)
+ taskbar_remove_task(it->data, 0, 0);
+ }
+ g_list_free(win_list);
+
+ // Add any new
+ for (i = 0; i < num_results; i++)
+ if (!task_get_task (win[i]))
+ add_task (win[i]);
- for (j = 0; j < num_results; j++) {
- if (tsk->win == win[j]) break;
- }
- // careful : remove_task change l0->next
- if (tsk->win != win[j]) remove_task (tsk);
- }
- }
+ XFree (win);
+}
- // Add any new
- for (i = 0; i < num_results; i++)
- if (!task_get_task (win[i]))
- add_task (win[i]);
- XFree (win);
+void draw_taskbar (void *obj, cairo_t *c)
+{
+ Taskbar *taskbar = obj;
+ int state = (taskbar->desktop == server.desktop) ? TASKBAR_ACTIVE : TASKBAR_NORMAL;
+
+ taskbar->state_pix[state] = taskbar->area.pix;
}
-int resize_tasks (Taskbar *taskbar)
+int resize_taskbar(void *obj)
{
- int ret, task_count, pixel_width, modulo_width=0;
- int x, taskbar_width;
- Task *tsk;
- GSList *l;
-
- // new task width for 'desktop'
- task_count = g_slist_length(taskbar->area.list);
- if (!task_count) pixel_width = g_task.maximum_width;
- else {
- taskbar_width = taskbar->area.width - (2 * g_taskbar.pix.border.width) - (2 * g_taskbar.paddingxlr);
- if (task_count>1) taskbar_width -= ((task_count-1) * g_taskbar.paddingx);
-
- pixel_width = taskbar_width / task_count;
- if (pixel_width > g_task.maximum_width) pixel_width = g_task.maximum_width;
- else modulo_width = taskbar_width % task_count;
- }
-
- if ((taskbar->task_width == pixel_width) && (taskbar->task_modulo == modulo_width)) {
- ret = 0;
- }
- else {
- ret = 1;
- taskbar->task_width = pixel_width;
- taskbar->task_modulo = modulo_width;
- taskbar->text_width = pixel_width - g_task.text_posx - g_task.area.pix.border.width - g_task.area.paddingx;
- }
-
- // change pos_x and width for all tasks
- x = taskbar->area.posx + taskbar->area.pix.border.width + taskbar->area.paddingxlr;
- for (l = taskbar->area.list; l ; l = l->next) {
- tsk = l->data;
- tsk->area.posx = x;
- tsk->area.width = pixel_width;
- if (modulo_width) {
- tsk->area.width++;
- modulo_width--;
- }
-
- x += tsk->area.width + g_taskbar.paddingx;
- }
- return ret;
+ Taskbar *taskbar = (Taskbar*)obj;
+ Panel *panel = (Panel*)taskbar->area.panel;
+ int text_width;
+
+ //printf("resize_taskbar %d %d\n", taskbar->area.posx, taskbar->area.posy);
+ if (panel_horizontal) {
+ resize_by_layout(obj, panel->g_task.maximum_width);
+
+ text_width = panel->g_task.maximum_width;
+ GSList *l = taskbar->area.list;
+ if (taskbarname_enabled) l = l->next;
+ if (l != NULL) {
+ text_width = ((Task *)l->data)->area.width;
+ }
+ taskbar->text_width = text_width - panel->g_task.text_posx - panel->g_task.area.bg->border.width - panel->g_task.area.paddingx;
+ }
+ else {
+ resize_by_layout(obj, panel->g_task.maximum_height);
+
+ taskbar->text_width = taskbar->area.width - (2 * panel->g_taskbar.area.paddingy) - panel->g_task.text_posx - panel->g_task.area.bg->border.width - panel->g_task.area.paddingx;
+ }
+ return 0;
}
-// initialise taskbar posx and width
-void resize_taskbar()
+void on_change_taskbar (void *obj)
{
- int taskbar_width, modulo_width, taskbar_on_screen;
-
- if (panel.mode == MULTI_DESKTOP) taskbar_on_screen = panel.nb_desktop;
- else taskbar_on_screen = panel.nb_monitor;
-
- taskbar_width = panel.area.width - (2 * panel.area.paddingxlr) - (2 * panel.area.pix.border.width);
- if (panel.clock.time1_format)
- taskbar_width -= (panel.clock.area.width + panel.area.paddingx);
- taskbar_width = (taskbar_width - ((taskbar_on_screen-1) * panel.area.paddingx)) / taskbar_on_screen;
-
- if (taskbar_on_screen > 1)
- modulo_width = (taskbar_width - ((taskbar_on_screen-1) * panel.area.paddingx)) % taskbar_on_screen;
- else
- modulo_width = 0;
-
- int i, nb, modulo=0, posx=0;
- nb = panel.nb_desktop * panel.nb_monitor;
- for (i=0 ; i < nb ; i++) {
- if ((i % taskbar_on_screen) == 0) {
- posx = panel.area.pix.border.width + panel.area.paddingxlr;
- modulo = modulo_width;
- }
- else posx += taskbar_width + panel.area.paddingx;
-
- panel.taskbar[i].area.posx = posx;
- panel.taskbar[i].area.width = taskbar_width;
- if (modulo) {
- panel.taskbar[i].area.width++;
- modulo--;
- }
-
- resize_tasks(&panel.taskbar[i]);
- }
+ Taskbar *tskbar = obj;
+ int k;
+
+ // reset Pixmap when position/size changed
+ for (k=0; k<TASKBAR_STATE_COUNT; ++k) {
+ if (tskbar->state_pix[k]) XFreePixmap(server.dsp, tskbar->state_pix[k]);
+ tskbar->state_pix[k] = 0;
+ }
+ tskbar->area.pix = 0;
+ tskbar->area.redraw = 1;
}
+void set_taskbar_state(Taskbar *tskbar, int state)
+{
+ tskbar->area.bg = panel1[0].g_taskbar.background[state];
+ tskbar->area.pix = tskbar->state_pix[state];
+ if (taskbarname_enabled) {
+ tskbar->bar_name.area.bg = panel1[0].g_taskbar.background_name[state];
+ tskbar->bar_name.area.pix = tskbar->bar_name.state_pix[state];
+ }
+ if (panel_mode != MULTI_DESKTOP) {
+ if (state == TASKBAR_NORMAL)
+ tskbar->area.on_screen = 0;
+ else
+ tskbar->area.on_screen = 1;
+ }
+ if (tskbar->area.on_screen == 1) {
+ if (tskbar->state_pix[state] == 0)
+ tskbar->area.redraw = 1;
+ if (taskbarname_enabled && tskbar->bar_name.state_pix[state] == 0)
+ tskbar->bar_name.area.redraw = 1;
+ if (panel_mode == MULTI_DESKTOP && panel1[0].g_taskbar.background[TASKBAR_NORMAL] != panel1[0].g_taskbar.background[TASKBAR_ACTIVE]) {
+ GSList *l = tskbar->area.list;
+ if (taskbarname_enabled) l = l->next;
+ for ( ; l ; l = l->next)
+ set_task_redraw(l->data);
+ }
+ }
+ panel_refresh = 1;
+}
+
+
+void visible_taskbar(void *p)
+{
+ Panel *panel =(Panel*)p;
+ int j;
+
+ Taskbar *taskbar;
+ for (j=0 ; j < panel->nb_desktop ; j++) {
+ taskbar = &panel->taskbar[j];
+ if (panel_mode != MULTI_DESKTOP && taskbar->desktop != server.desktop) {
+ // SINGLE_DESKTOP and not current desktop
+ taskbar->area.on_screen = 0;
+ }
+ else {
+ taskbar->area.on_screen = 1;
+ }
+ }
+ panel_refresh = 1;
+}
+