memorized taskbar pixmap. So we don t redraw taskbar/task when switching desktop.
git-svn-id: http://tint2.googlecode.com/svn/trunk@577 121b4492-b84c-0410-8b4c-0d4edfb3f3cc
This commit is contained in:
10
src/config.c
10
src/config.c
@@ -454,15 +454,15 @@ void add_entry (char *key, char *value)
|
||||
else if (strcmp (key, "taskbar_background_id") == 0) {
|
||||
int id = atoi (value);
|
||||
id = (id < backgrounds->len && id >= 0) ? id : 0;
|
||||
panel_config.g_taskbar.bg = &g_array_index(backgrounds, Background, id);
|
||||
if (panel_config.g_taskbar.bg_active == 0)
|
||||
panel_config.g_taskbar.bg_active = panel_config.g_taskbar.bg;
|
||||
panel_config.g_taskbar.area.bg = panel_config.g_taskbar.bg;
|
||||
panel_config.g_taskbar.background[TASKBAR_NORMAL] = &g_array_index(backgrounds, Background, id);
|
||||
if (panel_config.g_taskbar.background[TASKBAR_ACTIVE] == 0)
|
||||
panel_config.g_taskbar.background[TASKBAR_ACTIVE] = panel_config.g_taskbar.background[TASKBAR_NORMAL];
|
||||
//panel_config.g_taskbar.area.bg = panel_config.g_taskbar.bg;
|
||||
}
|
||||
else if (strcmp (key, "taskbar_active_background_id") == 0) {
|
||||
int id = atoi (value);
|
||||
id = (id < backgrounds->len && id >= 0) ? id : 0;
|
||||
panel_config.g_taskbar.bg_active = &g_array_index(backgrounds, Background, id);
|
||||
panel_config.g_taskbar.background[TASKBAR_ACTIVE] = &g_array_index(backgrounds, Background, id);
|
||||
}
|
||||
else if (strcmp (key, "taskbar_name") == 0) {
|
||||
taskbarname_enabled = atoi (value);
|
||||
|
||||
Reference in New Issue
Block a user