Aire-One
/
awesome
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

awful.menu: use beautiful.xresources.apply_dpi for margins

This commit is contained in:
Daniel Hahler 2015-07-15 18:38:57 +02:00
parent 5c78cf07fc
commit 0ea2bbb126
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/awful/menu.lua
View File

@ -15,6 +15,7 @@ local util = require("awful.util")
local tags = require("awful.tag")
local keygrabber = require("awful.keygrabber")
local beautiful = require("beautiful")
local dpi = require("beautiful").xresources.apply_dpi
local object = require("gears.object")
local surface = require("gears.surface")
local cairo = require("lgi").cairo
@ -546,13 +547,13 @@ function menu.entry(parent, args)
end
iconbox = wibox.widget.imagebox()
if iconbox:set_image(icon) then
margin:set_left(2)
margin:set_left(dpi(2))
else
iconbox = nil
end
end
if not iconbox then
margin:set_left(args.theme.height + 2)
margin:set_left(args.theme.height + dpi(2))
end
-- Create the submenu icon widget
local submenu