Merge pull request #1121 from Elv13/add_slider_widget

Add a slider widget
This commit is contained in:
Emmanuel Lepage Vallée 2016-10-12 02:40:47 -04:00 committed by GitHub
commit e0018dc02a
14 changed files with 788 additions and 0 deletions

View File

@ -16,6 +16,7 @@ return setmetatable({
graph = require("wibox.widget.graph"); graph = require("wibox.widget.graph");
checkbox = require("wibox.widget.checkbox"); checkbox = require("wibox.widget.checkbox");
piechart = require("wibox.widget.piechart"); piechart = require("wibox.widget.piechart");
slider = require("wibox.widget.slider");
}, {__call = function(_, args) return base.make_widget_declarative(args) end}) }, {__call = function(_, args) return base.make_widget_declarative(args) end})
-- vim: filetype=lua:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:textwidth=80 -- vim: filetype=lua:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:textwidth=80

463
lib/wibox/widget/slider.lua Normal file
View File

@ -0,0 +1,463 @@
---------------------------------------------------------------------------
-- An interactive mouse based slider widget.
--
--@DOC_wibox_widget_defaults_slider_EXAMPLE@
--
-- @author Grigory Mishchenko <grishkokot@gmail.com>
-- @author Emmanuel Lepage Vallee <elv1313@gmail.com>
-- @copyright 2015 Grigory Mishchenko, 2016 Emmanuel Lepage Vallee
-- @classmod wibox.widget.slider
---------------------------------------------------------------------------
local setmetatable = setmetatable
local type = type
local color = require("gears.color")
local util = require("awful.util")
local beautiful = require("beautiful")
local base = require("wibox.widget.base")
local shape = require("gears.shape")
local capi = {
mouse = mouse,
mousegrabber = mousegrabber,
root = root,
}
local slider = {mt={}}
--- The slider handle shape.
--
--@DOC_wibox_widget_slider_handle_shape_EXAMPLE@
--
-- @property handle_shape
-- @tparam[opt=gears shape rectangle] gears.shape shape
-- @see gears.shape
--- The slider handle color.
--
--@DOC_wibox_widget_slider_handle_color_EXAMPLE@
--
-- @property handle_color
-- @param color
--- The slider handle margins.
--
--@DOC_wibox_widget_slider_handle_margins_EXAMPLE@
--
-- @property handle_margins
-- @tparam[opt={}] table margins
-- @tparam[opt=0] number margins.left
-- @tparam[opt=0] number margins.right
-- @tparam[opt=0] number margins.top
-- @tparam[opt=0] number margins.bottom
--- The slider handle width.
--
--@DOC_wibox_widget_slider_handle_width_EXAMPLE@
--
-- @property handle_width
-- @param number
--- The handle border_color.
--
--@DOC_wibox_widget_slider_handle_border_EXAMPLE@
--
-- @property handle_border_color
-- @param color
--- The handle border width.
-- @property handle_border_width
-- @param[opt=0] number
--- The bar (background) shape.
--
--@DOC_wibox_widget_slider_bar_shape_EXAMPLE@
--
-- @property bar_shape
-- @tparam[opt=gears shape rectangle] gears.shape shape
-- @see gears.shape
--- The bar (background) height.
--
--@DOC_wibox_widget_slider_bar_height_EXAMPLE@
--
-- @property bar_height
-- @param number
--- The bar (background) color.
--
--@DOC_wibox_widget_slider_bar_color_EXAMPLE@
--
-- @property bar_color
-- @param color
--- The bar (background) margins.
--
--@DOC_wibox_widget_slider_bar_margins_EXAMPLE@
--
-- @property bar_margins
-- @tparam[opt={}] table margins
-- @tparam[opt=0] number margins.left
-- @tparam[opt=0] number margins.right
-- @tparam[opt=0] number margins.top
-- @tparam[opt=0] number margins.bottom
--- The bar (background) border width.
-- @property bar_border_width
-- @param[opt=0] numbergb
--- The bar (background) border_color.
--
--@DOC_wibox_widget_slider_bar_border_EXAMPLE@
--
-- @property bar_border_color
-- @param color
--- The slider value.
--
--@DOC_wibox_widget_slider_value_EXAMPLE@
--
-- @property value
-- @param[opt=0] number
--- The slider minimum value.
-- @property minimum
-- @param[opt=0] number
--- The slider maximum value.
-- @property maximum
-- @param[opt=100] number
--- The bar (background) border width.
-- @beautiful beautiful.slider_bar_border_width
-- @param number
--- The bar (background) border color.
-- @beautiful beautiful.slider_bar_border_color
-- @param color
--- The handle border_color.
-- @beautiful beautiful.slider_handle_border_color
-- @param color
--- The handle border width.
-- @beautiful beautiful.slider_handle_border_width
-- @param number
--- The handle .
-- @beautiful beautiful.slider_handle_width
-- @param number
-- @beautiful beautiful.slider_handle_color
-- @param color
--- The handle shape.
-- @beautiful beautiful.slider_handle_shape
-- @tparam[opt=gears shape rectangle] gears.shape shape
-- @see gears.shape
--- The bar (background) shape.
-- @beautiful beautiful.slider_bar_shape
-- @tparam[opt=gears shape rectangle] gears.shape shape
-- @see gears.shape
--- The bar (background) height.
-- @beautiful beautiful.slider_bar_height
-- @param number
--- The bar (background) margins.
-- @beautiful beautiful.slider_bar_margins
-- @tparam[opt={}] table margins
-- @tparam[opt=0] number margins.left
-- @tparam[opt=0] number margins.right
-- @tparam[opt=0] number margins.top
-- @tparam[opt=0] number margins.bottom
--- The slider handle margins.
-- @beautiful beautiful.slider_handle_margins
-- @tparam[opt={}] table margins
-- @tparam[opt=0] number margins.left
-- @tparam[opt=0] number margins.right
-- @tparam[opt=0] number margins.top
-- @tparam[opt=0] number margins.bottom
--- The bar (background) color.
-- @beautiful beautiful.slider_bar_color
-- @param color
local properties = {
-- Handle
handle_shape = shape.rectangle,
handle_color = false,
handle_margins = {},
handle_width = false,
handle_border_width = 0,
handle_border_color = false,
-- Bar
bar_shape = shape.rectangle,
bar_height = false,
bar_color = false,
bar_margins = {},
bar_border_width = 0,
bar_border_color = false,
-- Content
value = 0,
minimum = 0,
maximum = 100,
}
-- Create the accessors
for prop in pairs(properties) do
slider["set_"..prop] = function(self, value)
local changed = self._private[prop] ~= value
self._private[prop] = value
if changed then
self:emit_signal("property::"..prop)
self:emit_signal("widget::redraw_needed")
end
end
slider["get_"..prop] = function(self)
-- Ignoring the false's is on purpose
return self._private[prop] == nil
and properties[prop]
or self._private[prop]
end
end
-- Add some validation to set_value
function slider:set_value(value)
value = math.min(value, self:get_maximum())
value = math.max(value, self:get_minimum())
local changed = self._private.value ~= value
self._private.value = value
if changed then
self:emit_signal( "property::value" )
self:emit_signal( "widget::redraw_needed" )
end
end
local function get_extremums(self)
local min = self._private.minimum or properties.minimum
local max = self._private.maximum or properties.maximum
local interval = max - min
return min, max, interval
end
function slider:draw(_, cr, width, height)
local bar_height = self._private.bar_height
-- If there is no background, then skip this
local bar_color = self._private.bar_color
or beautiful.slider_bar_color
if bar_color then
cr:set_source(color(bar_color))
end
local margins = self._private.bar_margins
or beautiful.slider_bar_margins
local x_offset, right_margin, y_offset = 0, 0
if margins then
if type(margins) == "number" then
bar_height = bar_height or (height - 2*margins)
x_offset, y_offset = margins, margins
right_margin = margins
else
bar_height = bar_height or (
height - (margins.top or 0) - (margins.bottom or 0)
)
x_offset, y_offset = margins.left or 0, margins.top or 0
right_margin = margins.right or 0
end
else
bar_height = bar_height or beautiful.slider_bar_height or height
y_offset = (height - bar_height)/2
end
cr:translate(x_offset, y_offset)
local bar_shape = self._private.bar_shape
or beautiful.slider_bar_shape
or properties.bar_shape
local bar_border_width = self._private.bar_border_width
or beautiful.slider_bar_border_width
or properties.bar_border_width
bar_shape(cr, width - x_offset - right_margin, bar_height or height)
if bar_color then
if bar_border_width == 0 then
cr:fill()
else
cr:fill_preserve()
end
end
-- Draw the bar border
if bar_border_width > 0 then
local bar_border_color = self._private.bar_border_color
or beautiful.slider_bar_border_color
or properties.bar_border_color
cr:set_line_width(bar_border_width)
if bar_border_color then
cr:save()
cr:set_source(color(bar_border_color))
cr:stroke()
cr:restore()
else
cr:stroke()
end
end
cr:translate(-x_offset, -y_offset)
-- Paint the handle
local handle_color = self._private.handle_color
or beautiful.slider_handle_color
-- It is ok if there is no color, it will be inherited
if handle_color then
cr:set_source(color(handle_color))
end
local handle_height, handle_width = height, self._private.handle_width
or beautiful.slider_handle_width
or height/2
local handle_shape = self._private.handle_shape
or beautiful.slider_handle_shape
or properties.handle_shape
-- Lets get the margins for the handle
margins = self._private.handle_margins
or beautiful.slider_handle_margins
x_offset, y_offset = 0, 0
if margins then
if type(margins) == "number" then
x_offset, y_offset = margins, margins
handle_width = handle_width - 2*margins
handle_height = handle_height - 2*margins
else
x_offset, y_offset = margins.left or 0, margins.top or 0
handle_width = handle_width -
(margins.left or 0) - (margins.right or 0)
handle_height = handle_height -
(margins.top or 0) - (margins.bottom or 0)
end
end
local value = self._private.value or self._private.min or 0
-- Get the widget size back to it's non-transfored value
local min, _, interval = get_extremums(self)
local rel_value = ((value-min)/interval) * (width-handle_width)
cr:translate(x_offset + rel_value, y_offset)
local handle_border_width = self._private.handle_border_width
or beautiful.slider_handle_border_width
or properties.handle_border_width or 0
handle_shape(cr, handle_width, handle_height)
if handle_border_width > 0 then
cr:fill_preserve()
else
cr:fill()
end
-- Draw the handle border
if handle_border_width > 0 then
local handle_border_color = self._private.handle_border_color
or beautiful.slider_handle_border_color
or properties.handle_border_color
if handle_border_color then
cr:set_source(color(handle_border_color))
end
cr:set_line_width(handle_border_width)
cr:stroke()
end
end
function slider:fit(_, width, height)
-- Use all the space, this should be used with a constraint widget
return width, height
end
-- Move the handle to the correct location
local function move_handle(self, width, x, _)
local _, _, interval = get_extremums(self)
self:set_value(math.floor((x*interval)/width))
end
local function mouse_press(self, x, y, button_id, _, geo)
if button_id ~= 1 then return end
local matrix_from_device = geo.hierarchy:get_matrix_from_device()
-- Sigh. geo.width/geo.height is in device space. We need it in our own
-- coordinate system
local width = geo.widget_width
move_handle(self, width, x, y)
-- Calculate a matrix transforming from screen coordinates into widget coordinates
local wgeo = geo.drawable.drawable:geometry()
local matrix = matrix_from_device:translate(-wgeo.x, -wgeo.y)
capi.mousegrabber.run(function(mouse)
if not mouse.buttons[1] then
return false
end
-- Calculate the point relative to the widget
move_handle(self, width, matrix:transform_point(mouse.x, mouse.y))
return true
end,"fleur")
end
--- Create a slider widget.
-- @tparam[opt={}] table args
-- @function wibox.widget.slider
local function new(args)
local ret = base.make_widget(nil, nil, {
enable_properties = true,
})
util.table.crush(ret._private, args or {})
util.table.crush(ret, slider, true)
ret:connect_signal("button::press", mouse_press)
return ret
end
function slider.mt:__call(_, ...)
return new(...)
end
--@DOC_widget_COMMON@
--@DOC_object_COMMON@
return setmetatable(slider, slider.mt)
-- vim: filetype=lua:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:textwidth=80

