2016-05-23 05:56:45 +02:00
|
|
|
---------------------------------------------------------------------------
|
2019-11-29 01:45:07 +01:00
|
|
|
-- Add a margin around a widget.
|
2016-05-24 20:13:47 +02:00
|
|
|
--
|
|
|
|
--@DOC_wibox_container_defaults_margin_EXAMPLE@
|
2016-05-23 05:56:45 +02:00
|
|
|
-- @author Uli Schlachter
|
|
|
|
-- @copyright 2010 Uli Schlachter
|
2019-06-06 08:10:36 +02:00
|
|
|
-- @containermod wibox.container.margin
|
2016-05-23 05:56:45 +02:00
|
|
|
---------------------------------------------------------------------------
|
|
|
|
|
|
|
|
local pairs = pairs
|
|
|
|
local setmetatable = setmetatable
|
|
|
|
local base = require("wibox.widget.base")
|
|
|
|
local gcolor = require("gears.color")
|
|
|
|
local cairo = require("lgi").cairo
|
2017-03-08 21:18:33 +01:00
|
|
|
local gtable = require("gears.table")
|
2016-05-23 05:56:45 +02:00
|
|
|
|
|
|
|
local margin = { mt = {} }
|
|
|
|
|
|
|
|
-- Draw a margin layout
|
|
|
|
function margin:draw(_, cr, width, height)
|
2016-05-26 22:19:48 +02:00
|
|
|
local x = self._private.left
|
|
|
|
local y = self._private.top
|
|
|
|
local w = self._private.right
|
|
|
|
local h = self._private.bottom
|
|
|
|
local color = self._private.color
|
2016-05-23 05:56:45 +02:00
|
|
|
|
2016-05-26 22:19:48 +02:00
|
|
|
if not self._private.widget or width <= x + w or height <= y + h then
|
2016-05-23 05:56:45 +02:00
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
if color then
|
|
|
|
cr:set_source(color)
|
|
|
|
cr:rectangle(0, 0, width, height)
|
|
|
|
cr:rectangle(x, y, width - x - w, height - y - h)
|
|
|
|
cr:set_fill_rule(cairo.FillRule.EVEN_ODD)
|
|
|
|
cr:fill()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Layout a margin layout
|
|
|
|
function margin:layout(_, width, height)
|
2016-05-26 22:19:48 +02:00
|
|
|
if self._private.widget then
|
|
|
|
local x = self._private.left
|
|
|
|
local y = self._private.top
|
|
|
|
local w = self._private.right
|
|
|
|
local h = self._private.bottom
|
2016-05-23 05:56:45 +02:00
|
|
|
|
2019-06-19 18:18:06 +02:00
|
|
|
local resulting_width = width - x - w
|
|
|
|
local resulting_height = height - y - h
|
|
|
|
|
2019-12-27 12:36:54 +01:00
|
|
|
if resulting_width >= 0 and resulting_height >= 0 then
|
2019-06-19 18:18:06 +02:00
|
|
|
return { base.place_widget_at(self._private.widget, x, y, resulting_width, resulting_height) }
|
|
|
|
end
|
2016-05-23 05:56:45 +02:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Fit a margin layout into the given space
|
|
|
|
function margin:fit(context, width, height)
|
2016-05-26 22:19:48 +02:00
|
|
|
local extra_w = self._private.left + self._private.right
|
|
|
|
local extra_h = self._private.top + self._private.bottom
|
2016-05-23 05:56:45 +02:00
|
|
|
local w, h = 0, 0
|
2016-05-26 22:19:48 +02:00
|
|
|
if self._private.widget then
|
|
|
|
w, h = base.fit_widget(self, context, self._private.widget, width - extra_w, height - extra_h)
|
2016-05-23 05:56:45 +02:00
|
|
|
end
|
|
|
|
|
2016-05-26 22:19:48 +02:00
|
|
|
if self._private.draw_empty == false and (w == 0 or h == 0) then
|
2016-05-23 05:56:45 +02:00
|
|
|
return 0, 0
|
|
|
|
end
|
|
|
|
|
|
|
|
return w + extra_w, h + extra_h
|
|
|
|
end
|
|
|
|
|
2016-05-26 22:19:48 +02:00
|
|
|
--- The widget to be wrapped the the margins.
|
2019-11-29 01:45:07 +01:00
|
|
|
--
|
2016-05-26 22:19:48 +02:00
|
|
|
-- @property widget
|
|
|
|
-- @tparam widget widget The widget
|
2019-11-29 01:45:07 +01:00
|
|
|
-- @interface container
|
2016-05-26 22:19:48 +02:00
|
|
|
|
2018-12-27 05:54:10 +01:00
|
|
|
margin.set_widget = base.set_widget_common
|
2016-05-23 05:56:45 +02:00
|
|
|
|
2016-05-26 22:19:48 +02:00
|
|
|
function margin:get_widget()
|
|
|
|
return self._private.widget
|
|
|
|
end
|
|
|
|
|
2016-05-23 05:56:45 +02:00
|
|
|
function margin:get_children()
|
2016-05-26 22:19:48 +02:00
|
|
|
return {self._private.widget}
|
2016-05-23 05:56:45 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
function margin:set_children(children)
|
|
|
|
self:set_widget(children[1])
|
|
|
|
end
|
|
|
|
|
|
|
|
--- Set all the margins to val.
|
2019-11-29 01:45:07 +01:00
|
|
|
--
|
2016-05-26 22:19:48 +02:00
|
|
|
-- @property margins
|
2019-03-12 19:00:11 +01:00
|
|
|
-- @tparam number|table val The margin value. It can be a number or a table with
|
|
|
|
-- the *left*/*right*/*top*/*bottom* keys.
|
2019-11-29 01:45:07 +01:00
|
|
|
-- @propemits false false
|
2016-05-26 22:19:48 +02:00
|
|
|
|
2016-05-23 05:56:45 +02:00
|
|
|
function margin:set_margins(val)
|
2019-03-12 19:00:11 +01:00
|
|
|
|
|
|
|
if type(val) == "number" or not val then
|
|
|
|
if self._private.left == val and
|
|
|
|
self._private.right == val and
|
|
|
|
self._private.top == val and
|
|
|
|
self._private.bottom == val then
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
self._private.left = val
|
|
|
|
self._private.right = val
|
|
|
|
self._private.top = val
|
|
|
|
self._private.bottom = val
|
|
|
|
elseif type(val) == "table" then
|
|
|
|
self._private.left = val.left or self._private.left
|
|
|
|
self._private.right = val.right or self._private.right
|
|
|
|
self._private.top = val.top or self._private.top
|
|
|
|
self._private.bottom = val.bottom or self._private.bottom
|
2016-05-23 05:56:45 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
self:emit_signal("widget::layout_changed")
|
2019-11-29 01:45:07 +01:00
|
|
|
self:emit_signal("property::margins")
|
2016-05-23 05:56:45 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
--- Set the margins color to create a border.
|
2019-11-29 01:45:07 +01:00
|
|
|
--
|
2016-05-26 22:19:48 +02:00
|
|
|
-- @property color
|
2016-05-23 05:56:45 +02:00
|
|
|
-- @param color A color used to fill the margin.
|
2019-11-29 01:45:07 +01:00
|
|
|
-- @propemits true false
|
2016-05-26 22:19:48 +02:00
|
|
|
|
2016-05-23 05:56:45 +02:00
|
|
|
function margin:set_color(color)
|
2016-05-26 22:19:48 +02:00
|
|
|
self._private.color = color and gcolor(color)
|
2016-05-23 05:56:45 +02:00
|
|
|
self:emit_signal("widget::redraw_needed")
|
2019-11-29 01:45:07 +01:00
|
|
|
self:emit_signal("property::color", color)
|
2016-05-23 05:56:45 +02:00
|
|
|
end
|
|
|
|
|
2016-05-26 22:19:48 +02:00
|
|
|
function margin:get_color()
|
|
|
|
return self._private.color
|
|
|
|
end
|
|
|
|
|
2019-11-29 01:45:07 +01:00
|
|
|
--- Draw the margin even if the content size is 0x0.
|
|
|
|
--
|
|
|
|
-- @property draw_empty
|
|
|
|
-- @tparam[opt=true] boolean draw_empty Draw nothing is content is 0x0 or draw
|
|
|
|
-- the margin anyway.
|
|
|
|
-- @propemits true false
|
2016-05-26 22:19:48 +02:00
|
|
|
|
2016-05-23 05:56:45 +02:00
|
|
|
function margin:set_draw_empty(draw_empty)
|
2016-05-26 22:19:48 +02:00
|
|
|
self._private.draw_empty = draw_empty
|
2016-05-23 05:56:45 +02:00
|
|
|
self:emit_signal("widget::layout_changed")
|
2019-11-29 01:45:07 +01:00
|
|
|
self:emit_signal("property::draw_empty", draw_empty)
|
2016-05-23 05:56:45 +02:00
|
|
|
end
|
|
|
|
|
2016-05-26 22:19:48 +02:00
|
|
|
function margin:get_draw_empty()
|
|
|
|
return self._private.draw_empty
|
|
|
|
end
|
|
|
|
|
2016-05-23 05:56:45 +02:00
|
|
|
--- Reset this layout. The widget will be unreferenced, the margins set to 0
|
|
|
|
-- and the color erased
|
2019-06-06 22:32:53 +02:00
|
|
|
-- @method reset
|
2019-11-29 01:45:07 +01:00
|
|
|
-- @interface container
|
2016-05-23 05:56:45 +02:00
|
|
|
function margin:reset()
|
|
|
|
self:set_widget(nil)
|
|
|
|
self:set_margins(0)
|
|
|
|
self:set_color(nil)
|
|
|
|
end
|
|
|
|
|
|
|
|
--- Set the left margin that this layout adds to its widget.
|
2019-11-29 01:45:07 +01:00
|
|
|
--
|
2016-05-26 22:19:48 +02:00
|
|
|
-- @property left
|
2019-11-29 01:45:07 +01:00
|
|
|
-- @tparam number left The new margin to use.
|
|
|
|
-- @propemits true false
|
2016-05-23 05:56:45 +02:00
|
|
|
|
|
|
|
--- Set the right margin that this layout adds to its widget.
|
2019-11-29 01:45:07 +01:00
|
|
|
--
|
2016-05-26 22:19:48 +02:00
|
|
|
-- @property right
|
2019-11-29 01:45:07 +01:00
|
|
|
-- @tparam number right The new margin to use.
|
|
|
|
-- @propemits true false
|
2016-05-23 05:56:45 +02:00
|
|
|
|
|
|
|
--- Set the top margin that this layout adds to its widget.
|
2019-11-29 01:45:07 +01:00
|
|
|
--
|
2016-05-26 22:19:48 +02:00
|
|
|
-- @property top
|
2019-11-29 01:45:07 +01:00
|
|
|
-- @tparam number top The new margin to use.
|
|
|
|
-- @propemits true false
|
2016-05-23 05:56:45 +02:00
|
|
|
|
|
|
|
--- Set the bottom margin that this layout adds to its widget.
|
2019-11-29 01:45:07 +01:00
|
|
|
--
|
2016-05-26 22:19:48 +02:00
|
|
|
-- @property bottom
|
2019-11-29 01:45:07 +01:00
|
|
|
-- @tparam number bottom The new margin to use.
|
|
|
|
-- @propemits true false
|
2016-05-23 05:56:45 +02:00
|
|
|
|
|
|
|
-- Create setters for each direction
|
|
|
|
for _, v in pairs({ "left", "right", "top", "bottom" }) do
|
|
|
|
margin["set_" .. v] = function(layout, val)
|
2016-05-26 22:19:48 +02:00
|
|
|
if layout._private[v] == val then return end
|
|
|
|
layout._private[v] = val
|
2016-05-23 05:56:45 +02:00
|
|
|
layout:emit_signal("widget::layout_changed")
|
2019-11-29 01:45:07 +01:00
|
|
|
layout:emit_signal("property::".. v, val)
|
2016-05-23 05:56:45 +02:00
|
|
|
end
|
2016-05-26 22:19:48 +02:00
|
|
|
|
|
|
|
margin["get_" .. v] = function(layout)
|
|
|
|
return layout._private[v]
|
|
|
|
end
|
2016-05-23 05:56:45 +02:00
|
|
|
end
|
|
|
|
|
2016-05-23 08:46:28 +02:00
|
|
|
--- Returns a new margin container.
|
2019-11-29 01:45:07 +01:00
|
|
|
--
|
2016-05-23 05:56:45 +02:00
|
|
|
-- @param[opt] widget A widget to use.
|
|
|
|
-- @param[opt] left A margin to use on the left side of the widget.
|
|
|
|
-- @param[opt] right A margin to use on the right side of the widget.
|
|
|
|
-- @param[opt] top A margin to use on the top side of the widget.
|
|
|
|
-- @param[opt] bottom A margin to use on the bottom side of the widget.
|
|
|
|
-- @param[opt] color A color for the margins.
|
|
|
|
-- @param[opt] draw_empty whether or not to draw the margin when the content is empty
|
2016-05-23 08:46:28 +02:00
|
|
|
-- @treturn table A new margin container
|
2019-06-07 20:59:34 +02:00
|
|
|
-- @constructorfct wibox.container.margin
|
2016-05-23 05:56:45 +02:00
|
|
|
local function new(widget, left, right, top, bottom, color, draw_empty)
|
2016-05-26 22:19:48 +02:00
|
|
|
local ret = base.make_widget(nil, nil, {enable_properties = true})
|
2016-05-23 05:56:45 +02:00
|
|
|
|
2017-03-08 21:18:33 +01:00
|
|
|
gtable.crush(ret, margin, true)
|
2016-05-23 05:56:45 +02:00
|
|
|
|
|
|
|
ret:set_left(left or 0)
|
|
|
|
ret:set_right(right or 0)
|
|
|
|
ret:set_top(top or 0)
|
|
|
|
ret:set_bottom(bottom or 0)
|
|
|
|
ret:set_draw_empty(draw_empty)
|
|
|
|
|
|
|
|
ret:set_color(color)
|
|
|
|
|
|
|
|
if widget then
|
|
|
|
ret:set_widget(widget)
|
|
|
|
end
|
|
|
|
|
|
|
|
return ret
|
|
|
|
end
|
|
|
|
|
|
|
|
function margin.mt:__call(...)
|
|
|
|
return new(...)
|
|
|
|
end
|
|
|
|
|
2016-05-26 22:19:48 +02:00
|
|
|
--@DOC_widget_COMMON@
|
|
|
|
|
|
|
|
--@DOC_object_COMMON@
|
|
|
|
|
2016-05-23 05:56:45 +02:00
|
|
|
return setmetatable(margin, margin.mt)
|
|
|
|
|
|
|
|
-- vim: filetype=lua:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:textwidth=80
|