diff options
author | Pavel Makhov <pmakhov@theoctavegroup.com> | 2019-12-17 16:27:30 -0500 |
---|---|---|
committer | Pavel Makhov <pmakhov@theoctavegroup.com> | 2019-12-17 16:27:30 -0500 |
commit | a1f93fa8bd836f106acb3decbd1d21a9877e08f9 (patch) | |
tree | dc0ea8a89230c52e23dd75c7d37ef4cb4e824e1a /gerrit-widget | |
parent | 2a1fb6011857f12d3bfc4a67b73f427f047a788f (diff) |
tiny refactoring
Diffstat (limited to 'gerrit-widget')
-rw-r--r-- | gerrit-widget/gerrit.lua | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gerrit-widget/gerrit.lua b/gerrit-widget/gerrit.lua index af3879b..890371f 100644 --- a/gerrit-widget/gerrit.lua +++ b/gerrit-widget/gerrit.lua @@ -45,14 +45,12 @@ local function worker(args) } local popup = awful.popup{ - visible = true, ontop = true, visible = false, shape = gears.shape.rounded_rect, border_width = 1, border_color = beautiful.bg_focus, maximum_width = 400, - preferred_positions = top, offset = { y = 5 }, widget = {} } @@ -84,7 +82,7 @@ local function worker(args) } local function get_name_by_user_id(user_id) - if name_dict[user_id] == null then + if name_dict[user_id] == nil then name_dict[user_id] = {} end |