From 27d26245a5480f9c0a389a31b9f190f91f30291e Mon Sep 17 00:00:00 2001
From: Ludovic Stephan <lstephan@clipper.ens.fr>
Date: Fri, 5 Oct 2018 22:59:55 +0200
Subject: [PATCH] Bugfix : deep extend in history.js

---
 kfet/static/kfet/js/history.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kfet/static/kfet/js/history.js b/kfet/static/kfet/js/history.js
index 291cc675..c1610421 100644
--- a/kfet/static/kfet/js/history.js
+++ b/kfet/static/kfet/js/history.js
@@ -21,7 +21,7 @@ class KHistory {
     }
 
     constructor(options) {
-        var all_options = $.extend({}, this.constructor.default_options, options);
+        var all_options = $.extend(true, {}, this.constructor.default_options, options);
         this.api_options = all_options.api_options;
 
         this._$container = $('#history');