(path)
| 648 | return url.toString(); |
| 649 | } |
| 650 | pathToURL(path) { |
| 651 | if (this.windows) |
| 652 | path = "/" + path.replaceAll('\\', '/'); |
| 653 | return "file://" + path; |
| 654 | } |
| 655 | urlToDirectoryPath(href) { |
| 656 | const url = new URL(href); |
| 657 | if (url.protocol == "file:") { |