mirror of
https://github.com/awesomeWM/awesome
synced 2024-11-17 07:47:41 +01:00
awful.tooltip: border: do not default to border_width (#1955)
Several themes use `dpi(2)` which is quite thick, and it is better to use the default of 0 here, instead of `beautiful.border_width`, which is meant for borders on clients.
This commit is contained in:
parent
2886095358
commit
828eefed79
1 changed files with 1 additions and 2 deletions
|
@ -146,8 +146,7 @@ local function apply_shape(self)
|
|||
|
||||
-- Draw the border (multiply by 2, then mask the inner part to save a path)
|
||||
local bw = (self._private.border_width
|
||||
or beautiful.tooltip_border_width
|
||||
or beautiful.border_width or 0) * 2
|
||||
or beautiful.tooltip_border_width or 0) * 2
|
||||
|
||||
-- Fix anti-aliasing
|
||||
if bw > 2 and awesome.composite_manager_running then
|
||||
|
|
Loading…
Reference in a new issue