|
|
@ -2,6 +2,8 @@ local awful = require("awful") |
|
|
|
local gears = require("gears") |
|
|
|
local wibox = require("wibox") |
|
|
|
local menu = require("widgets.polymenu") |
|
|
|
-- To conserve memory we keep one menu at a time |
|
|
|
if not menu_widget then |
|
|
|
local move_screentags = {} |
|
|
|
local toggle_screentags = {} |
|
|
|
awful.screen.connect_for_each_screen(function(s) |
|
|
@ -43,13 +45,12 @@ awful.screen.connect_for_each_screen(function(s) |
|
|
|
toggle_tags |
|
|
|
}) |
|
|
|
end) |
|
|
|
local controls_widget = wibox.widget { |
|
|
|
controls_widget = wibox.widget { |
|
|
|
forced_width = 72, |
|
|
|
forced_height = 24, |
|
|
|
layout = wibox.layout.fixed.horizontal, |
|
|
|
} |
|
|
|
-- To conserve memory we keep one menu at a time |
|
|
|
local menu_widget = menu({ |
|
|
|
menu_widget = menu({ |
|
|
|
before = { |
|
|
|
controls_widget |
|
|
|
}, |
|
|
@ -83,6 +84,7 @@ local menu_widget = menu({ |
|
|
|
}, |
|
|
|
vertical = true |
|
|
|
}) |
|
|
|
end |
|
|
|
|
|
|
|
return function(c) |
|
|
|
local buttons = gears.table.join( |
|
|
|