Unified Diff: safari/ext/popup.js
Issue 5192042284056576:
Hide bubble when opening options page in Safari (Closed)
Patch Set: Added missing bracket
Created Dec. 24, 2013, 10:49 a.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« no previous file
|
no next file »
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: safari/ext/popup.js |
| =================================================================== |
| --- a/safari/ext/popup.js |
| +++ b/safari/ext/popup.js |
| @@ -13,3 +13,11 @@ |
| document.documentElement.style.display = "none"; |
| document.location.reload(); |
| }, true); |
| + |
| +// Safari doesn't hide popovers automatically, when we change the active tab |
| +// programmatically, like when the options link is clicked. So we add an event |
| +// listener to do so. |
| +safari.application.addEventListener("activate", function() |
| +{ |
| + safari.self.hide(); |
| +}, true); |
« no previous file with comments
|
« no previous file
|
no next file »
|
no next file with comments »
