Highlighting of source link target line (#13746).
Authored by: jplang 2013-05-18
Parent: [r11856]
Child: [r11858]
