chris/dotfiles
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

adding dpi to panel margins

Browse source
This commit is contained in:
Chris Cochrun 2020-07-01 13:05:33 -05:00
parent a2eac14c07
commit b4b8e48975
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
awesome/rc.lua
View file

@ -361,7 +361,7 @@ awful.screen.connect_for_each_screen(function(s)
s.updater, s.updater,
s.network, s.network,
s.battery, s.battery,
wibox.container.margin (s.mylayoutbox,0,25,0,0), wibox.container.margin (s.mylayoutbox,0,dpi(25),0,0),
}, },
-- bg = "#00FF0066", -- bg = "#00FF0066",
widget = wibox.container.background, widget = wibox.container.background,
@ -399,10 +399,10 @@ awful.screen.connect_for_each_screen(function(s)
expand = "outside", expand = "outside",
{ -- Left widgets { -- Left widgets
layout = wibox.layout.align.horizontal, layout = wibox.layout.align.horizontal,
wibox.container.margin (s.mytaglist,15,0,-3,0), wibox.container.margin (s.mytaglist,dpi(15),0,dpi(-3),0),
wibox.container.margin (s.mytasklist,25,25,0,0), -- Middle widget wibox.container.margin (s.mytasklist,dpi(25),dpi(25),0,0), -- Middle widget
s.myemptywidget, s.myemptywidget,
spacing = 15 spacing = dpi(15)
}, },
mytextclock, mytextclock,
{ -- Right widgets { -- Right widgets