function log(message) {
    var log = document.getElementById('log');
    if (!log) return;

    log.style.visibility = 'visible';
    log.innerHTML += '<p>' + encodeHtml(message) + '</p>';
    log.scrollTop = log.scrollHeight;
}
// Log a message to the screen.
Log a message to the screen.
Log a message to the screen .
function log(message) {
    var log = document.getElementById('log');
    if (!log) return;
    log.style.visibility = 'visible';
    log.innerHTML += '<p>' + encodeHtml(message) + '</p>';
    log.scrollTop = log.scrollHeight;
}
function log ( message ) { var log = document . getElementById ( 'log' ) ; if ( ! log ) return ; log . style . visibility = 'visible' ; log . innerHTML += '<p>' + encodeHtml ( message ) + '</p>' ; log . scrollTop = log . scrollHeight ; }
Log a message to the screen.
Log a message to the screen .