View File

@ -0,0 +1,22 @@
local parent = ... --DOC_HIDE
local wibox = require( "wibox" ) --DOC_HIDE
local beautiful = require( "beautiful" ) --DOC_HIDE
local gears = {shape=require("gears.shape") } --DOC_HIDE
parent:add( --DOC_HIDE
wibox.widget {
bar_shape = gears.shape.rounded_rect,
bar_height = 3,
bar_color = beautiful.border_color,
handle_color = beautiful.bg_normal,
handle_shape = gears.shape.circle,
handle_border_color = beautiful.border_color,
handle_border_width = 1,
value = 25,
widget = wibox.widget.slider,
forced_height = 50, --DOC_HIDE
forced_width = 100, --DOC_HIDE
}
) --DOC_HIDE

View File

@ -0,0 +1,26 @@
--DOC_HIDE_ALL
local parent = ...
local wibox = require("wibox")
local beautiful = require("beautiful")
local function gen(val)
return wibox.widget {
bar_border_color = val,
bar_border_width = 4,
bar_margins = {},
handle_color = beautiful.bg_normal,
handle_border_color = beautiful.border_color,
handle_border_width = 1,
widget = wibox.widget.slider,
}
end
local l = wibox.layout {
gen("#ff0000"), gen("#00ff00"), gen("#0000ff"), gen("#ff00ff"),
forced_height = 30,
forced_width = 400,
spacing = 5,
layout = wibox.layout.flex.horizontal
}
parent:add(l)

