Add bookmarking to JSL script editor

Someone already requested a better search and replace function in the JSL editor. I agree with that because the existing one seems confusing to me. But what I would really like to see are bookmark capabilities in the JSL editor, with control via key strokes. Ex: ctrl+F2 toggles the bookmark on / off. F2 moves to next bookmark. Shift F2 moves to previous bookmark.

 

Related: There's an F3 function where if you have text highlighted it will skip to the next time that string is encountered, but it would be nice to have a shift-F3 that goes in the opposite direction (up).  Never mind this last part... I didn't realize ctrl+shift+F3 goes to previous.

 

Thanks,
Mike

Tracking Number:

Defect ID: