new filter tab completed

2016-03-05 19:11:10 +01:00
parent e62b5c8939
commit 41a16129de
5 changed files with 94 additions and 135 deletions
@@ -25,6 +25,12 @@ function public.copy_table(table)
 	return copy
 end

+function public.cons(element, list)
+	local new_list = public.copy_table(list)
+	tinsert(new_list, 1, element)
+	return new_list
+end
+
 function public.trim(string)
 	string = gsub(string, '^%s*', '')
 	string = gsub(string, '%s*$', '')