IDE: guard against SourceFile -> URI conversion failing#5389

Merged

Duhemm merged 1 commit intoscala:masterfrom

dotty-staging:fix-no-source

Nov 5, 2018

Commits on Nov 5, 2018

IDE: guard against SourceFile -> URI conversion failing
smarter
committed