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