/*
   gamecommon.js - common javascript-related game functionality
*/

function scroll_messages_box()
{
    var scrollObject = document.getElementById("gamemessages");
    if (scrollObject)
        scrollObject.scrollTop = scrollObject.scrollHeight;
}