(value, uri)
| 140 | * @private |
| 141 | */ |
| 142 | var _setFilterParam = function(value, uri) { |
| 143 | var _url = new URL(uri); |
| 144 | var _params = new URLSearchParams(_url.search.slice(1)); |
| 145 | if (value === '') { |
| 146 | _params.delete('filter'); |
| 147 | } else { |
| 148 | _params.set('filter', value); |
| 149 | } |
| 150 | _url.search = _params.toString(); |
| 151 | window.history.replaceState(null, document.title, _url.toString()); |
| 152 | }; |
| 153 | |
| 154 | /** |
| 155 | * @return void |