Hmm, it also looks like the line numbers obtained from the Javascript Console are 1-based, so maybe the + 1 should be removed, but I don't know if there are other uses of the open_script_and_focus_line_callback function that pass 0-based line numbers...
Hmm, it also looks like the line numbers obtained from the Javascript Console are 1-based, so maybe the
+ 1should be removed, but I don't know if there are other uses of theopen_script_and_focus_line_callbackfunction that pass 0-based line numbers...