diff options
author | Andrzej <ndrwrdck@gmail.com> | 2012-03-06 02:08:00 +0900 |
---|---|---|
committer | Andrzej <ndrwrdck@gmail.com> | 2012-03-06 02:08:00 +0900 |
commit | e0f073ab73b636c78b0e4e25ac4b4de142f88ed0 (patch) | |
tree | 1be000ff243df45955b8fe3c8aaa11854ec0eac1 | |
parent | 265d3ca70a120145216b6080def5d6345cd7e5b1 (diff) |
tasklist plugin: reverting "ceil" to "floor" (as in 4.8).andrzejr/deskbar2
-rw-r--r-- | plugins/tasklist/tasklist-widget.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/plugins/tasklist/tasklist-widget.c b/plugins/tasklist/tasklist-widget.c index 7c60dd9d..0f1991a0 100644 --- a/plugins/tasklist/tasklist-widget.c +++ b/plugins/tasklist/tasklist-widget.c @@ -771,8 +771,7 @@ xfce_tasklist_size_request (GtkWidget *widget, rows = MAX (tasklist->nrows, 1); if (tasklist->show_labels && tasklist->max_button_size > 0) { - rows = MAX (rows, - ceil ((gdouble) tasklist->size / (gdouble) tasklist->max_button_size)); + rows = MAX (rows, tasklist->size / tasklist->max_button_size); child_height = MIN (child_height, tasklist->max_button_size); } @@ -847,8 +846,7 @@ xfce_tasklist_size_layout (XfceTasklist *tasklist, if (xfce_tasklist_deskbar (tasklist) && tasklist->show_labels) rows = 1; else if (tasklist->show_labels && tasklist->max_button_size > 0) - rows = MAX (tasklist->nrows, - ceil ((gdouble) tasklist->size / (gdouble) tasklist->max_button_size)); + rows = MAX (tasklist->nrows, tasklist->size / tasklist->max_button_size); else rows = tasklist->nrows; |