| Left: | ||
| Right: |
| OLD | NEW |
|---|---|
| 1 /* | 1 /* |
| 2 * This file is part of Adblock Plus <https://adblockplus.org/>, | 2 * This file is part of Adblock Plus <https://adblockplus.org/>, |
| 3 * Copyright (C) 2006-2016 Eyeo GmbH | 3 * Copyright (C) 2006-2016 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 161 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 172 }, true); | 172 }, true); |
| 173 | 173 |
| 174 | 174 |
| 175 /* Pages */ | 175 /* Pages */ |
| 176 | 176 |
| 177 var pages = Object.create(null); | 177 var pages = Object.create(null); |
| 178 var pageCounter = 0; | 178 var pageCounter = 0; |
| 179 | 179 |
| 180 var Page = function(id, tab, url) | 180 var Page = function(id, tab, url) |
| 181 { | 181 { |
| 182 this._id = id; | 182 this.id = id; |
| 183 this._tab = tab; | 183 this._tab = tab; |
| 184 this._frames = [{url: new URL(url), parent: null}]; | 184 this._frames = [{url: new URL(url), parent: null}]; |
| 185 | 185 |
| 186 if (tab.page) | 186 if (tab.page) |
| 187 this._messageProxy = new ext._MessageProxy(tab.page); | 187 this._messageProxy = new ext._MessageProxy(tab.page); |
| 188 else | 188 else |
| 189 // while the new tab page is shown on Safari 7, the 'page' property | 189 // while the new tab page is shown on Safari 7, the 'page' property |
| 190 // of the tab is undefined, and we can't send messages to that page | 190 // of the tab is undefined, and we can't send messages to that page |
| 191 this._messageProxy = { | 191 this._messageProxy = { |
| 192 handleRequest: function() {}, | 192 handleRequest: function() {}, |
| 193 handleResponse: function() {}, | 193 handleResponse: function() {}, |
| 194 sendMessage: function() {} | 194 sendMessage: function() {} |
| 195 }; | 195 }; |
| 196 | 196 |
| 197 this.browserAction = new BrowserAction(this); | 197 this.browserAction = new BrowserAction(this); |
| 198 this.contextMenus = new ContextMenus(this); | 198 this.contextMenus = new ContextMenus(this); |
| 199 }; | 199 }; |
| 200 Page.prototype = { | 200 Page.prototype = { |
| 201 get url() | 201 get url() |
| 202 { | 202 { |
| 203 return this._frames[0].url; | 203 return this._frames[0].url; |
| 204 }, | 204 }, |
| 205 sendMessage: function(message, responseCallback) | 205 sendMessage: function(message, responseCallback) |
| 206 { | 206 { |
| 207 this._messageProxy.sendMessage(message, responseCallback, {pageId: this._i d}); | 207 this._messageProxy.sendMessage(message, responseCallback, {pageId: this.id }); |
| 208 } | 208 } |
| 209 }; | 209 }; |
| 210 | 210 |
| 211 ext._getPage = function(id) | 211 ext.getPage = function(id) |
| 212 { | 212 { |
| 213 return pages[id]; | 213 return pages[id]; |
| 214 }; | 214 }; |
| 215 | 215 |
| 216 var isPageActive = function(page) | 216 var isPageActive = function(page) |
| 217 { | 217 { |
| 218 var tab = page._tab; | 218 var tab = page._tab; |
| 219 var win = tab.browserWindow; | 219 var win = tab.browserWindow; |
| 220 return win && tab == win.activeTab && page == tab._visiblePage; | 220 return win && tab == win.activeTab && page == tab._visiblePage; |
| 221 }; | 221 }; |
| 222 | 222 |
| 223 var forgetPage = function(id) | 223 var forgetPage = function(id) |
| 224 { | 224 { |
| 225 ext.pages.onRemoved._dispatch(id); | |
| 226 | |
| 225 ext._removeFromAllPageMaps(id); | 227 ext._removeFromAllPageMaps(id); |
| 226 | 228 |
| 227 delete pages[id]._tab._pages[id]; | 229 delete pages[id]._tab._pages[id]; |
| 228 delete pages[id]; | 230 delete pages[id]; |
| 229 }; | 231 }; |
| 230 | 232 |
| 231 var replacePage = function(page) | 233 var replacePage = function(page) |
| 232 { | 234 { |
| 233 var tab = page._tab; | 235 var tab = page._tab; |
| 234 tab._visiblePage = page; | 236 tab._visiblePage = page; |
| 235 | 237 |
| 236 for (var id in tab._pages) | 238 for (var id in tab._pages) |
| 237 { | 239 { |
| 238 if (id != page._id) | 240 if (id != page.id) |
| 239 forgetPage(id); | 241 forgetPage(id); |
| 240 } | 242 } |
| 241 | 243 |
| 242 if (isPageActive(page)) | 244 if (isPageActive(page)) |
| 243 updateToolbarItemForPage(page, tab.browserWindow); | 245 updateToolbarItemForPage(page, tab.browserWindow); |
| 244 }; | 246 }; |
| 245 | 247 |
| 246 var addPage = function(tab, url, prerendered) | 248 var addPage = function(tab, url, prerendered) |
| 247 { | 249 { |
| 248 var pageId = ++pageCounter; | 250 var pageId = ++pageCounter; |
| (...skipping 17 matching lines...) Expand all Loading... | |
| 266 }; | 268 }; |
| 267 | 269 |
| 268 ext.pages = { | 270 ext.pages = { |
| 269 open: function(url, callback) | 271 open: function(url, callback) |
| 270 { | 272 { |
| 271 var tab = safari.application.activeBrowserWindow.openTab(); | 273 var tab = safari.application.activeBrowserWindow.openTab(); |
| 272 tab.url = url; | 274 tab.url = url; |
| 273 | 275 |
| 274 if (callback) | 276 if (callback) |
| 275 { | 277 { |
| 276 var onLoading = function(page) | 278 var onNavigate = function(event) |
| 277 { | 279 { |
| 278 if (page._tab == tab) | 280 if (event.target == tab) |
| 279 { | 281 { |
| 280 ext.pages.onLoading.removeListener(onLoading); | 282 safari.application.removeEventListener(onNavigate); |
| 281 callback(page); | 283 callback(tab._visiblePage); |
| 282 } | 284 } |
| 283 }; | 285 }; |
| 284 ext.pages.onLoading.addListener(onLoading); | 286 |
| 287 safari.application.addEventListener("navigate", onNavigate); | |
| 285 } | 288 } |
| 286 }, | 289 }, |
| 287 query: function(info, callback) | 290 query: function(info, callback) |
| 288 { | 291 { |
| 289 var matchedPages = []; | 292 var matchedPages = []; |
| 290 | 293 |
| 291 for (var id in pages) | 294 for (var id in pages) |
| 292 { | 295 { |
| 293 var page = pages[id]; | 296 var page = pages[id]; |
| 294 var win = page._tab.browserWindow; | 297 var win = page._tab.browserWindow; |
| 295 | 298 |
| 296 if ("active" in info && info.active != isPageActive(page)) | 299 if ("active" in info && info.active != isPageActive(page)) |
| 297 continue; | 300 continue; |
| 298 if ("lastFocusedWindow" in info && info.lastFocusedWindow != (win == saf ari.application.activeBrowserWindow)) | 301 if ("lastFocusedWindow" in info && info.lastFocusedWindow != (win == saf ari.application.activeBrowserWindow)) |
| 299 continue; | 302 continue; |
| 300 | 303 |
| 301 matchedPages.push(page); | 304 matchedPages.push(page); |
| 302 }; | 305 }; |
| 303 | 306 |
| 304 callback(matchedPages); | 307 callback(matchedPages); |
| 305 }, | 308 }, |
| 306 onLoading: new ext._EventTarget(), | 309 onLoading: new ext._EventTarget(), |
| 307 onActivated: new ext._EventTarget(), | 310 onActivated: new ext._EventTarget(), |
| 311 onRemoved: new ext._EventTarget() | |
| 308 }; | 312 }; |
| 309 | 313 |
| 310 safari.application.addEventListener("close", function(event) | 314 safari.application.addEventListener("close", function(event) |
| 311 { | 315 { |
| 312 // this event is dispatched on closing windows and tabs. However when a | 316 // this event is dispatched on closing windows and tabs. However when a |
| 313 // window is closed, it is first dispatched on each tab in the window and | 317 // window is closed, it is first dispatched on each tab in the window and |
| 314 // then on the window itself. But we are only interested in closed tabs. | 318 // then on the window itself. But we are only interested in closed tabs. |
| 315 if (!(event.target instanceof SafariBrowserTab)) | 319 if (!(event.target instanceof SafariBrowserTab)) |
| 316 return; | 320 return; |
| 317 | 321 |
| (...skipping 429 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 747 { | 751 { |
| 748 tab.activate(); | 752 tab.activate(); |
| 749 if (callback) | 753 if (callback) |
| 750 callback(page); | 754 callback(page); |
| 751 return; | 755 return; |
| 752 } | 756 } |
| 753 } | 757 } |
| 754 | 758 |
| 755 ext.pages.open(optionsUrl, callback); | 759 ext.pages.open(optionsUrl, callback); |
| 756 }; | 760 }; |
| 761 | |
| 762 /* Windows */ | |
| 763 ext.windows = { | |
| 764 // Safari doesn't provide as rich a windows API as Chrome does, so instead | |
| 765 // of chrome.windows.create we have to fall back to just opening a new tab. | |
| 766 create: function(createData, callback) | |
| 767 { | |
| 768 if (createData) | |
|
Sebastian Noack
2016/02/17 20:44:06
I'd simply assume that createData is given and has
kzar
2016/02/17 20:52:21
Done.
| |
| 769 ext.pages.open(createData.url, callback); | |
| 770 } | |
| 771 }; | |
| 757 })(); | 772 })(); |
| OLD | NEW |