util.menu_iterator: cleaned indentation; added wiki entry; closes #386

[etc/awesome.git] / helpers.lua

diff --git a/helpers.lua b/helpers.lua
index 313579f8a3d28368b4918faf5e0a32f4b9ca9e37..fb71335f91a25a6a6b995648a91a8e45e2ef2649 100644 (file)
--- a/helpers.lua
+++ b/helpers.lua
@@ -10,6 +10,7 @@ local timer      = require("gears.timer")
 local debug      = require("debug")
 local io         = { lines = io.lines,
                      open  = io.open }
+local pairs      = pairs
 local rawget     = rawget
 local table      = { sort  = table.sort }
 
@@ -179,9 +180,8 @@ function helpers.spairs(t)
     end
 end
 
--- create trivial partition of a set. The trivial partition set is the simplest
--- partition of a set. For e.g., the trivial partition set of {a, b, c}, is
--- simply {{a}, {b}, {c}}.
+-- create the partition of singletons of a given set
+-- example: the trivial partition set of {a, b, c}, is {{a}, {b}, {c}}
 function helpers.trivial_partition_set(set)
     local ss = {}
     for _,e in pairs(set) do