1/* 2 * Copyright (C) 2010 Google Inc. All Rights Reserved. 3 * 4 * Redistribution and use in source and binary forms, with or without 5 * modification, are permitted provided that the following conditions 6 * are met: 7 * 1. Redistributions of source code must retain the above copyright 8 * notice, this list of conditions and the following disclaimer. 9 * 2. Redistributions in binary form must reproduce the above copyright 10 * notice, this list of conditions and the following disclaimer in the 11 * documentation and/or other materials provided with the distribution. 12 * 13 * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY 14 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 15 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 16 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR 17 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, 18 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, 19 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR 20 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY 21 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 22 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 23 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 24 */ 25 26WebInspector.Checkbox = function(label, className, tooltip) 27{ 28 this.element = document.createElement('label'); 29 this._inputElement = document.createElement('input'); 30 this._inputElement.type = "checkbox"; 31 32 this.element.className = className; 33 this.element.appendChild(this._inputElement); 34 this.element.appendChild(document.createTextNode(label)); 35 if (tooltip) 36 this.element.title = tooltip; 37} 38 39WebInspector.Checkbox.prototype = { 40 set checked(checked) 41 { 42 this._inputElement.checked = checked; 43 }, 44 45 get checked() 46 { 47 return this._inputElement.checked; 48 }, 49 50 addEventListener: function(listener) 51 { 52 function listenerWrapper(event) 53 { 54 if (listener) 55 listener(event); 56 event.stopPropagation(); 57 return true; 58 } 59 60 this._inputElement.addEventListener("click", listenerWrapper, false); 61 this.element.addEventListener("click", listenerWrapper, false); 62 } 63} 64