pxt clicking on file name in github diff view should bring you to editor for that file

clicking on file name in github diff view should bring you to editor for that file

Open mmoskal opened this issue 4 years ago • 1 comments

this would be quite useful in projects with many files and seems like an easy thing to do

Feb 05 '21 02:02 mmoskal

and if clicking on a line would take you to that line in the editor that would be absolutely fantastic

Feb 05 '21 20:02 mmoskal