| Index: options.js |
| =================================================================== |
| --- a/options.js |
| +++ b/options.js |
| @@ -537,11 +537,16 @@ |
| function importRawFiltersText() |
| { |
| var text = document.getElementById("rawFiltersText").value; |
| - var result = parseFilters(text, true); |
| + var result = parseFilters(text); |
| - if (result.error) |
| + var errors = result.errors.filter(function(e) |
| { |
| - alert(result.error); |
| + return e.type != "unexpected-filter-list-header"; |
| + }); |
| + |
| + if (errors.length > 0) |
| + { |
| + alert(errors.join("\n")); |
| return; |
| } |