plugins.dmenu.sweeper = function(dir) {
	window.location = '/plugin/sweeper/edit.jim?dir=' +
	    encodeURIComponent(dir);
};

plugins.dmenu.nosweep = function(dir, iconset, results, el) {
	flagdir(dir, 'nosweep', iconset, results, el);
};