View File

@ -0,0 +1,26 @@
--DOC_HIDE_ALL
local parent = ...
local wibox = require("wibox")
local beautiful = require("beautiful")
local function gen(val)
return wibox.widget {
bar_border_color = beautiful.border_color,
bar_border_width = 1,
bar_margins = {},
bar_color = val,
handle_border_color = beautiful.border_color,
handle_border_width = 1,
widget = wibox.widget.slider,
}
end
local l = wibox.layout {
gen("#ff0000"), gen("#00ff00"), gen("#0000ff"), gen("#ff00ff"),
forced_height = 30,
forced_width = 400,
spacing = 5,
layout = wibox.layout.flex.horizontal
}
parent:add(l)

View File

@ -0,0 +1,26 @@
--DOC_HIDE_ALL
local parent = ...
local wibox = require("wibox")
local beautiful = require("beautiful")
local function gen(val)
return wibox.widget {
bar_border_color = beautiful.border_color,
bar_border_width = 1,
bar_height = val,
handle_color = beautiful.bg_normal,
handle_border_color = beautiful.border_color,
handle_border_width = 1,
widget = wibox.widget.slider,
}
end
local l = wibox.layout {
gen(3), gen(9), gen(16), gen(nil),
forced_height = 30,
forced_width = 400,
spacing = 5,
layout = wibox.layout.flex.horizontal
}
parent:add(l)

