2010-10-06 12:42:56 +02:00
|
|
|
---------------------------------------------------------------------------
|
2021-12-21 06:54:15 +01:00
|
|
|
-- Split the space equally between multiple widgets.
|
|
|
|
--
|
|
|
|
--
|
2021-07-14 23:00:10 +02:00
|
|
|
-- A `flex` layout may be initialized with any number of child widgets, and
|
|
|
|
-- during runtime widgets may be added and removed dynamically.
|
|
|
|
--
|
|
|
|
-- On the main axis, the layout will divide the available space evenly between
|
|
|
|
-- all child widgets, without any regard to how much space these widgets might
|
|
|
|
-- be asking for.
|
|
|
|
--
|
|
|
|
-- Just like @{wibox.layout.fixed}, `flex` allows adding spacing between the
|
|
|
|
-- widgets, either as an ofset via @{spacing} or with a
|
|
|
|
-- @{spacing_widget}.
|
|
|
|
--
|
|
|
|
-- On its secondary axis, the layout's size is determined by the largest child
|
|
|
|
-- widget. Smaller child widgets are then placed with the same size.
|
|
|
|
-- Therefore, child widgets may ignore their `forced_width` or `forced_height`
|
|
|
|
-- properties for vertical and horizontal layouts respectively.
|
2016-05-25 21:19:18 +02:00
|
|
|
--
|
|
|
|
--@DOC_wibox_layout_defaults_flex_EXAMPLE@
|
2010-10-06 12:42:56 +02:00
|
|
|
-- @author Uli Schlachter
|
|
|
|
-- @copyright 2010 Uli Schlachter
|
2019-06-06 08:19:03 +02:00
|
|
|
-- @layoutmod wibox.layout.flex
|
2021-03-27 20:05:10 +01:00
|
|
|
-- @supermodule wibox.layout.fixed
|
2010-10-06 12:42:56 +02:00
|
|
|
---------------------------------------------------------------------------
|
|
|
|
|
2015-06-14 15:57:33 +02:00
|
|
|
local base = require("wibox.widget.base")
|
2016-01-18 08:51:09 +01:00
|
|
|
local fixed = require("wibox.layout.fixed")
|
2010-10-06 12:42:56 +02:00
|
|
|
local table = table
|
|
|
|
local pairs = pairs
|
2017-03-06 17:11:05 +01:00
|
|
|
local gmath = require("gears.math")
|
2017-03-08 21:18:33 +01:00
|
|
|
local gtable = require("gears.table")
|
2010-10-06 12:42:56 +02:00
|
|
|
|
2012-06-12 15:29:52 +02:00
|
|
|
local flex = {}
|
2010-10-06 12:42:56 +02:00
|
|
|
|
2021-03-29 23:51:14 +02:00
|
|
|
-- {{{ Override inherited properties we want to hide
|
|
|
|
|
|
|
|
--- From `wibox.layout.fixed`.
|
|
|
|
-- @property fill_space
|
2022-08-22 08:02:26 +02:00
|
|
|
-- @tparam[opt=true] boolean fill_space
|
2021-03-29 23:51:14 +02:00
|
|
|
-- @propemits true false
|
|
|
|
-- @hidden
|
|
|
|
|
|
|
|
-- }}}
|
|
|
|
|
2019-11-29 07:22:50 +01:00
|
|
|
--- Add some widgets to the given fixed layout.
|
|
|
|
--
|
|
|
|
-- @tparam widget ... Widgets that should be added (must at least be one).
|
2019-06-06 22:32:53 +02:00
|
|
|
-- @method add
|
2022-07-05 10:37:14 +02:00
|
|
|
-- @noreturn
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @interface layout
|
2016-01-18 08:51:09 +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.
|
2019-11-29 07:22:50 +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-18 05:23:50 +01:00
|
|
|
|
2019-11-29 07:22:50 +01:00
|
|
|
--- Remove one or more widgets from the layout.
|
|
|
|
--
|
2016-01-18 05:23:50 +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 ... Widgets that should be removed (must at least be one).
|
|
|
|
-- @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-18 05:23:50 +01:00
|
|
|
|
2019-11-29 07:22:50 +01:00
|
|
|
--- Insert a new widget in the layout at position `index`.
|
|
|
|
--
|
2016-01-18 05:23:50 +01:00
|
|
|
-- @tparam number index The position
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @tparam widget widget The widget
|
2016-01-18 05:23:50 +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
|
2021-07-14 23:00:10 +02:00
|
|
|
-- @emitstparam widget::inserted widget self The layout.
|
|
|
|
-- @emitstparam widget::inserted widget widget The inserted widget.
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @emitstparam widget::inserted number count The widget count.
|
|
|
|
-- @interface layout
|
2016-01-18 05:23:50 +01:00
|
|
|
|
2021-07-14 23:00:10 +02:00
|
|
|
--- A widget to insert as a separator between child widgets.
|
|
|
|
--
|
|
|
|
-- If this property is a valid widget and @{spacing} is greater than `0`, a
|
|
|
|
-- copy of this widget is inserted between each child widget, with its size in
|
|
|
|
-- the layout's main direction determined by @{spacing}.
|
2017-08-07 22:12:29 +02:00
|
|
|
--
|
2021-07-14 23:00:10 +02:00
|
|
|
-- By default no widget is used and any @{spacing} is applied as an empty offset.
|
2017-08-07 22:12:29 +02:00
|
|
|
--
|
|
|
|
--@DOC_wibox_layout_flex_spacing_widget_EXAMPLE@
|
|
|
|
--
|
|
|
|
-- @property spacing_widget
|
2022-08-22 08:02:26 +02:00
|
|
|
-- @tparam[opt=nil] widget|nil spacing_widget
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @propemits true false
|
|
|
|
-- @interface layout
|
2017-08-07 22:12:29 +02:00
|
|
|
|
2021-07-14 23:00:10 +02:00
|
|
|
--- The amount of space inserted between the child widgets.
|
|
|
|
--
|
|
|
|
-- If a @{spacing_widget} is defined, this value is used for its size.
|
2017-08-07 22:12:29 +02:00
|
|
|
--
|
|
|
|
--@DOC_wibox_layout_flex_spacing_EXAMPLE@
|
|
|
|
--
|
|
|
|
-- @property spacing
|
2022-08-22 08:02:26 +02:00
|
|
|
-- @tparam[opt=0] number spacing Spacing between widgets.
|
|
|
|
-- @propertyunit pixel
|
|
|
|
-- @negativeallowed true
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @propemits true false
|
2021-07-14 23:00:10 +02:00
|
|
|
-- @interface layout
|
2017-08-07 22:12:29 +02:00
|
|
|
|
2016-02-07 14:13:43 +01:00
|
|
|
function flex:layout(_, width, height)
|
2015-06-14 16:17:05 +02:00
|
|
|
local result = {}
|
2018-11-05 09:34:17 +01:00
|
|
|
local spacing = self._private.spacing
|
2016-05-27 01:41:58 +02:00
|
|
|
local num = #self._private.widgets
|
2014-10-18 07:17:46 +02:00
|
|
|
local total_spacing = (spacing*(num-1))
|
2017-08-07 22:12:29 +02:00
|
|
|
local spacing_widget = self._private.spacing_widget
|
|
|
|
local abspace = math.abs(spacing)
|
|
|
|
local spoffset = spacing < 0 and 0 or spacing
|
|
|
|
local is_y = self._private.dir == "y"
|
|
|
|
local is_x = not is_y
|
2014-10-18 07:17:46 +02:00
|
|
|
|
2010-10-06 12:42:56 +02:00
|
|
|
local space_per_item
|
2017-08-07 22:12:29 +02:00
|
|
|
if is_y then
|
2014-10-18 07:17:46 +02:00
|
|
|
space_per_item = height / num - total_spacing/num
|
2010-10-06 12:42:56 +02:00
|
|
|
else
|
2014-10-18 07:17:46 +02:00
|
|
|
space_per_item = width / num - total_spacing/num
|
2010-10-06 12:42:56 +02:00
|
|
|
end
|
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
if self._private.max_widget_size then
|
|
|
|
space_per_item = math.min(space_per_item, self._private.max_widget_size)
|
2013-01-20 15:00:28 +01:00
|
|
|
end
|
|
|
|
|
2018-11-05 09:34:17 +01:00
|
|
|
local pos, pos_rounded = 0, 0
|
2017-08-07 22:12:29 +02:00
|
|
|
for k, v in pairs(self._private.widgets) do
|
2010-10-06 12:42:56 +02:00
|
|
|
local x, y, w, h
|
2018-11-05 09:34:17 +01:00
|
|
|
|
|
|
|
local next_pos = pos + space_per_item
|
|
|
|
local next_pos_rounded = gmath.round(next_pos)
|
|
|
|
|
2017-08-07 22:12:29 +02:00
|
|
|
if is_y then
|
2018-11-05 09:34:17 +01:00
|
|
|
x, y = 0, pos_rounded
|
|
|
|
w, h = width, next_pos_rounded - pos_rounded
|
2010-10-06 12:42:56 +02:00
|
|
|
else
|
2018-11-05 09:34:17 +01:00
|
|
|
x, y = pos_rounded, 0
|
|
|
|
w, h = next_pos_rounded - pos_rounded, height
|
2010-10-06 12:42:56 +02:00
|
|
|
end
|
2016-01-18 08:51:09 +01:00
|
|
|
|
2018-11-05 09:34:17 +01:00
|
|
|
pos = next_pos + spacing
|
|
|
|
pos_rounded = next_pos_rounded + spacing
|
2010-10-06 12:42:56 +02:00
|
|
|
|
2018-04-27 14:06:55 +02:00
|
|
|
table.insert(result, base.place_widget_at(v, x, y, w, h))
|
2017-08-07 22:12:29 +02:00
|
|
|
|
|
|
|
if k > 1 and spacing ~= 0 and spacing_widget then
|
|
|
|
table.insert(result, base.place_widget_at(
|
|
|
|
spacing_widget, is_x and (x - spoffset) or x, is_y and (y - spoffset) or y,
|
|
|
|
is_x and abspace or w, is_y and abspace or h
|
|
|
|
))
|
|
|
|
end
|
2010-10-06 12:42:56 +02:00
|
|
|
end
|
|
|
|
|
2015-06-14 16:17:05 +02:00
|
|
|
return result
|
2013-01-20 15:00:28 +01:00
|
|
|
end
|
|
|
|
|
2016-05-09 07:37:02 +02:00
|
|
|
-- Fit the flex layout into the given space.
|
2015-08-08 13:43:35 +02:00
|
|
|
-- @param context The context in which we are fit.
|
2013-01-05 16:12:48 +01:00
|
|
|
-- @param orig_width The available width.
|
|
|
|
-- @param orig_height The available height.
|
2015-08-08 13:43:35 +02:00
|
|
|
function flex:fit(context, orig_width, orig_height)
|
2014-01-04 16:13:41 +01:00
|
|
|
local used_in_dir = 0
|
|
|
|
local used_in_other = 0
|
2013-01-05 16:12:48 +01:00
|
|
|
|
2013-03-24 22:32:53 +01:00
|
|
|
-- Figure out the maximum size we can give out to sub-widgets
|
2016-05-27 01:41:58 +02:00
|
|
|
local sub_height = self._private.dir == "x" and orig_height or orig_height / #self._private.widgets
|
|
|
|
local sub_width = self._private.dir == "y" and orig_width or orig_width / #self._private.widgets
|
2013-03-24 22:32:53 +01:00
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
for _, v in pairs(self._private.widgets) do
|
2015-09-17 15:01:50 +02:00
|
|
|
local w, h = base.fit_widget(self, context, v, sub_width, sub_height)
|
2014-01-04 16:13:41 +01:00
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
local max = self._private.dir == "y" and w or h
|
2014-01-04 16:13:41 +01:00
|
|
|
if max > used_in_other then
|
|
|
|
used_in_other = max
|
2013-01-05 16:12:48 +01:00
|
|
|
end
|
2014-01-04 16:13:41 +01:00
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
used_in_dir = used_in_dir + (self._private.dir == "y" and h or w)
|
2014-01-04 16:13:41 +01:00
|
|
|
end
|
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
if self._private.max_widget_size then
|
2014-01-04 16:13:41 +01:00
|
|
|
used_in_dir = math.min(used_in_dir,
|
2016-05-27 01:41:58 +02:00
|
|
|
#self._private.widgets * self._private.max_widget_size)
|
2013-01-05 16:12:48 +01:00
|
|
|
end
|
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
local spacing = self._private.spacing * (#self._private.widgets-1)
|
2014-10-18 07:17:46 +02:00
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
if self._private.dir == "y" then
|
2014-10-18 07:17:46 +02:00
|
|
|
return used_in_other, used_in_dir + spacing
|
2013-01-05 16:12:48 +01:00
|
|
|
end
|
2014-10-18 07:17:46 +02:00
|
|
|
return used_in_dir + spacing, used_in_other
|
2013-01-05 16:12:48 +01:00
|
|
|
end
|
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
--- Set the maximum size the widgets in this layout will take.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2016-05-27 01:41:58 +02:00
|
|
|
--That is, maximum width for horizontal and maximum height for vertical.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2016-05-27 01:41:58 +02:00
|
|
|
-- @property max_widget_size
|
2022-08-22 08:02:26 +02:00
|
|
|
-- @tparam[opt=nil] number|nil max_widget_size
|
|
|
|
-- @propertytype nil No size limit.
|
|
|
|
-- @negativeallowed false
|
2019-11-29 07:22:50 +01:00
|
|
|
-- @propemits true false
|
2016-05-27 01:41:58 +02:00
|
|
|
|
2015-06-14 16:17:05 +02:00
|
|
|
function flex:set_max_widget_size(val)
|
2016-05-27 01:41:58 +02:00
|
|
|
if self._private.max_widget_size ~= val then
|
|
|
|
self._private.max_widget_size = val
|
2015-06-21 15:04:14 +02:00
|
|
|
self:emit_signal("widget::layout_changed")
|
2019-11-29 07:22:50 +01:00
|
|
|
self:emit_signal("property::max_widget_size", val)
|
2015-06-21 15:04:14 +02:00
|
|
|
end
|
2015-06-14 16:17:05 +02:00
|
|
|
end
|
|
|
|
|
2015-09-28 21:00:49 +02:00
|
|
|
local function get_layout(dir, widget1, ...)
|
2016-01-18 08:51:09 +01:00
|
|
|
local ret = fixed[dir](widget1, ...)
|
2010-10-06 12:42:56 +02:00
|
|
|
|
2017-03-08 21:18:33 +01:00
|
|
|
gtable.crush(ret, flex, true)
|
2010-10-06 12:42:56 +02:00
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
ret._private.fill_space = nil
|
2015-09-28 21:00:49 +02:00
|
|
|
|
2010-10-06 12:42:56 +02:00
|
|
|
return ret
|
|
|
|
end
|
|
|
|
|
2021-07-14 23:00:10 +02:00
|
|
|
--- Creates and returns a new horizontal flex layout.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2015-09-28 21:00:49 +02:00
|
|
|
-- @tparam widget ... Widgets that should be added to the layout.
|
2019-06-07 20:59:34 +02:00
|
|
|
-- @constructorfct wibox.layout.flex.horizontal
|
2015-09-28 21:00:49 +02:00
|
|
|
function flex.horizontal(...)
|
2016-01-18 08:51:09 +01:00
|
|
|
return get_layout("horizontal", ...)
|
2010-10-06 12:42:56 +02:00
|
|
|
end
|
|
|
|
|
2021-07-14 23:00:10 +02:00
|
|
|
--- Creates and returns a new vertical flex layout.
|
2019-11-29 07:22:50 +01:00
|
|
|
--
|
2015-09-28 21:00:49 +02:00
|
|
|
-- @tparam widget ... Widgets that should be added to the layout.
|
2019-06-07 20:59:34 +02:00
|
|
|
-- @constructorfct wibox.layout.flex.vertical
|
2015-09-28 21:00:49 +02:00
|
|
|
function flex.vertical(...)
|
2016-01-18 08:51:09 +01:00
|
|
|
return get_layout("vertical", ...)
|
2010-10-06 12:42:56 +02:00
|
|
|
end
|
|
|
|
|
2019-11-29 07:22:50 +01:00
|
|
|
--@DOC_fixed_COMMON@
|
|
|
|
|
2012-06-12 15:29:52 +02:00
|
|
|
return flex
|
|
|
|
|
2011-09-11 16:50:01 +02:00
|
|
|
-- vim: filetype=lua:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:textwidth=80
|