nixo
/
gri3-wm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

tabbed: floor(), put extra pixels into the last tab (Thanks xeen) 

This is the only sane way I can think of to deal with the problem that
the screen size may not be dividable by the amount of tabbed children
(e.g. 1280 / 41 = 31.219512…).

fixes #645
fixes #791
This commit is contained in:
Michael Stapelberg 2013-04-07 09:58:34 +02:00
parent 4f72c5c5fc
commit 9f353996fe
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/render.c
View File

@ -372,10 +372,16 @@ void render_con(Con *con, bool render_fullscreen) {
child->rect.width = rect.width;
child->rect.height = rect.height;
child->deco_rect.width = ceil((float)child->rect.width / children);
child->deco_rect.width = floor((float)child->rect.width / children);
child->deco_rect.x = x - con->rect.x + i * child->deco_rect.width;
child->deco_rect.y = y - con->rect.y;
/* Since the tab width may be something like 31,6 px per tab, we
* let the last tab have all the extra space (0,6 * children). */
if (i == (children-1)) {
child->deco_rect.width += (child->rect.width - (child->deco_rect.x + child->deco_rect.width));
}
if (children > 1 || (child->border_style != BS_PIXEL && child->border_style != BS_NONE)) {
child->rect.y += deco_height;
child->rect.height -= deco_height;