From 4e6f92da030707cca0fa5548cb3e5fd2d5ef576e Mon Sep 17 00:00:00 2001
From: Glenn Ruehle <gruehle@gmail.com>
Date: Wed, 11 Apr 2012 15:14:34 -0700
Subject: [PATCH] Call decodeURI() when converting from URL to path name.

---
 src/LiveDevelopment/LiveDevelopment.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/LiveDevelopment/LiveDevelopment.js b/src/LiveDevelopment/LiveDevelopment.js
index 0f1c128a71f..3c6325c8b31 100644
--- a/src/LiveDevelopment/LiveDevelopment.js
+++ b/src/LiveDevelopment/LiveDevelopment.js
@@ -172,7 +172,7 @@ define(function LiveDevelopment(require, exports, module) {
                 path = path.slice(1);
             }
         }
-        return path;
+        return decodeURI(path);
     }
 
     /** Open a live document