On Sun, Oct 2, 2022 at 11:48 AM theratliter theratliter <theratli...@gmail.com> wrote: > > Hi, Ben. I think i misunderstand the dev tools. when i enter ctrl + p and > input a js file name, dev tools will emit Debugger.getScriptSource.
Right. I don't know DevTools's code well enough to say for sure but I expect it loads script sources on demand, not eagerly. Some of the URLs look kind of funky, by the way. "No"? -- -- v8-users mailing list v8-users@googlegroups.com http://groups.google.com/group/v8-users --- You received this message because you are subscribed to the Google Groups "v8-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to v8-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/v8-users/CAHQurc-YVHc4v1f4txuu-WcT2JJvSvDXbzfPd%3D1_FANGBKmCpA%40mail.gmail.com.
