Fixes #903 - web UI and source maps.
authorJakub Pawlowicz <contact@jakubpawlowicz.com>
Tue, 14 Mar 2017 15:03:33 +0000 (16:03 +0100)
committerJakub Pawlowicz <contact@jakubpawlowicz.com>
Wed, 15 Mar 2017 10:07:40 +0000 (11:07 +0100)
commit437effae056eeac98e99945cd5af46b8771a3c2b
treef952bb1ba7bf8b5c23fd127b9840fffc0881ffa2
parent134972c693ec26daa860e713d68b7d56f10cf68e
Fixes #903 - web UI and source maps.

Fixes processing source maps in web UI, while disabling applying
source maps and loading remote sources whenever source maps are
disabled.

Ideally we should build source maps in web UI but only if an inlined
source map is provided - see #915.
History.md
docs/js/settings.js
lib/reader/apply-source-maps.js
lib/reader/load-original-sources.js
lib/reader/read-sources.js
test/source-map-test.js