fix trailing whitespace and mixed indent

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

diff --git a/util/init.lua b/util/init.lua
index 2f28b9a7aa09d492bac1268f9d541a360bdf3485..ac3afec9e5238bb888cd24b110dee9e13467913c 100644 (file)
--- a/util/init.lua
+++ b/util/init.lua
@@ -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 })