2016-01-16 07:13:07 +01:00
|
|
|
---------------------------------------------------------------------------
|
2021-12-21 06:54:15 +01:00
|
|
|
-- Place multiple widgets on top of each other.
|
2016-01-16 07:13:07 +01:00
|
|
|
--
|
|
|
|
-- This layout display widgets on top of each other. It can be used to overlay
|
|
|
|
-- a `wibox.widget.textbox` on top of a `awful.widget.progressbar` or manage
|
|
|
|
-- "pages" where only one is visible at any given moment.
|
|
|
|
--
|
|
|
|
-- The indices are going from 1 (the bottom of the stack) up to the top of
|
|
|
|
-- the stack. The order can be changed either using `:swap` or `:raise`.
|
|
|
|
--
|
2016-05-25 21:27:11 +02:00
|
|
|
--@DOC_wibox_layout_defaults_stack_EXAMPLE@
|
2016-01-16 07:13:07 +01:00
|
|
|
-- @author Emmanuel Lepage Vallee
|
|
|
|
-- @copyright 2016 Emmanuel Lepage Vallee
|
2019-06-06 08:19:03 +02:00
|
|
|
-- @layoutmod wibox.layout.stack
|
2021-03-27 20:05:10 +01:00
|
|
|
-- @supermodule wibox.layout.fixed
|
2016-01-16 07:13:07 +01:00
|
|
|
---------------------------------------------------------------------------
|
|
|
|
|
|
|
|
local base = require("wibox.widget.base" )
|
|
|
|
local fixed = require("wibox.layout.fixed")
|
|
|
|
local table = table
|
|
|
|
local pairs = pairs
|
2017-03-08 21:18:33 +01:00
|
|
|
local gtable = require("gears.table")
|
2016-01-16 07:13:07 +01:00
|
|
|
|
|
|
|
local stack = {mt={}}
|
|
|
|
|
2019-06-06 22:32:53 +02:00
|
|
|
--- Add some widgets to the given stack layout.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2016-01-16 07:13:07 +01:00
|
|
|
-- @tparam widget ... Widgets that should be added (must at least be one)
|
2022-07-05 10:37:14 +02:00
|
|
|
-- @noreturn
|
2019-06-06 22:32:53 +02:00
|
|
|
-- @method add
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @interface layout
|
2016-01-16 07:13:07 +01:00
|
|
|
|
2019-11-29 07:22:50 +01:00
|
|
|
--- Remove a widget from the layout.
|
|
|
|
--
|
2021-12-21 06:54:15 +01:00
|
|
|
-- @tparam number index The widget index to remove
|
2016-01-16 07:13:07 +01:00
|
|
|
-- @treturn boolean index If the operation is successful
|
2019-06-06 22:32:53 +02:00
|
|
|
-- @method remove
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @interface layout
|
2016-01-16 07:13:07 +01:00
|
|
|
|
2019-06-06 22:32:53 +02:00
|
|
|
--- Insert a new widget in the layout at position `index`.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2016-01-16 07:13:07 +01:00
|
|
|
-- @tparam number index The position
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @tparam widget widget The widget
|
2016-01-16 07:13:07 +01:00
|
|
|
-- @treturn boolean If the operation is successful
|
2019-06-06 22:32:53 +02:00
|
|
|
-- @method insert
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @emits widget::inserted
|
|
|
|
-- @emitstparam widget::inserted widget self The fixed layout.
|
|
|
|
-- @emitstparam widget::inserted widget widget index The inserted widget.
|
|
|
|
-- @emitstparam widget::inserted number count The widget count.
|
|
|
|
-- @interface layout
|
2016-01-16 07:13:07 +01:00
|
|
|
|
2019-06-06 22:32:53 +02:00
|
|
|
--- Remove one or more widgets from the layout.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2016-01-16 07:13:07 +01:00
|
|
|
-- The last parameter can be a boolean, forcing a recursive seach of the
|
|
|
|
-- widget(s) to remove.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
|
|
|
-- @tparam widget widget ... Widgets that should be removed (must at least be one)
|
2016-01-16 07:13:07 +01:00
|
|
|
-- @treturn boolean If the operation is successful
|
2019-06-06 22:32:53 +02:00
|
|
|
-- @method remove_widgets
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @interface layout
|
2016-01-16 07:13:07 +01:00
|
|
|
|
2017-06-12 08:48:00 +02:00
|
|
|
--- Add spacing around the widget, similar to the margin container.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2017-06-12 08:48:00 +02:00
|
|
|
--@DOC_wibox_layout_stack_spacing_EXAMPLE@
|
2016-05-27 01:41:58 +02:00
|
|
|
-- @property spacing
|
2022-08-22 08:02:26 +02:00
|
|
|
-- @tparam[opt=0] number spacing Spacing between widgets.
|
|
|
|
-- @negativeallowed false
|
|
|
|
-- @propertyunit pixel
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @propemits true false
|
|
|
|
-- @interface layout
|
2016-01-16 07:13:07 +01:00
|
|
|
|
2016-02-07 14:13:43 +01:00
|
|
|
function stack:layout(_, width, height)
|
2016-01-16 07:13:07 +01:00
|
|
|
local result = {}
|
2016-05-27 01:41:58 +02:00
|
|
|
local spacing = self._private.spacing
|
2016-01-16 07:13:07 +01:00
|
|
|
|
2017-06-12 08:48:00 +02:00
|
|
|
width = width - math.abs(self._private.h_offset * #self._private.widgets) - 2*spacing
|
|
|
|
height = height - math.abs(self._private.v_offset * #self._private.widgets) - 2*spacing
|
|
|
|
|
|
|
|
local h_off, v_off = spacing, spacing
|
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
for _, v in pairs(self._private.widgets) do
|
2017-06-12 08:48:00 +02:00
|
|
|
table.insert(result, base.place_widget_at(v, h_off, v_off, width, height))
|
|
|
|
h_off, v_off = h_off + self._private.h_offset, v_off + self._private.v_offset
|
2016-05-27 01:41:58 +02:00
|
|
|
if self._private.top_only then break end
|
2016-01-16 07:13:07 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
return result
|
|
|
|
end
|
|
|
|
|
|
|
|
function stack:fit(context, orig_width, orig_height)
|
|
|
|
local max_w, max_h = 0,0
|
2016-05-27 01:41:58 +02:00
|
|
|
local spacing = self._private.spacing
|
2016-01-16 07:13:07 +01:00
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
for _, v in pairs(self._private.widgets) do
|
2016-01-16 07:13:07 +01:00
|
|
|
local w, h = base.fit_widget(self, context, v, orig_width, orig_height)
|
|
|
|
max_w, max_h = math.max(max_w, w+2*spacing), math.max(max_h, h+2*spacing)
|
|
|
|
end
|
|
|
|
|
|
|
|
return math.min(max_w, orig_width), math.min(max_h, orig_height)
|
|
|
|
end
|
|
|
|
|
2019-06-06 22:32:53 +02:00
|
|
|
--- If only the first stack widget is drawn.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2016-05-27 01:41:58 +02:00
|
|
|
-- @property top_only
|
2022-08-22 08:02:26 +02:00
|
|
|
-- @tparam[opt=false] boolean top_only
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @propemits true false
|
2016-05-27 01:41:58 +02:00
|
|
|
|
|
|
|
function stack:get_top_only()
|
|
|
|
return self._private.top_only
|
2016-01-16 07:13:07 +01:00
|
|
|
end
|
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
function stack:set_top_only(top_only)
|
|
|
|
self._private.top_only = top_only
|
2019-11-29 07:22:50 +01:00
|
|
|
self:emit_signal("widget::layout_changed")
|
|
|
|
self:emit_signal("property::top_only", top_only)
|
2016-01-16 07:13:07 +01:00
|
|
|
end
|
|
|
|
|
2019-06-06 22:32:53 +02:00
|
|
|
--- Raise a widget at `index` to the top of the stack.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2019-06-06 22:32:53 +02:00
|
|
|
-- @method raise
|
2021-12-21 06:54:15 +01:00
|
|
|
-- @tparam number index The widget index to raise
|
2022-07-05 10:37:14 +02:00
|
|
|
-- @noreturn
|
2016-01-16 07:13:07 +01:00
|
|
|
function stack:raise(index)
|
2020-09-26 17:49:44 +02:00
|
|
|
if (not index) or (not self._private.widgets[index]) then return end
|
2016-01-16 07:13:07 +01:00
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
local w = self._private.widgets[index]
|
|
|
|
table.remove(self._private.widgets, index)
|
2020-09-26 17:49:44 +02:00
|
|
|
table.insert(self._private.widgets, 1, w)
|
2016-01-16 07:13:07 +01:00
|
|
|
|
|
|
|
self:emit_signal("widget::layout_changed")
|
|
|
|
end
|
|
|
|
|
2019-06-06 22:32:53 +02:00
|
|
|
--- Raise the first instance of `widget`.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2019-06-06 22:32:53 +02:00
|
|
|
-- @method raise_widget
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @tparam widget widget The widget to raise
|
2016-01-16 07:13:07 +01:00
|
|
|
-- @tparam[opt=false] boolean recursive Also look deeper in the hierarchy to
|
|
|
|
-- find the widget
|
2022-07-05 10:37:14 +02:00
|
|
|
-- @noreturn
|
2016-01-16 07:13:07 +01:00
|
|
|
function stack:raise_widget(widget, recursive)
|
|
|
|
local idx, layout = self:index(widget, recursive)
|
|
|
|
|
|
|
|
if not idx or not layout then return end
|
|
|
|
|
|
|
|
-- Bubble up in the stack until the right index is found
|
|
|
|
while layout and layout ~= self do
|
|
|
|
idx, layout = self:index(layout, recursive)
|
|
|
|
end
|
|
|
|
|
|
|
|
if layout == self and idx ~= 1 then
|
|
|
|
self:raise(idx)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-06-12 08:48:00 +02:00
|
|
|
--- Add an horizontal offset to each layers.
|
|
|
|
--
|
|
|
|
-- Note that this reduces the overall size of each widgets by the sum of all
|
|
|
|
-- layers offsets.
|
|
|
|
--
|
|
|
|
--@DOC_wibox_layout_stack_offset_EXAMPLE@
|
|
|
|
--
|
|
|
|
-- @property horizontal_offset
|
2022-08-22 08:02:26 +02:00
|
|
|
-- @tparam[opt=0] number horizontal_offset
|
|
|
|
-- @propertyunit pixel
|
|
|
|
-- @negativeallowed true
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @propemits true false
|
2022-08-22 08:02:26 +02:00
|
|
|
-- @see vertical_offset
|
2017-06-12 08:48:00 +02:00
|
|
|
|
|
|
|
--- Add an vertical offset to each layers.
|
|
|
|
--
|
|
|
|
-- Note that this reduces the overall size of each widgets by the sum of all
|
|
|
|
-- layers offsets.
|
|
|
|
--
|
2022-08-22 08:02:26 +02:00
|
|
|
-- @property vertical_offset
|
|
|
|
-- @tparam[opt=0] number vertical_offset
|
|
|
|
-- @propertyunit pixel
|
|
|
|
-- @negativeallowed true
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @propemits true false
|
2017-06-12 08:48:00 +02:00
|
|
|
-- @see horizontal_offset
|
|
|
|
|
|
|
|
function stack:set_horizontal_offset(value)
|
|
|
|
self._private.h_offset = value
|
2020-09-27 17:58:22 +02:00
|
|
|
self:emit_signal("widget::layout_changed")
|
|
|
|
self:emit_signal("property::horizontal_offset", value)
|
2017-06-12 08:48:00 +02:00
|
|
|
end
|
|
|
|
|
2020-09-27 18:00:08 +02:00
|
|
|
function stack:get_horizontal_offset()
|
|
|
|
return self._private.h_offset
|
|
|
|
end
|
|
|
|
|
2017-06-12 08:48:00 +02:00
|
|
|
function stack:set_vertical_offset(value)
|
|
|
|
self._private.v_offset = value
|
|
|
|
self:emit_signal("widget::layout_changed")
|
2019-11-29 07:22:50 +01:00
|
|
|
self:emit_signal("property::vertical_offset", value)
|
2017-06-12 08:48:00 +02:00
|
|
|
end
|
|
|
|
|
2020-09-27 18:00:08 +02:00
|
|
|
function stack:get_vertical_offset()
|
|
|
|
return self._private.v_offset
|
|
|
|
end
|
|
|
|
|
2016-05-09 07:37:22 +02:00
|
|
|
--- Create a new stack layout.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2019-06-07 20:59:34 +02:00
|
|
|
-- @constructorfct wibox.layout.stack
|
2016-05-09 07:37:22 +02:00
|
|
|
-- @treturn widget A new stack layout
|
|
|
|
|
2016-02-07 14:13:43 +01:00
|
|
|
local function new(...)
|
2016-01-16 07:13:07 +01:00
|
|
|
local ret = fixed.horizontal(...)
|
|
|
|
|
2017-03-08 21:18:33 +01:00
|
|
|
gtable.crush(ret, stack, true)
|
2016-01-16 07:13:07 +01:00
|
|
|
|
2017-06-12 08:48:00 +02:00
|
|
|
ret._private.h_offset = 0
|
|
|
|
ret._private.v_offset = 0
|
|
|
|
|
2016-01-16 07:13:07 +01:00
|
|
|
return ret
|
|
|
|
end
|
|
|
|
|
2021-03-08 18:20:23 +01:00
|
|
|
function stack.mt:__call(...)
|
2016-01-16 07:13:07 +01:00
|
|
|
return new(...)
|
|
|
|
end
|
|
|
|
|
2019-11-29 07:22:50 +01:00
|
|
|
--@DOC_fixed_COMMON@
|
|
|
|
|
2016-01-16 07:13:07 +01:00
|
|
|
return setmetatable(stack, stack.mt)
|
|
|
|
-- vim: filetype=lua:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:textwidth=80
|