View File

@ -0,0 +1,31 @@
--DOC_HIDE_ALL
local parent = ...
local wibox = require("wibox")
local beautiful = require("beautiful")
local function gen(val)
return wibox.widget {
bar_border_color = beautiful.border_color,
bar_border_width = 2,
bar_margins = val,
handle_color = beautiful.bg_normal,
handle_border_color = beautiful.border_color,
handle_border_width = 2,
widget = wibox.widget.slider,
}
end
local l = wibox.layout {
gen(0), gen(3), gen(6), gen({
top = 12,
bottom = 12,
left = 12,
right = 12,
}),
forced_height = 30,
forced_width = 400,
spacing = 5,
layout = wibox.layout.flex.horizontal
}
parent:add(l)

View File

@ -0,0 +1,28 @@
--DOC_HIDE_ALL
local parent = ...
local wibox = require("wibox")
local gears = {shape = require("gears.shape")}
local beautiful = require("beautiful")
local function gen(val)
return wibox.widget {
bar_shape = gears.shape[val],
bar_border_color = beautiful.border_color,
bar_border_width = 1,
bar_margins = {},
handle_color = beautiful.bg_normal,
handle_border_color = beautiful.border_color,
handle_border_width = 1,
widget = wibox.widget.slider,
}
end
local l = wibox.layout {
gen("rectangle"), gen("hexagon"), gen("rounded_bar"), gen("octogon"),
forced_height = 30,
forced_width = 400,
spacing = 5,
layout = wibox.layout.flex.horizontal
}
parent:add(l)

View File

