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

Don’t round up if the corrected height/width is the same as the old one

This commit is contained in:
Michael Stapelberg 2009-08-23 20:30:17 +02:00
parent d9d4d9fff1
commit 8c4e2e48f4
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/layout.c
View File

@ -298,14 +298,21 @@ void resize_client(xcb_connection_t *conn, Client *client) {
if (client->height_increment > 1) { if (client->height_increment > 1) {
int old_height = rect->height; int old_height = rect->height;
rect->height = ((int)(rect->height / client->height_increment) * client->height_increment) + 1; rect->height = ((int)(rect->height / client->height_increment) * client->height_increment);
/* We round up if the height was changed */
if (rect->height != old_height)
rect->height++;
LOG("Lost %d pixel due to client's height_increment (%d px)\n", LOG("Lost %d pixel due to client's height_increment (%d px)\n",
old_height - rect->height, client->height_increment); old_height - rect->height, client->height_increment);
} }
if (client->width_increment > 1) { if (client->width_increment > 1) {
int old_width = rect->width; int old_width = rect->width;
rect->width = ((int)(rect->width / client->width_increment) * client->width_increment) + 1; rect->width = ((int)(rect->width / client->width_increment) * client->width_increment);
/* We round up if the height was changed */
if (rect->width != old_width)
rect->width++;
LOG("Lost %d pixel due to client's width_increment (%d px)\n", LOG("Lost %d pixel due to client's width_increment (%d px)\n",
old_width - rect->width, client->width_increment); old_width - rect->width, client->width_increment);
} }