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

🎨 fix(awesome): Rounded corners in top-panel

Browse source
This commit is contained in:
punkfairie 2024-03-06 17:53:38 -08:00
parent f2327000cb
commit 7affc5e381
Signed by: punkfairie
GPG key ID: A86AF57F837E320F
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.config/awesome/ui/top-panel/init.lua
View file

@ -2,6 +2,7 @@ local awful = require("awful")
local wibox = require("wibox") local wibox = require("wibox")
local widgets = require("ui.top-panel.widgets") local widgets = require("ui.top-panel.widgets")
local beautiful = require("beautiful") local beautiful = require("beautiful")
local gears = require("gears")
local vars = require("ui.top-panel.config") local vars = require("ui.top-panel.config")
local theme = beautiful.get() local theme = beautiful.get()
@ -56,6 +57,7 @@ screen.connect_signal("request::desktop_decoration", function(s)
border_width = theme.border_width, border_width = theme.border_width,
border_color = theme.border_normal, border_color = theme.border_normal,
height = vars.height, height = vars.height,
shape = gears.shape.rounded_rect,
widget = { widget = {
layout = wibox.layout.align.horizontal, layout = wibox.layout.align.horizontal,