You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fix Workbench.setEdgeDataDirectory(Display) in case of path with spaces
URLs returned by
org.eclipse.osgi.service.datalocation.Location.getDataArea(String)
are not strictly valid URIs as well, e.g. they do not properly encode
space characters.
Do not use #toUri() but let java.io.File(String) deal with it instead.
Same approach is also used in
org.eclipse.e4.ui.css.swt.internal.theme.ThemeEngine.ThemeEngine
constructor.
Fixes#2725.
0 commit comments