2010-10-06 12:42:56 +02:00
|
|
|
---------------------------------------------------------------------------
|
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
|
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
|
|
|
|
2016-05-09 07:37:02 +02:00
|
|
|
--@DOC_fixed_COMMON@
|
2016-01-18 08:51:09 +01:00
|
|
|
|
|
|
|
--- Add some widgets to the given fixed layout
|
|
|
|
-- @param layout The layout you are modifying.
|
|
|
|
-- @tparam widget ... Widgets that should be added (must at least be one)
|
2019-06-06 22:32:53 +02:00
|
|
|
-- @method add
|
2016-01-18 08:51:09 +01:00
|
|
|
|
2016-01-18 05:23:50 +01:00
|
|
|
--- Remove a widget from the layout
|
|
|
|
-- @tparam index The widget index to remove
|
|
|
|
-- @treturn boolean index If the operation is successful
|
2019-06-06 22:32:53 +02:00
|
|
|
-- @method remove
|
2016-01-18 05:23:50 +01:00
|
|
|
|
|
|
|
--- Remove one or more widgets from the layout
|
|
|
|
-- The last parameter can be a boolean, forcing a recursive seach of the
|
|
|
|
-- widget(s) to remove.
|
|
|
|
-- @param 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
|
2016-01-18 05:23:50 +01:00
|
|
|
|
|
|
|
--- Insert a new widget in the layout at position `index`
|
|
|
|
-- @tparam number index The position
|
|
|
|
-- @param widget The widget
|
|
|
|
-- @treturn boolean If the operation is successful
|
2019-06-06 22:32:53 +02:00
|
|
|
-- @method insert
|
2016-01-18 05:23:50 +01:00
|
|
|
|
2017-08-07 22:12:29 +02:00
|
|
|
--- The widget used to fill the spacing between the layout elements.
|
|
|
|
--
|
|
|
|
-- By default, no widget is used.
|
|
|
|
--
|
|
|
|
--@DOC_wibox_layout_flex_spacing_widget_EXAMPLE@
|
|
|
|
--
|
|
|
|
-- @property spacing_widget
|
|
|
|
-- @param widget
|
|
|
|
|
|
|
|
--- Add spacing between each layout widgets.
|
|
|
|
--
|
|
|
|
--@DOC_wibox_layout_flex_spacing_EXAMPLE@
|
|
|
|
--
|
|
|
|
-- @property spacing
|
|
|
|
-- @tparam number spacing Spacing between widgets.
|
|
|
|
|
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.
|
|
|
|
--That is, maximum width for horizontal and maximum height for vertical.
|
|
|
|
-- @property max_widget_size
|
|
|
|
-- @param number
|
|
|
|
|
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")
|
|
|
|
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
|
|
|
|
|
|
|
|
--- Returns a new horizontal flex layout. A flex layout shares the available space
|
|
|
|
-- equally among all widgets. Widgets can be added via :add(widget).
|
2015-09-28 21:00:49 +02:00
|
|
|
-- @tparam widget ... Widgets that should be added to the layout.
|
2016-05-09 07:37:02 +02:00
|
|
|
-- @function 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
|
|
|
|
|
|
|
|
--- Returns a new vertical flex layout. A flex layout shares the available space
|
|
|
|
-- equally among all widgets. Widgets can be added via :add(widget).
|
2015-09-28 21:00:49 +02:00
|
|
|
-- @tparam widget ... Widgets that should be added to the layout.
|
2016-05-09 07:37:02 +02:00
|
|
|
-- @function 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
|
|
|
|
|
2016-05-27 01:41:58 +02:00
|
|
|
--@DOC_widget_COMMON@
|
|
|
|
|
|
|
|
--@DOC_object_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
|