2013-09-07 12:06:42 +02:00
|
|
|
|
|
|
|
--[[
|
2013-09-13 18:15:25 +02:00
|
|
|
|
|
|
|
Lain
|
|
|
|
Layouts, widgets and utilities for Awesome WM
|
|
|
|
|
|
|
|
Utilities section
|
|
|
|
|
|
|
|
Licensed under GNU General Public License v2
|
|
|
|
* (c) 2013, Luke Bonham
|
|
|
|
* (c) 2010-2012, Peter Hofmann
|
|
|
|
|
2013-09-07 12:06:42 +02:00
|
|
|
--]]
|
|
|
|
|
|
|
|
local awful = require("awful")
|
|
|
|
local beautiful = require("beautiful")
|
|
|
|
local math = { sqrt = math.sqrt }
|
|
|
|
local pairs = pairs
|
2013-09-13 18:15:25 +02:00
|
|
|
local string = { gsub = string.gsub }
|
2013-09-07 12:06:42 +02:00
|
|
|
local client = client
|
|
|
|
local screen = screen
|
|
|
|
local tonumber = tonumber
|
|
|
|
|
|
|
|
local wrequire = require("lain.helpers").wrequire
|
|
|
|
local setmetatable = setmetatable
|
|
|
|
|
|
|
|
-- Lain utilities submodule
|
|
|
|
-- lain.util
|
|
|
|
local util = { _NAME = "lain.util" }
|
|
|
|
|
2017-01-09 20:21:56 +01:00
|
|
|
-- Like awful.menu.clients, but only show clients of currently selected tags
|
2013-09-07 12:06:42 +02:00
|
|
|
function util.menu_clients_current_tags(menu, args)
|
|
|
|
-- List of currently selected tags.
|
2017-01-09 13:04:02 +01:00
|
|
|
local cls_tags = awful.screen.focused().selected_tags
|
2013-09-07 12:06:42 +02:00
|
|
|
|
2017-01-09 20:21:56 +01:00
|
|
|
if cls_tags == nil then return nil end
|
|
|
|
|
2013-09-07 12:06:42 +02:00
|
|
|
-- Final list of menu items.
|
|
|
|
local cls_t = {}
|
|
|
|
|
|
|
|
-- For each selected tag get all clients of that tag and add them to
|
|
|
|
-- the menu. A click on a menu item will raise that client.
|
2017-01-09 20:21:56 +01:00
|
|
|
for i = 1,#cls_tags do
|
|
|
|
local t = cls_tags[i]
|
2013-09-07 12:06:42 +02:00
|
|
|
local cls = t:clients()
|
|
|
|
|
2017-01-09 20:21:56 +01:00
|
|
|
for k, c in pairs(cls) do
|
2013-09-07 12:06:42 +02:00
|
|
|
cls_t[#cls_t + 1] = { awful.util.escape(c.name) or "",
|
|
|
|
function ()
|
|
|
|
c.minimized = false
|
|
|
|
client.focus = c
|
|
|
|
c:raise()
|
|
|
|
end,
|
|
|
|
c.icon }
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- No clients? Then quit.
|
2013-09-28 13:06:35 +02:00
|
|
|
if #cls_t <= 0 then return nil end
|
2013-09-07 12:06:42 +02:00
|
|
|
|
|
|
|
-- menu may contain some predefined values, otherwise start with a
|
|
|
|
-- fresh menu.
|
2013-09-28 13:06:35 +02:00
|
|
|
if not menu then menu = {} end
|
2013-09-07 12:06:42 +02:00
|
|
|
|
|
|
|
-- Set the list of items and show the menu.
|
|
|
|
menu.items = cls_t
|
2017-01-09 20:21:56 +01:00
|
|
|
local m = awful.menu(menu)
|
2013-09-07 12:06:42 +02:00
|
|
|
m:show(args)
|
2017-01-09 20:21:56 +01:00
|
|
|
|
2013-09-07 12:06:42 +02:00
|
|
|
return m
|
|
|
|
end
|
|
|
|
|
2017-01-09 20:21:56 +01:00
|
|
|
-- Magnify a client: set it to "float" and resize it.
|
2013-09-07 12:06:42 +02:00
|
|
|
function util.magnify_client(c)
|
2017-01-09 20:21:56 +01:00
|
|
|
if c and not c.floating then
|
2016-05-08 19:57:21 +02:00
|
|
|
util.mc(c)
|
2017-01-09 20:21:56 +01:00
|
|
|
util.magnified_client = c
|
2013-09-18 16:56:02 +02:00
|
|
|
else
|
2017-01-09 20:21:56 +01:00
|
|
|
c.floating = false
|
|
|
|
util.magnified_client = nil
|
2013-09-18 16:56:02 +02:00
|
|
|
end
|
2013-09-07 12:06:42 +02:00
|
|
|
end
|
|
|
|
|
2016-05-08 19:57:21 +02:00
|
|
|
-- https://github.com/copycat-killer/lain/issues/195
|
|
|
|
function util.mc(c)
|
2017-01-09 20:21:56 +01:00
|
|
|
c = c or util.magnified_client
|
2016-05-08 19:57:21 +02:00
|
|
|
if not c then return end
|
2017-01-09 13:04:02 +01:00
|
|
|
|
|
|
|
c.floating = true
|
2017-01-09 20:21:56 +01:00
|
|
|
local s = awful.screen.focused()
|
2017-01-09 13:04:02 +01:00
|
|
|
local mg = s.geometry
|
|
|
|
local tag = s.selected_tag
|
|
|
|
local mwfact = beautiful.master_width_factor or 0.5
|
|
|
|
local g = {}
|
|
|
|
g.width = math.sqrt(mwfact) * mg.width
|
|
|
|
g.height = math.sqrt(mwfact) * mg.height
|
|
|
|
g.x = mg.x + (mg.width - g.width) / 2
|
|
|
|
g.y = mg.y + (mg.height - g.height) / 2
|
|
|
|
|
2016-11-19 12:32:29 +01:00
|
|
|
if c then c:geometry(g) end -- if c is still a valid object
|
2016-05-08 19:57:21 +02:00
|
|
|
end
|
|
|
|
|
2013-09-07 12:06:42 +02:00
|
|
|
-- Non-empty tag browsing
|
|
|
|
-- direction in {-1, 1} <-> {previous, next} non-empty tag
|
|
|
|
function util.tag_view_nonempty(direction, sc)
|
2017-01-09 13:04:02 +01:00
|
|
|
local s = sc or awful.screen.focused()
|
2013-09-07 12:06:42 +02:00
|
|
|
|
2017-01-09 13:04:02 +01:00
|
|
|
for i = 1, #s.tags do
|
|
|
|
awful.tag.viewidx(direction, s)
|
|
|
|
if #s.clients > 0 then
|
2013-09-07 12:06:42 +02:00
|
|
|
return
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2013-09-19 20:51:28 +02:00
|
|
|
-- {{{ Dynamic tagging
|
2017-01-09 20:21:56 +01:00
|
|
|
|
2013-09-19 20:51:28 +02:00
|
|
|
-- Add a new tag
|
2017-01-03 12:21:50 +01:00
|
|
|
function util.add_tag()
|
|
|
|
awful.prompt.run {
|
|
|
|
prompt = "New tag name: ",
|
|
|
|
textbox = awful.screen.focused().mypromptbox.widget,
|
|
|
|
exe_callback = function(name)
|
|
|
|
if not name or #name == 0 then return end
|
|
|
|
awful.tag.add(name, { screen = awful.screen.focused() }):view_only()
|
2013-09-19 20:51:28 +02:00
|
|
|
end
|
2017-01-03 12:21:50 +01:00
|
|
|
}
|
2013-09-19 20:51:28 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
-- Rename current tag
|
2017-01-03 12:21:50 +01:00
|
|
|
function util.rename_tag()
|
|
|
|
awful.prompt.run {
|
|
|
|
prompt = "Rename tag: ",
|
|
|
|
textbox = awful.screen.focused().mypromptbox.widget,
|
|
|
|
exe_callback = function(new_name)
|
|
|
|
if not new_name or #new_name == 0 then return end
|
|
|
|
local t = awful.screen.focused().selected_tag
|
|
|
|
if t then
|
|
|
|
t.name = new_name
|
|
|
|
end
|
2013-09-07 12:06:42 +02:00
|
|
|
end
|
2017-01-03 12:21:50 +01:00
|
|
|
}
|
2013-09-07 12:06:42 +02:00
|
|
|
end
|
|
|
|
|
2013-09-28 13:05:05 +02:00
|
|
|
-- Move current tag
|
|
|
|
-- pos in {-1, 1} <-> {previous, next} tag position
|
|
|
|
function util.move_tag(pos)
|
2017-01-09 13:04:02 +01:00
|
|
|
local tag = awful.screen.focused().selected_tag
|
2013-09-28 13:05:05 +02:00
|
|
|
local idx = awful.tag.getidx(tag)
|
|
|
|
if tonumber(pos) <= -1 then
|
|
|
|
awful.tag.move(idx - 1, tag)
|
|
|
|
else
|
|
|
|
awful.tag.move(idx + 1, tag)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-01-03 12:21:50 +01:00
|
|
|
-- Delete current tag
|
2013-09-19 20:51:28 +02:00
|
|
|
-- Any rule set on the tag shall be broken
|
2017-01-03 12:21:50 +01:00
|
|
|
function util.delete_tag()
|
|
|
|
local t = awful.screen.focused().selected_tag
|
|
|
|
if not t then return end
|
|
|
|
t:delete()
|
2013-09-19 20:51:28 +02:00
|
|
|
end
|
2017-01-09 20:21:56 +01:00
|
|
|
|
2013-09-19 20:51:28 +02:00
|
|
|
-- }}}
|
|
|
|
|
2013-09-18 15:58:17 +02:00
|
|
|
-- On the fly useless gaps change
|
|
|
|
function util.useless_gaps_resize(thatmuch)
|
2017-01-06 11:21:19 +01:00
|
|
|
beautiful.useless_gap = tonumber(beautiful.useless_gap) + thatmuch
|
2017-01-09 20:21:56 +01:00
|
|
|
awful.layout.arrange(awful.screen.focused())
|
2014-05-07 17:29:51 +02:00
|
|
|
end
|
|
|
|
|
2013-09-07 12:06:42 +02:00
|
|
|
return setmetatable(util, { __index = wrequire })
|