LEFT | RIGHT |
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 690 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
701 var key = keys[i]; | 701 var key = keys[i]; |
702 if (key in settings) | 702 if (key in settings) |
703 items[key] = settings[key]; | 703 items[key] = settings[key]; |
704 } | 704 } |
705 | 705 |
706 setTimeout(callback, 0, items); | 706 setTimeout(callback, 0, items); |
707 }, | 707 }, |
708 set: function(items, callback) | 708 set: function(items, callback) |
709 { | 709 { |
710 for (let key in items) | 710 for (let key in items) |
711 { | |
712 safari.extension.settings[key] = items[key]; | 711 safari.extension.settings[key] = items[key]; |
713 } | |
714 if (callback) | 712 if (callback) |
715 setTimeout(callback, 0); | 713 setTimeout(callback); |
716 }, | 714 }, |
717 remove: function(key, callback) | 715 remove: function(key, callback) |
718 { | 716 { |
719 delete safari.extension.settings[key]; | 717 delete safari.extension.settings[key]; |
720 | 718 |
721 if (callback) | 719 if (callback) |
722 setTimeout(callback, 0); | 720 setTimeout(callback, 0); |
723 }, | 721 }, |
724 onChanged: new ext._EventTarget() | 722 onChanged: new ext._EventTarget() |
725 }; | 723 }; |
(...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
764 /* Windows */ | 762 /* Windows */ |
765 ext.windows = { | 763 ext.windows = { |
766 // Safari doesn't provide as rich a windows API as Chrome does, so instead | 764 // Safari doesn't provide as rich a windows API as Chrome does, so instead |
767 // of chrome.windows.create we have to fall back to just opening a new tab. | 765 // of chrome.windows.create we have to fall back to just opening a new tab. |
768 create: function(createData, callback) | 766 create: function(createData, callback) |
769 { | 767 { |
770 ext.pages.open(createData.url, callback); | 768 ext.pages.open(createData.url, callback); |
771 } | 769 } |
772 }; | 770 }; |
773 })(); | 771 })(); |
LEFT | RIGHT |