I want debug JavaScript in prettify mode using the Firefox Developer Tools, but after clicking on the jump to definition icon, it switches to the default version of the JavaScript and not the prettyfied version.
See this video: http://bayanbox.ir/view/1345913938885179254/prettify.webm
Is this a bug?