References to, includes from, and redirects to line numbers in text widget

Date Name Who What
2019-08-11 16:46:30 RS pooryorick reference
2021-04-20 15:14:45 text SEH reference