radical/dock.lua

166 lines
6.2 KiB
Lua
Raw Normal View History

local setmetatable = setmetatable
local math = math
local base = require( "radical.base" )
local color = require( "gears.color" )
local wibox = require( "wibox" )
local beautiful = require( "beautiful" )
local vertical = require( "radical.layout.vertical" )
local horizontal = require( "radical.layout.horizontal" )
local item_layout = require( "radical.item.layout.icon" )
local item_style = require( "radical.item.style.rounded" )
local hot_corner = require( "radical.hot_corner" )
local shape = require( "gears.shape" )
local common = require( "radical.common" )
local smart_wibox = require( "radical.smart_wibox" )
local placement = require( "radical.placement" )
2014-11-15 05:46:06 +01:00
local default_radius = 10
local rad = beautiful.dock_corner_radius or default_radius
local default_shape = function(cr, width, height) shape.partially_rounded_rect(cr, width, height, false, true, true, false, rad) end
2014-11-15 05:46:06 +01:00
local capi,module = { mouse = mouse , screen = screen, keygrabber = keygrabber },{}
local max_size = {height={},width={}}
2014-10-06 00:02:46 +02:00
-- Compute the optimal maxmimum size
local function get_max_size(data,screen)
local dir = "left"
local w_or_h = ((dir == "left" or dir == "right") and "height" or "width")
local x_or_y = w_or_h == "height" and "y" or "x"
local res = max_size[w_or_h][screen]
if not res then
local full,wa = capi.screen[screen].geometry[w_or_h],capi.screen[screen].workarea
local top,bottom = wa[x_or_y],full-(wa.y+wa[w_or_h])
local biggest = top > bottom and top or bottom
--res = full - biggest*2 - 52 -- 26px margins
local margin = beautiful.dock_margin or 52
res = wa[w_or_h] - margin
max_size[w_or_h][screen] = res
end
return res
end
--TODO it still works, but rewrite this code anyway
-- The dock always have to be shorter than the screen
local function adapt_size(data,w,h,screen)
local max = get_max_size(data,screen)
-- Get the number of items minus the number of widgets
-- This can be used to approximate the number of pixel to remove
local visible_item = data.visible_row_count - #data._internal.widgets + 1
local orientation = "vertical"
if orientation == "vertical" and h > max then
local wdg_height = data.widget_fit_height_sum
--TODO this assume the widget size wont change
data.item_height = math.ceil((max-wdg_height)/visible_item)
data.item_width = data.item_height
data.default_width = data.item_width
elseif orientation == "horizontal" and w > max then
--TODO merge this with above
data.item_width = math.ceil((data.item_height*max)/w)
h = data.item_width
data.item_height = h
end
if data.icon_size and data.icon_size > w then
data.icon_size = w
end
2014-10-06 00:02:46 +02:00
data._internal.layout:emit_signal("widget::layout_changed")
data._internal.layout:emit_signal("widget::redraw_needed" )
end
-- Create the main wibox (lazy-loading)
local function get_wibox(data, screen)
if data._internal.w then return data._internal.w end
data._internal.margin = wibox.layout.margin(data._internal.layout)
2014-10-06 00:02:46 +02:00
local w = smart_wibox(data._internal.margin, {
screen = screen ,
ontop = true ,
shape = beautiful.dock_shape or default_shape ,
shape_border_width = 1 ,
shape_border_color = color(data.border_color or data.fg ),
bg = color(beautiful.bg_dock or beautiful.bg_normal),
})
data._internal.w = w
2014-10-06 00:02:46 +02:00
data:emit_signal("visible::changed",true)
w:connect_signal("property::height",function()
adapt_size(data, w.width, w.height, 1)
end)
2014-10-06 00:02:46 +02:00
placement.pin(w, placement.corner, "left", screen or 1)
return w
end
local function setup_drawable(data)
local internal = data._internal
-- Create the layout
internal.layout = data.layout(data)
-- Getters
data.get_visible = function() return true end
data.get_margins = common.get_margins
2014-07-28 05:49:14 +02:00
function data:set_visible(value)
if internal.w then
internal.w.visible = value or false
end
end
2014-10-06 00:02:46 +02:00
common.setup_item_move_events(data)
end
local function new(args)
local args = args or {}
local orientation = (not args.position or args.position == "left" or args.position == "right") and "vertical" or "horizontal"
local length_inv = orientation == "vertical" and "width" or "height"
-- The the Radical arguments
args.internal = args.internal or {}
args.internal.orientation = orientation
args.internal.setup_drawable = args.internal.setup_drawable or setup_drawable
args.internal.setup_item = args.internal.setup_item or common.setup_item
args.item_style = args.item_style or item_style
args.bg = color("#00000000") --Use the dock bg instead
args.item_height = 40
args.item_width = 40
args.sub_menu_on = args.sub_menu_on or base.event.BUTTON1
args.internal = args.internal or {}
args.internal.layout_func = orientation == "vertical" and vertical or horizontal
args.layout = args.layout or args.internal.layout_func
args.item_style = args.item_style or item.style
args.item_layout = args.item_layout or item_layout
args[length_inv] = args[length_inv] or 40
-- Create the dock
local ret = base(args)
ret.position = args.position or "left"
ret.screen = args.screen or 1
-- Add a 1px placeholder to trigger it
if not beautiful.dock_always_show then
hot_corner.register_wibox(ret.position, function()
return get_wibox(ret, 1)
end, ret.screen, 1)
else
timer.delayed_call(function()
local w = get_wibox(ret, 1)
w.visible = true
end)
end
return ret
end
return setmetatable(module, { __call = function(_, ...) return new(...) end })
-- kate: space-indent on; indent-width 4; replace-tabs on;