Sebastian Zartner [:sebo] Reporter
	Description • 9 years ago

It would be nice if a user could get to know when a source mapping happened.
So in case an original source is displayed, there should be a note to which file it maps and maybe also some other indication that it's an original source.

This could be done by showing the mapped source within the Sources panel, e.g. below the name of the original source like so:

originalsource.js
→ /some/other/path/mappedsource.js

Sebastian

	James Long (:jlongster)
	Comment 1 • 9 years ago

We're going to redo the source listing pretty soon, so we'll keep this in mind.

	devurandom
	Comment 2 • 8 years ago

Is this a duplicate of bug #956088?

	Sebastian Zartner [:sebo] Reporter
	Comment 3 • 8 years ago

Yes, thanks for noting!

Sebastian