madduck's git repository
Every one of the projects in this repository is available at the canonical
URL git://git.madduck.net/madduck/pub/<projectpath> — see
each project's metadata for the exact URL.
All patches and comments are welcome. Please squash your changes to logical
commits before using git-format-patch and git-send-email to
patches@git.madduck.net.
If you'd read over the Git project's submission guidelines and adhered to them,
I'd be especially grateful.
SSH access, as well as push access can be individually
arranged.
If you use my repositories frequently, consider adding the following
snippet to ~/.gitconfig and using the third clone URL listed for each
project:
[url "git://git.madduck.net/madduck/"]
insteadOf = madduck:
local tag = require("awful.tag")
local beautiful = require("beautiful")
local ipairs = ipairs
local tag = require("awful.tag")
local beautiful = require("beautiful")
local ipairs = ipairs
-local math = { floor = math.floor,
+local math = { floor = math.floor,
max = math.max,
min = math.min }
local tonumber = tonumber
max = math.max,
min = math.min }
local tonumber = tonumber
local function tile_group(cls, wa, orientation, fact, group)
-- A useless gap (like the dwm patch) can be defined with
-- beautiful.useless_gap_width .
local function tile_group(cls, wa, orientation, fact, group)
-- A useless gap (like the dwm patch) can be defined with
-- beautiful.useless_gap_width .
- local useless_gap = tonumber(beautiful.useless_gap_width)
- if useless_gap == nil
- then
- useless_gap = 0
- end
+ local useless_gap = tonumber(beautiful.useless_gap_width) or 0
-- get our orientation right
local height = "height"
-- get our orientation right
local height = "height"
+ gap_factor = (useless_gap / 100) * 2
+
if geom[y] == wa[y] then
top = true
end
if geom[y] == wa[y] then
top = true
end
- geom[height] = geom[height] - 2 * useless_gap
+ geom[height] = geom[height] - (2 + gap_factor) * useless_gap
geom[y] = geom[y] + useless_gap
else
geom[y] = geom[y] + useless_gap
else
- geom[height] = geom[height] - useless_gap
+ geom[height] = geom[height] - (1 + gap_factor) * useless_gap
- geom[width] = geom[width] - 2 * useless_gap
+ geom[width] = geom[width] - (2 + gap_factor) * useless_gap
geom[x] = geom[x] + useless_gap
else
geom[x] = geom[x] + useless_gap
else
- geom[width] = geom[width] - useless_gap
+ geom[width] = geom[width] - (1 + gap_factor) * useless_gap
end
end
-- End of useless gap.
end
end
-- End of useless gap.