Distribute size between taskbars correctly (issue #628)
This commit is contained in:
parent
3baa3d38a3
commit
0f96cb66f1
1 changed files with 1 additions and 0 deletions
|
@ -516,6 +516,7 @@ gboolean resize_panel(void *obj)
|
||||||
taskbar->area.width += total_size;
|
taskbar->area.width += total_size;
|
||||||
else
|
else
|
||||||
taskbar->area.height += total_size;
|
taskbar->area.height += total_size;
|
||||||
|
break;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
for (int i = 0; i < panel->num_desktops; i++) {
|
for (int i = 0; i < panel->num_desktops; i++) {
|
||||||
|
|
Loading…
Reference in a new issue