зеркало из https://github.com/mozilla/gecko-dev.git
38 строки
1.2 KiB
JavaScript
38 строки
1.2 KiB
JavaScript
/* -*- Mode: C++; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*-
|
|
*
|
|
* The contents of this file are subject to the Mozilla Public
|
|
* License Version 1.1 (the "License"); you may not use this file
|
|
* except in compliance with the License. You may obtain a copy of
|
|
* the License at http://www.mozilla.org/MPL/
|
|
*
|
|
* Software distributed under the License is distributed on an "AS
|
|
* IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
|
|
* implied. See the License for the specific language governing
|
|
* rights and limitations under the License.
|
|
*
|
|
* The Original Code is mozilla.org code.
|
|
*
|
|
* The Initial Developer of the Original Code is Netscape
|
|
* Communications Corporation. Portions created by Netscape are
|
|
* Copyright (C) 1998 Netscape Communications Corporation. All
|
|
* Rights Reserved.
|
|
*
|
|
* Contributor(s):
|
|
* Javier Delgadillo <javi@netscape.com>
|
|
*/
|
|
|
|
/*
|
|
* These are helper functions to be included
|
|
* pippki UI js files.
|
|
*/
|
|
|
|
function setText(id, value) {
|
|
var element = document.getElementById(id);
|
|
if (!element) return;
|
|
if (element.hasChildNodes())
|
|
element.removeChild(element.firstChild);
|
|
var textNode = document.createTextNode(value);
|
|
element.appendChild(textNode);
|
|
}
|
|
|