| Index: ext/background.js |
| =================================================================== |
| --- a/ext/background.js |
| +++ b/ext/background.js |
| @@ -30,17 +30,17 @@ |
| { |
| this._map.delete(id); |
| if (this._map.size == 0) |
| nonEmptyPageMaps.delete(this); |
| }, |
| keys() |
| { |
| - return this._map.keys(); |
| + return Array.from(this._map.keys()).map(ext.getPage); |
|
kzar
2017/05/23 11:47:59
I wonder if you could do `return Array.prototype.m
Sebastian Noack
2017/05/23 12:16:54
Please don't. Array generics are non-standard and
Manish Jethani
2017/05/23 12:32:27
I think Dave meant Array.prototype.map rather than
Sebastian Noack
2017/05/23 15:09:18
Sorry, you are right, I mixed things up, calling a
kzar
2017/05/23 16:15:04
Acknowledged.
|
| }, |
| get(page) |
| { |
| return this._map.get(page.id); |
| }, |
| set(page, value) |
| { |
| this._map.set(page.id, value); |