← Back to branch summary

~ubuntu-branches/ubuntu/hardy/foxyproxy/hardy-updates

« back to all changes in this revision

Viewing changes to chrome/content/pattern.js

  • Committer: Bazaar Package Importer
  • Author(s): Sasa Bodiroza
  • Date: 2008-04-09 13:55:00 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20080409135500-x7u28czocbidxpmg
Tags: 2.7.2-0ubuntu1
https://launchpad.net/bugs/212875
* New upstream release. (LP: #212875)
* Improved packaging to make use of xpi.mk
* debian/control: 
  - Updated Maintainer field according to DebianMaintainerField spec
  - s/IceWeasel/Firefox/ in description
* debian/copyright: 
  - Updated copyright years
  - Updated packaging copyright
  - Added notice about xpi.mk packaging
  - Getting the source differs for this upload, added notice
* install.rdf: Bumped maxVersion to 3.0.*

Show diffs side-by-side

added added

removed removed

Lines of Context:
chrome/content/pattern.js
 
1
/**
 
2
  FoxyProxy
 
3
  Copyright (C) 2006-2008 Eric H. Jung and LeahScape, Inc.
 
4
  http://foxyproxy.mozdev.org/
 
5
  eric.jung@yahoo.com
 
6
 
 
7
  This source code is released under the GPL license,
 
8
  available in the LICENSE file at the root of this installation
 
9
  and also online at http://www.gnu.org/licenses/gpl.txt
 
10
**/
 
11
 
 
12
var overlay;
 
13
 
 
14
function onOK() {
 
15
  var r = document.getElementById("regex").selected;
 
16
  var p = foxyproxy_common.validatePattern(window, r, document.getElementById("pattern").value);
 
17
  if (p) {
 
18
          window.arguments[0].out = {name:document.getElementById("name").value,
 
19
            pattern:p, isRegEx:r,
 
20
            isBlackList:document.getElementById("black").selected,
 
21
            isEnabled:document.getElementById("enabled").checked,
 
22
        caseSensitive:document.getElementById("caseSensitive").checked};
 
23
          return true;
 
24
        }
 
25
  return false;
 
26
}
 
27
 
 
28
function onLoad() {
 
29
  overlay = window.arguments[0].inn.overlay;
 
30
  document.getElementById("name").value = window.arguments[0].inn.name;
 
31
  document.getElementById("pattern").value = window.arguments[0].inn.pattern;
 
32
  document.getElementById("matchtype").selectedIndex = window.arguments[0].inn.regex ? 1 : 0;
 
33
  document.getElementById("whiteblacktype").selectedIndex = window.arguments[0].inn.black ? 1 : 0;
 
34
  document.getElementById("enabled").checked = window.arguments[0].inn.enabled;
 
35
  document.getElementById("caseSensitive").checked = window.arguments[0].inn.caseSensitive;
 
36
  sizeToContent();
 
37
}