*fix* bug fixed (multi-desktop and taskbar_active_id != taskbar_id)

git-svn-id: http://tint2.googlecode.com/svn/trunk@362 121b4492-b84c-0410-8b4c-0d4edfb3f3cc
This commit is contained in:
Andreas.Fink85 2010-01-18 20:16:32 +00:00
parent 9b036efc5c
commit fc1ebc04b6
2 changed files with 3 additions and 3 deletions

View file

@ -435,7 +435,7 @@ gboolean add_icon(Window id)
// show the window
if (!traywin->hide)
XMapRaised(server.dsp, traywin->tray_id);
XMapWindow(server.dsp, traywin->tray_id);
if (!traywin->hide && !panel->is_hidden)
XMapRaised(server.dsp, traywin->id);

View file

@ -268,7 +268,7 @@ void resize_taskbar(void *obj)
tsk = l->data;
if (!tsk->area.on_screen) continue;
tsk->area.posx = x;
if (tsk->area.width != pixel_width) set_task_redraw(tsk);
set_task_redraw(tsk); // always redraw task, because the background could have changed (taskbar_active_id)
tsk->area.width = pixel_width;
if (modulo_width) {
tsk->area.width++;
@ -306,7 +306,7 @@ void resize_taskbar(void *obj)
tsk = l->data;
if (!tsk->area.on_screen) continue;
tsk->area.posy = y;
if (tsk->area.height != pixel_height) set_task_redraw(tsk);
set_task_redraw(tsk); // always redraw task, because the background could have changed (taskbar_active_id)
tsk->area.height = pixel_height;
if (modulo_height) {
tsk->area.height++;