Revision 46:f16f6e0e5b69 src/pithos/content/moz.js
b/src/pithos/content/moz.js | ||
---|---|---|
1 |
// The Pithos File Manager Firefox Extension is funded by GRNET S.A. |
|
2 |
// (http://www.grnet.gr) |
|
3 |
// |
|
4 |
// Copyright (c) 2009, Christos KK Loverdos, Vassilios Karakoidas. |
|
5 |
// All rights reserved. |
|
6 |
// |
|
7 |
// Redistribution and use in source and binary forms, with or without |
|
8 |
// modification, are permitted provided that the following conditions are |
|
9 |
// met: |
|
10 |
// |
|
11 |
// - Redistributions of source code must retain the above copyright |
|
12 |
// notice, this list of conditions and the following disclaimer. |
|
13 |
// - Redistributions in binary form must reproduce the above |
|
14 |
// copyright notice, this list of conditions and the following |
|
15 |
// disclaimer in the documentation and/or other materials provided |
|
16 |
// with the distribution. |
|
17 |
// - Neither the name of GRNET S.A. nor the names of its contributors |
|
18 |
// may be used to endorse or promote products derived from this |
|
19 |
// software without specific prior written permission. |
|
20 |
// |
|
21 |
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
|
22 |
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
|
23 |
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
|
24 |
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
|
25 |
// HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
|
26 |
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
|
27 |
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
|
28 |
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
|
29 |
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
|
30 |
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
|
31 |
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
|
32 |
|
|
1 | 33 |
// Provides a handful of utilities related to Mozilla internal API |
2 | 34 |
|
3 | 35 |
function Mozilla() { |
... | ... | |
27 | 59 |
this.mainWindowBrowser = this.mainWindow.getBrowser(); |
28 | 60 |
|
29 | 61 |
this.newBrowserTab = function(label, url, activate) { |
30 |
var browser = this.mainWindowBrowser |
|
62 |
var browser = this.mainWindowBrowser;
|
|
31 | 63 |
var tab = browser.addTab(url); |
32 | 64 |
tab.label = label; |
33 | 65 |
if (activate) { |
34 | 66 |
browser.selectedTab = tab; |
35 | 67 |
//browser.focus(); |
36 | 68 |
} |
69 |
setTimeout( function() { |
|
70 |
browser.setIcon(tab, "chrome://pithos/skin/pithos.png"); |
|
71 |
}, 500); |
|
37 | 72 |
return tab; |
38 | 73 |
} |
39 | 74 |
|
... | ... | |
51 | 86 |
|
52 | 87 |
this.findCookieByHostAndName = function(host, name) { |
53 | 88 |
var menum = this.getCookieManager().enumerator; |
89 |
|
|
54 | 90 |
while (menum.hasMoreElements()) { |
55 | 91 |
var cookie = menum.getNext().QueryInterface(Components.interfaces.nsICookie); |
56 | 92 |
if ( (cookie.host == host) && (cookie.name == name) ) { |
Also available in: Unified diff