From d1bda196b761daf0a769ff8bfdcd1694da05275d Mon Sep 17 00:00:00 2001 From: Min RK Date: Fri, 5 Dec 2014 12:16:45 -0800 Subject: [PATCH] remove some weird tabs How did they get there? We may never know... --- IPython/html/static/tree/js/main.js | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/IPython/html/static/tree/js/main.js b/IPython/html/static/tree/js/main.js index 986ebb58b..194bd385b 100644 --- a/IPython/html/static/tree/js/main.js +++ b/IPython/html/static/tree/js/main.js @@ -89,18 +89,18 @@ require([ */ session_list.load_sessions(); cluster_list.load_list(); - if (terminal_list) { - terminal_list.load_terminals(); - } + if (terminal_list) { + terminal_list.load_terminals(); + } if (!interval_id){ interval_id = setInterval(function(){ - session_list.load_sessions(); - cluster_list.load_list(); - if (terminal_list) { - terminal_list.load_terminals(); - } - }, time_refresh*1000); - } + session_list.load_sessions(); + cluster_list.load_list(); + if (terminal_list) { + terminal_list.load_terminals(); + } + }, time_refresh*1000); + } }; var disable_autorefresh = function(){