Issue 6937: Jumping through Source Links removes yellow arrows of triggered
Merge branch 'jsd2' of github.com:firebug/firebug into jsd2
Merge branch 'jsd2' of github.com:firebug/firebug into issue6850
Support for multiple highlighted lines in the SourceEditor (related to issue 6850)