JavaScript Jump to definition within html script tag does not work properly.

[happibum]

For example, pressing Alt-. in the following screen,

it tries to jump to editor tab for 'jjj.html*1001.js' though there is no such file.
Tested on webida.org.

[happibum]

'jjj.html*1001.js' is the virtual file name for the JavaScript fragment. It should be used within assist-worker.
We should convert such names and positions to real names and positions so that editors can work properly.

Due to similar reasons, renaming JavaScript variables in HTML does not work, either.