fix #5917: normalize the path of terminal link before openning it#5918

Merged

akosyakov merged 1 commit intoeclipse-theia:masterfrom a1994846931931:fix-duplicate-editor

Aug 14, 2019

+130-1

Commits on Aug 14, 2019

fix eclipse-theia#5917 : 1. add Path.normalize method; 2. add URI.normalizePath method; 3. normalize uri for NavigatableWidgetOpenHandler
a1994846931931
committed