@ -0,0 +1,26 @@
--DOC_HIDE_ALL
local parent = ...
local wibox = require("wibox")
local beautiful = require("beautiful")
local function gen(val)
return wibox.widget {
bar_border_color = beautiful.border_color,
bar_border_width = 1,
bar_margins = {},
handle_color = beautiful.bg_normal,
handle_border_color = val,
handle_border_width = 4,
widget = wibox.widget.slider,
}
end
local l = wibox.layout {
gen("#ff0000"), gen("#00ff00"), gen("#0000ff"), gen("#ff00ff"),
forced_height = 30,
forced_width = 400,
spacing = 5,
layout = wibox.layout.flex.horizontal
}
parent:add(l)

View File

@ -0,0 +1,26 @@
--DOC_HIDE_ALL
local parent = ...
local wibox = require("wibox")
local beautiful = require("beautiful")
local function gen(val)
return wibox.widget {
bar_border_color = beautiful.border_color,
bar_border_width = 1,
bar_margins = {},
handle_color = val,
handle_border_color = beautiful.border_color,
handle_border_width = 1,
widget = wibox.widget.slider,
}
end
local l = wibox.layout {
gen("#ff0000"), gen("#00ff00"), gen("#0000ff"), gen("#ff00ff"),
forced_height = 30,
forced_width = 400,
spacing = 5,
layout = wibox.layout.flex.horizontal
}
parent:add(l)

View File

@ -0,0 +1,31 @@
--DOC_HIDE_ALL
local parent = ...
local wibox = require("wibox")
local beautiful = require("beautiful")
local function gen(val)
return wibox.widget {
bar_border_color = beautiful.border_color,
bar_border_width = 2,
handle_margins = val,
handle_color = beautiful.bg_normal,
handle_border_color = beautiful.border_color,
handle_border_width = 2,
widget = wibox.widget.slider,
}
end
local l = wibox.layout {
gen(0), gen(3), gen(6), gen({
top = 12,
bottom = 12,
left = 12,
right = 12,
}),
forced_height = 30,
forced_width = 400,
spacing = 5,
layout = wibox.layout.flex.horizontal
}
parent:add(l)

View File

@ -0,0 +1,28 @@
--DOC_HIDE_ALL
local parent = ...
local wibox = require("wibox")
local gears = {shape = require("gears.shape")}
local beautiful = require("beautiful")
local function gen(val)
return wibox.widget {
bar_border_color = beautiful.border_color,
bar_border_width = 1,
bar_margins = {},
handle_shape = gears.shape[val],
handle_color = beautiful.bg_normal,
handle_border_color = beautiful.border_color,
handle_border_width = 1,
widget = wibox.widget.slider,
}
end
local l = wibox.layout {
gen("rectangle"), gen("losange"), gen("circle"), gen("isosceles_triangle"),
forced_height = 30,
forced_width = 400,
spacing = 5,
layout = wibox.layout.flex.horizontal
}
parent:add(l)

View File

@ -0,0 +1,27 @@
--DOC_HIDE_ALL
local parent = ...
local wibox = require("wibox")
local beautiful = require("beautiful")
local function gen(val)
return wibox.widget {
bar_border_color = beautiful.border_color,
bar_border_width = 2,
handle_width = val,
value = 50,
handle_color = beautiful.bg_normal,
handle_border_color = beautiful.border_color,
handle_border_width = 2,
widget = wibox.widget.slider,
}
end
local l = wibox.layout {
gen(0), gen(10), gen(30), gen(50),
forced_height = 30,
forced_width = 400,
spacing = 5,
layout = wibox.layout.flex.horizontal
}
parent:add(l)

View File

@ -0,0 +1,27 @@
--DOC_HIDE_ALL
local parent = ...
local wibox = require("wibox")
local beautiful = require("beautiful")
local function gen(val)
return wibox.widget {
bar_border_color = beautiful.border_color,
value = val,
bar_border_width = 4,
bar_margins = {},
handle_color = beautiful.bg_normal,
handle_border_color = beautiful.border_color,
handle_border_width = 1,
widget = wibox.widget.slider,
}
end
local l = wibox.layout {
gen(0), gen(33), gen(66), gen(100),
forced_height = 30,
forced_width = 400,
spacing = 5,
layout = wibox.layout.flex.horizontal
}
parent:add(l)