From d6003649337c2565e04132a58b42f7a520eb5037 Mon Sep 17 00:00:00 2001
From: Yukai Huang
Date: Thu, 13 Oct 2016 16:25:38 +0800
Subject: Fix history deletion

---
 public/js/history.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'public/js/history.js')

diff --git a/public/js/history.js b/public/js/history.js
index d5082dd9..8593bbcf 100644
--- a/public/js/history.js
+++ b/public/js/history.js
@@ -10,7 +10,7 @@ var extra = require('./extra');
 var renderFilename = extra.renderFilename;
 var md = extra.md;
 
-var migrateHistoryFromTempCallback = null;
+window.migrateHistoryFromTempCallback = null;
 
 migrateHistoryFromTemp();
 
@@ -417,5 +417,6 @@ module.exports = {
     postHistoryToServer: postHistoryToServer,
     deleteServerHistory: deleteServerHistory,
     parseServerToHistory: parseServerToHistory,
-    saveStorageHistoryToServer: saveStorageHistoryToServer
+    saveStorageHistoryToServer: saveStorageHistoryToServer,
+    clearDuplicatedHistory: clearDuplicatedHistory
 }
-- 
cgit v1.2.3