awesomewm-mirrors
/
awesome-launch
mirror of https://github.com/jcrd/awesome-launch.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

widget: Use `apply_dpi`

This commit is contained in:
James Reed 2020-09-22 23:47:27 -06:00
parent 9be1a4216b
commit 75075f3245
No known key found for this signature in database
GPG Key ID: 0BE2BD33C5E8125E
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
widget.lua
View File

@ -10,6 +10,7 @@ local awful = require("awful")
local gears = require("gears") local gears = require("gears")
local wibox = require("wibox") local wibox = require("wibox")
local beautiful = require("beautiful") local beautiful = require("beautiful")
local dpi = require("beautiful.xresources").apply_dpi
local shared = require("awesome-launch.shared") local shared = require("awesome-launch.shared")
@ -19,8 +20,8 @@ local widget = {}
widget.color = beautiful.bg_focus widget.color = beautiful.bg_focus
widget.border_color = beautiful.fg_normal widget.border_color = beautiful.fg_normal
widget.width = beautiful.wibar_height or 20 widget.width = beautiful.wibar_height or dpi(20)
widget.margins = 2 widget.margins = dpi(2)
local function props_visible(s, p) local function props_visible(s, p)
if p.screen and p.screen ~= s then if p.screen and p.screen ~= s then