From 764434a491ee0b42b70d262fa49aee2b6a9e93a8 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Fri, 30 Nov 2018 15:13:19 +0300 Subject: [PATCH] remove remove_splash() --- js/functions.js | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/js/functions.js b/js/functions.js index 6a895fc5..25aa26d3 100755 --- a/js/functions.js +++ b/js/functions.js @@ -478,14 +478,10 @@ function loading_set_progress(p) { dijit.byId("loading_bar").update({progress: loading_progress}); if (loading_progress >= 90) - remove_splash(); + Element.hide("overlay"); } -function remove_splash() { - Element.hide("overlay"); -} - function strip_tags(s) { return s.replace(/<\/?[^>]+(>|$)/g, ""); } -- 2.39.5