When you make a change in the Web IDE and then try to navigate away, you see the following modal:
We can improve this by using a gitlab modal and giving the user options for how to continue: cancel, commit, or abandon changes