From c1418aa4e6ed580a13893497235b7d4e4ec4c08f Mon Sep 17 00:00:00 2001
From: Jonathan Wilkes <jon.w.wilkes@gmail.com>
Date: Mon, 4 Apr 2016 10:46:39 -0400
Subject: [PATCH] fix windows paths for the search dialog
---
pd/nw/dialog_search.html | 4 ++--
pd/nw/pdgui.js | 2 ++
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/pd/nw/dialog_search.html b/pd/nw/dialog_search.html
index 30c9aa36e..63fa94949 100644
--- a/pd/nw/dialog_search.html
+++ b/pd/nw/dialog_search.html
@@ -321,8 +321,8 @@ function doc_search() {
div = document.createElement("div");
a = document.createElement("a");
a.href = "javascript: pdgui.doc_open('" +
- path.dirname(doc.path) + "', '" +
- path.basename(doc.path) + "');"
+ defunkify_windows_path(path.dirname(doc.path)) + "', '" +
+ defunkify_windows_path(path.basename(doc.path)) + "');"
a.textContent = doc.title;
header = document.createElement("h3");
header.appendChild(a);
diff --git a/pd/nw/pdgui.js b/pd/nw/pdgui.js
index d0dfbda3f..b3b9da0c0 100644
--- a/pd/nw/pdgui.js
+++ b/pd/nw/pdgui.js
@@ -17,6 +17,8 @@ function defunkify_windows_path(s) {
return s.replace(/\\/g, "/");
}
+exports.defunkify_windows_path = defunkify_windows_path;
+
exports.set_gui_dir = function(dir_string) {
gui_dir = path.normalize(path.join(dir_string, ".."));
gui_dir = defunkify_windows_path(gui_dir);
--
GitLab