Replace %20 with space when displaying filenames

h/static/scripts/filter/document-domain.js

@@ -21,12 +21,12 @@ module.exports = function() {
       var parts = uri.split('/');
       var filename = parts[parts.length - 1];
       if (filename) {
-        return '(' + filename + ')';
+        return '(' + decodeURIComponent(filename) + ')';
       }
     }
 
     if (domain && domain !== title) {
-      return '(' + domain + ')';
+      return '(' + decodeURIComponent(domain) + ')';
     } else {
       return '';
     }

h/static/scripts/filter/test/document-domain-test.js

@@ -38,6 +38,15 @@ describe('documentDomain', function() {
     assert(domain === '(MyFile.pdf)');
   });
 
+  it('replaces %20 with " "', function() {
+    var domain = documentDomainFilterProvider()({
+      title: 'example.com',
+      uri: 'file:///home/seanh/My%20File.pdf'
+    });
+
+    assert(domain === '(My File.pdf)');
+  });
+
   it('escapes HTML in the document domain', function() {
     var spamLink = '<a href="http://example.com/rubies">Buy rubies!!!</a>';