less cumbersome multi tooltip filter, added tooltips to search

2016-02-02 23:27:08 +01:00
parent 9cf2cb0324
commit d3a0425beb
5 changed files with 25 additions and 29 deletions
@@ -6,6 +6,10 @@ local merge, copy_array
 function Aux.util.pass()
 end

+function public.id(object)
+	return object
+end
+
 function public.wipe(table)
 	while getn(table) > 0 do
 		tremove(table)