﻿function closeEditToolTop(sender, args) {
    location.reload(true);
}

function showPanel(pnl) {
    ctl = document.getElementById(pnl);
    if (ctl.style.display == '') {
        document.getElementById(pnl).style.display = 'none';
    }
    else {
        document.getElementById(pnl).style.display = '';
    }
}    
