function enableButton(buttonId, enable) {
    var button = document.getElementById(buttonId);
    if (button == null) {
        return;
    }
    if (enable == true) {
        button.className = "editorStandardButton";
    }
    else {
        button.className = "editorStandardButtonDisabled";
    }
}