The Web IDE should have similar code navigation functionality as projects. Currently project code navigation is powered by Sourcegraph and the Web IDE should expand on that support and bring Jump to Definition and Find References to users inside of the Web IDE.