diff options
| author | Rui Matos <tiagomatos@gmail.com> | 2011-08-09 00:49:44 +0100 |
|---|---|---|
| committer | Cosimo Cecchi <cosimoc@gnome.org> | 2011-08-09 11:27:29 +0200 |
| commit | 4dedecd2e972a74786b207ba364d9327e5fe803b (patch) | |
| tree | 4d1fdd5b8bc2d5a0cca49cfcac0ab8176598cbac /src | |
| parent | 13cf8d731c57edc0953e4b3563c361abab2a5492 (diff) | |
expander: ensure both x and y are rounded to their integral part
Otherwise we might end up drawing between pixels, which looks blurry.
https://bugzilla.gnome.org/show_bug.cgi?id=656187
Diffstat (limited to 'src')
| -rw-r--r-- | src/adwaita_engine.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/adwaita_engine.c b/src/adwaita_engine.c index 43e6c801..22d3a6b3 100644 --- a/src/adwaita_engine.c +++ b/src/adwaita_engine.c @@ -487,6 +487,9 @@ adwaita_engine_render_expander (GtkThemingEngine *engine, x += width / 2 - side / 2; y += height / 2 - side / 2; + x = floor (x); + y = floor (y); + /* make sure the rendered side length is always odd */ if (((gint) side % 2) == 0) side -= 1.0; |