webida / webida-client

Webida Opensource Project - Client Repository
Apache License 2.0
12 stars 24 forks source link

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

Open happibum opened 8 years ago

happibum commented 8 years ago

For example, pressing Alt-. in the following screen, image it tries to jump to editor tab for 'jjj.html*1001.js' though there is no such file. Tested on webida.org.

happibum commented 8 years ago

'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.