From 0d760f0dbb83839cca2a0435504580855dc40199 Mon Sep 17 00:00:00 2001
From: Wikinaut <mail@tgries.de>
Date: Wed, 16 Nov 2011 23:31:20 +0100
Subject: [PATCH] replace underscores back to spaces in page titles

---
 static/js/pad2.js      | 2 +-
 static/timeslider.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/static/js/pad2.js b/static/js/pad2.js
index 977c56328..fca3f6009 100644
--- a/static/js/pad2.js
+++ b/static/js/pad2.js
@@ -175,7 +175,7 @@ function handshake()
     var padId = document.location.pathname.substring(document.location.pathname.lastIndexOf("/") + 1);
     padId = decodeURIComponent(padId); // unescape neccesary due to Safari and Opera interpretation of spaces
 
-    document.title = document.title + " | " + padId;
+    document.title = document.title + " | " + padId.replace( /_/g, " " );
 
     var token = readCookie("token");
     if (token == null)
diff --git a/static/timeslider.html b/static/timeslider.html
index f95b33a67..f64cf3cac 100644
--- a/static/timeslider.html
+++ b/static/timeslider.html
@@ -65,7 +65,7 @@
     padId = decodeURIComponent(urlParts[urlParts.length-2]);
         
     //set the title
-    document.title = document.title + " | " + padId;
+    document.title = document.title + " | " + padId.replace( /_/g, " ");
         
     //ensure we have a token
     token = readCookie("token");