From 6e41dc007815dd0e69d98b6540890ea72b4ffe04 Mon Sep 17 00:00:00 2001 From: Chris Date: Sun, 31 May 2015 18:14:39 -0600 Subject: [PATCH] Safari refinements to dynamic filtering UI indicators --- platform/safari/vapi-popup.js | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/platform/safari/vapi-popup.js b/platform/safari/vapi-popup.js index eb54b2e4c..b59ec8f75 100644 --- a/platform/safari/vapi-popup.js +++ b/platform/safari/vapi-popup.js @@ -29,6 +29,7 @@ var onLoaded = function() { var _toggle = DOMTokenList.prototype.toggle; var unchainPane2Timeout = false; var unchainPane2 = function() { + scopeIcons.style.removeProperty("display"); pane2.style.removeProperty("display"); }; DOMTokenList.prototype.toggle = function(className, enabled) { @@ -38,8 +39,9 @@ var onLoaded = function() { unchainPane2Timeout = false; } _toggle.apply(this, arguments); + scopeIcons.style.setProperty("display", "none", "important"); pane2.style.setProperty("display", "inline-block", "important"); - unchainPane2Timeout = setTimeout(unchainPane2, 700); + unchainPane2Timeout = setTimeout(unchainPane2, 400); updateSize(enabled); } else { @@ -49,6 +51,7 @@ var onLoaded = function() { var body = document.body, popover = safari.self, panes = document.getElementById("panes"), + scopeIcons = document.getElementById("scopeIcons"), pane1 = panes.children[0], pane2 = panes.children[1];