Brian Vaughn 15c5396169 Re-added "Settings" panel to browser extension and (hopefully) fixed a lot of sources of error

2019-02-14 11:45:11 -08:00

..

panels

Re-added "Settings" panel to browser extension and (hopefully) fixed a lot of sources of error

2019-02-14 11:45:11 -08:00

backend.js

Temporarily disabled Settings panel

2019-02-13 11:36:43 -08:00

background.js

Added initial Chrome/Firefox shells

2019-01-23 18:06:21 -08:00

contentScript.js

Fixed potential race cases in bridge/store/backend initialization

2019-01-31 14:27:16 -08:00

GlobalHook.js

Added initial Chrome/Firefox shells

2019-01-23 18:06:21 -08:00

inject.js

Fixed potential race cases in bridge/store/backend initialization

2019-01-31 14:27:16 -08:00

main.js

Re-added "Settings" panel to browser extension and (hopefully) fixed a lot of sources of error

2019-02-14 11:45:11 -08:00

utils.js

Initial pass at adding Settings panel to browser extension

2019-02-13 10:59:49 -05:00