Overview
| Comment: | [fx] WebExt: a Map is not a Map anymore on Chrome (not working) |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk | fx |
| Files: | files | file ages | folders |
| SHA3-256: |
e2850f295a172b37656d530e3b2d0f75 |
| User & Date: | olr on 2017-09-26 13:46:40 |
| Other Links: | manifest | tags |
Context
|
2017-09-27
| ||
| 09:10 | [fx] WebExt: adaptation to Chrome (write and read gc options) check-in: 6d2246be0e user: olr tags: trunk, fx | |
|
2017-09-26
| ||
| 13:46 | [fx] WebExt: a Map is not a Map anymore on Chrome (not working) check-in: e2850f295a user: olr tags: trunk, fx | |
| 11:36 | [fx] WebExt: adaptation to Chrome (load options) check-in: 939c8db8c7 user: olr tags: trunk, fx | |
Changes
Modified gc_lang/fr/build.py from [677a5b04fd] to [e6bfac7235]. [diff]
Modified gc_lang/fr/webext/panel/main.js from [57b0e4a29a] to [0dd514b39a]. [diff]