menubar: fix height to be rounded

Fixes https://github.com/awesomeWM/awesome/issues/414.
Closes https://github.com/awesomeWM/awesome/pull/432.
This commit is contained in:
Daniel Hahler 2015-08-29 20:47:10 +02:00
parent 769d6acb64
commit a0f8948c71
1 changed files with 1 additions and 1 deletions

View File

@ -302,7 +302,7 @@ function menubar.show(scr)
local geometry = menubar.geometry local geometry = menubar.geometry
instance.geometry = {x = geometry.x or scrgeom.x, instance.geometry = {x = geometry.x or scrgeom.x,
y = geometry.y or scrgeom.y, y = geometry.y or scrgeom.y,
height = geometry.height or theme.get_font_height() * 1.5, height = geometry.height or awful.util.round(theme.get_font_height() * 1.5),
width = geometry.width or scrgeom.width} width = geometry.width or scrgeom.width}
instance.wibox:geometry(instance.geometry) instance.wibox:geometry(instance.geometry)