naughty: add vertical margin

Signed-off-by: koniu <gkusnierz@gmail.com>
This commit is contained in:
koniu 2009-05-06 16:55:26 +01:00 committed by Julien Danjou
parent a4de60b23f
commit 80685be123
1 changed files with 1 additions and 1 deletions

View File

@ -331,7 +331,7 @@ function notify(args)
-- create textbox -- create textbox
local textbox = widget({ type = "textbox", align = "flex" }) local textbox = widget({ type = "textbox", align = "flex" })
textbox:buttons(util.table.join(button({ }, 1, run), button({ }, 3, die))) textbox:buttons(util.table.join(button({ }, 1, run), button({ }, 3, die)))
textbox:margin({ right = config.margin, left = config.margin }) textbox:margin({ right = config.margin, left = config.margin, bottom = 2 * config.margin })
textbox.text = string.format('<span font_desc="%s"><b>%s</b>%s</span>', font, title, text) textbox.text = string.format('<span font_desc="%s"><b>%s</b>%s</span>', font, title, text)
if hover_timeout then textbox.mouse_enter = hover_destroy end if hover_timeout then textbox.mouse_enter = hover_destroy end