Can't fully revert edited js file

[Dave Netz]

I made some inline edits to a javascript file in the Sources tab, saved it, which showed a star next to the file and turned the script background pink (for whatever reason, it's actually harder to read now), and decided to revert all changes, so I right-clicked the file in the Sources sub-tab, clicked Local modifications, which opened the History tab and showed my changes, I then clicked Revert everywhere it appeared, saved, but the file is still showing a pink background and a star next to the filename.

I don't know how to just get this file back to the original state it was when it was downloaded. If I refresh, it closes the folder (annoying) and sometimes doesn't restore the file visuals, so I can't really tell if the changes reverted.

[Andrey Lushnikov]

The red background states that your changes have not being persisted. They all will be vanished on the page refresh.

On Fri, Mar 6, 2015 at 8:29 PM Dave Netz <daveh...@gmail.com> wrote:

I made some inline edits to a javascript file in the Sources tab, saved it, which showed a star next to the file and turned the script background pink (for whatever reason, it's actually harder to read now), and decided to revert all changes, so I right-clicked the file in the Sources sub-tab, clicked Local modifications, which opened the History tab and showed my changes, I then clicked Revert everywhere it appeared, saved, but the file is still showing a pink background and a star next to the filename.

I don't know how to just get this file back to the original state it was when it was downloaded. If I refresh, it closes the folder (annoying) and sometimes doesn't restore the file visuals, so I can't really tell if the changes reverted.

--
You received this message because you are subscribed to the Google Groups "Google Chrome Developer Tools" group.
To unsubscribe from this group and stop receiving emails from it, send an email to google-chrome-develo...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/google-chrome-developer-tools/3dffab16-3b13-44e3-b434-757ba09b4b25%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.