OLD | NEW |
1 /* | 1 /* |
2 * This file is part of Adblock Plus <http://adblockplus.org/>, | 2 * This file is part of Adblock Plus <http://adblockplus.org/>, |
3 * Copyright (C) 2006-2013 Eyeo GmbH | 3 * Copyright (C) 2006-2013 Eyeo GmbH |
4 * | 4 * |
5 * Adblock Plus is free software: you can redistribute it and/or modify | 5 * Adblock Plus is free software: you can redistribute it and/or modify |
6 * it under the terms of the GNU General Public License version 3 as | 6 * it under the terms of the GNU General Public License version 3 as |
7 * published by the Free Software Foundation. | 7 * published by the Free Software Foundation. |
8 * | 8 * |
9 * Adblock Plus is distributed in the hope that it will be useful, | 9 * Adblock Plus is distributed in the hope that it will be useful, |
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of | 10 * but WITHOUT ANY WARRANTY; without even the implied warranty of |
(...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
70 }, | 70 }, |
71 close: function() | 71 close: function() |
72 { | 72 { |
73 this._tab.close(); | 73 this._tab.close(); |
74 }, | 74 }, |
75 activate: function() | 75 activate: function() |
76 { | 76 { |
77 this._tab.activate(); | 77 this._tab.activate(); |
78 }, | 78 }, |
79 sendMessage: sendMessage, | 79 sendMessage: sendMessage, |
80 pageAction: { | 80 browserAction: { |
81 // there are no page actions in safari, so we use toolbar items instead | |
82 setIcon: function(path) | 81 setIcon: function(path) |
83 { | 82 { |
84 safari.extension.toolbarItems[0].image = safari.extension.baseURI + path
; | 83 safari.extension.toolbarItems[0].image = safari.extension.baseURI + path
; |
85 }, | 84 }, |
86 setTitle: function(title) | 85 setTitle: function(title) |
87 { | 86 { |
88 safari.extension.toolbarItems[0].toolTip = title; | 87 safari.extension.toolbarItems[0].toolTip = title; |
89 }, | 88 }, |
| 89 setBadgeNumber: function(number) |
| 90 { |
| 91 safari.extension.toolbarItems[0].badge = (number === null) ? 0 : number; |
| 92 }, |
90 | 93 |
91 // toolbar items in safari can"t get hidden | 94 // The following features aren't supported by Safari |
92 hide: function() {}, | 95 hide: function() {}, |
93 show: function() {} | 96 show: function() {}, |
| 97 setBadgeBackgroundColor: function(color) {} |
94 } | 98 } |
95 }; | 99 }; |
96 | 100 |
97 TabMap = function() | 101 TabMap = function() |
98 { | 102 { |
99 this._tabs = []; | 103 this._tabs = []; |
100 this._values = []; | 104 this._values = []; |
101 | 105 |
102 this._onClosed = this._onClosed.bind(this); | 106 this._onClosed = this._onClosed.bind(this); |
103 }; | 107 }; |
(...skipping 422 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
526 // clicked. While Chrome loads it everytime you click the icon. So in order to | 530 // clicked. While Chrome loads it everytime you click the icon. So in order to |
527 // force the same behavior in Safari, we are going to reload the page of the | 531 // force the same behavior in Safari, we are going to reload the page of the |
528 // bubble everytime it is shown. | 532 // bubble everytime it is shown. |
529 if (safari.extension.globalPage.contentWindow != window) | 533 if (safari.extension.globalPage.contentWindow != window) |
530 safari.application.addEventListener("popover", function() | 534 safari.application.addEventListener("popover", function() |
531 { | 535 { |
532 document.documentElement.style.display = "none"; | 536 document.documentElement.style.display = "none"; |
533 document.location.reload(); | 537 document.location.reload(); |
534 }, true); | 538 }, true); |
535 })(); | 539 })(); |
OLD | NEW |