2016-03-28 07:53:39 +02:00
|
|
|
-- Stretch the drawable to the top of the parent area. --DOC_HEADER
|
|
|
|
-- @tparam drawable d A drawable (like `client` or `wibox`) --DOC_HEADER
|
|
|
|
-- @tparam[opt={}] table args Other arguments --DOC_HEADER
|
|
|
|
-- @name stretch_up --DOC_HEADER
|
|
|
|
-- @class function --DOC_HEADER
|
|
|
|
|
|
|
|
screen[1]._resize {width = 128, height = 96} --DOC_HIDE
|
|
|
|
local placement = require("awful.placement") --DOC_HIDE
|
|
|
|
|
|
|
|
local c = client.gen_fake {x = 45, y = 35, width=40, height=30} --DOC_HIDE
|
|
|
|
placement.stretch_up(client.focus)
|
|
|
|
|
2016-04-19 05:56:23 +02:00
|
|
|
assert(c.y==0) --DOC_HIDE
|
2016-03-28 07:53:39 +02:00
|
|
|
assert(c.x==45) --DOC_HIDE
|
|
|
|
assert(c.width == 40) --DOC_HIDE
|
2016-04-19 05:56:23 +02:00
|
|
|
print(c.height-2*c.border_width,35+30)
|
|
|
|
assert(c.height-2*c.border_width == 35+30) --DOC_HIDE
|