5 commits

Author	SHA1	Message	Date
gorhill	043f66f117	this should work for all browsers	2015-02-11 12:03:21 -05:00
gorhill	180285fc5f	this works for both Chromium and Firefox	2015-02-11 11:45:01 -05:00
gorhill	44768e8dba	#731: UI counterpart	2015-02-11 11:34:51 -05:00
gorhill	cdd1e19464	minor changes	2015-01-18 15:01:50 -05:00
gorhill	3c941f8309	another round of work re dynamic filtering	2014-12-31 17:26:17 -05:00