2014-06-03 22:17:06 +00:00
|
|
|
|
|
|
|
plugins.dmenu.sweeper = function(dir) {
|
2017-01-05 22:30:07 +00:00
|
|
|
window.location = '/plugin/sweeper/edit.jim?dir=' +
|
|
|
|
encodeURIComponent(dir);
|
2014-06-03 22:17:06 +00:00
|
|
|
};
|
|
|
|
|
2014-06-09 22:24:50 +00:00
|
|
|
plugins.dmenu.nosweep = function(dir, iconset, results, el) {
|
|
|
|
flagdir(dir, 'nosweep', iconset, results, el);
|
|
|
|
};
|
|
|
|
|