Backport PR #7698: Fix open file with “#” in the filename (#7699)

Co-authored-by: Vishnutheep B <vishnutheep@gmail.com>
pull/7712/head
Lumberbot (aka Jack) 5 months ago committed by GitHub
parent f34aad5093
commit f290a1d917
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -15,7 +15,7 @@ class DefaultNotebookPathOpener implements INotebookPathOpener {
open(options: INotebookPathOpener.IOpenOptions): WindowProxy | null {
const { prefix, path, searchParams, target, features } = options;
const url = new URL(
URLExt.join(prefix, path ?? ''),
URLExt.join(prefix, URLExt.encodeParts(path ?? '')),
window.location.origin
);
if (searchParams) {

Loading…
Cancel
Save