pulseaudio: cmd switch from grep to sed #168

[etc/awesome.git] / util / init.lua

diff --git a/util/init.lua b/util/init.lua
index 1dfff65bbbd9785fc667006a0b3076201f5886b4..ac3afec9e5238bb888cd24b110dee9e13467913c 100644 (file)
--- a/util/init.lua
+++ b/util/init.lua
@@ -146,7 +146,7 @@ function util.tag_view_nonempty(direction, sc)
    local s = sc or mouse.screen or 1
    local scr = screen[s]
 
    local s = sc or mouse.screen or 1
    local scr = screen[s]
 

-   for i = 1, #tags[s] do
+   for i = 1, #awful.tag.gettags(s) do

        awful.tag.viewidx(direction,s)
        if #awful.client.visible(s) > 0 then
            return
        awful.tag.viewidx(direction,s)
        if #awful.client.visible(s) > 0 then
            return


@@ -210,4 +210,20 @@ function util.useless_gaps_resize(thatmuch)
     awful.layout.arrange(mouse.screen)
 end
 
     awful.layout.arrange(mouse.screen)
 end
 

+-- On the fly global border change
+function util.global_border_resize(thatmuch)
+    beautiful.global_border_width = tonumber(beautiful.global_border_width) + thatmuch
+    awful.layout.arrange(mouse.screen)
+end
+
+-- Check if an element exist on a table
+function util.element_in_table(element, tbl)
+    for _, i in pairs(tbl) do
+        if i == element then
+            return true
+        end
+    end
+    return false
+end
+

 return setmetatable(util, { __index = wrequire })
 return setmetatable(util, { __index = wrequire })