var isTeacher
var hasCourses
function updateUserMenu(t, c) {
    if (t) isTeacher = true
    if (c) hasCourses = true
    var userMenu = document.getElementById('UserMenu')
    userMenu.innerHTML =
        (isTeacher ? '<a href="javascript:clickMyStudents()">My Students<small>&#9660;</small></a> | ' : '') +
        (hasCourses ? '<a href="javascript:clickMyCourses()">My Courses<small>&#9660;</small></a> | ' : '') +
        (isTeacher ? '<a href="javascript:clickMyPages()">My Pages<small>&#9660;</small></a> | ' : '') +
        '<a href="javascript:clickMyDuels()">My Duels<small>&#9660;</small></a> | ' +
        '<a href="javascript:clickSettings()">Settings<small>&#9660;</small></a> | '
}
function setSelectionRange(input, selectionStart, selectionEnd) {
    if (input.setSelectionRange) {
        input.focus()
        input.setSelectionRange(selectionStart, selectionEnd)
    }
    else if (input.createTextRange) {
        var range = input.createTextRange()
        range.collapse(true)
        range.moveEnd('character', selectionEnd)
        range.moveStart('character', selectionStart)
        range.select()
    }
}
function selectProgramTextBox(selectionStart, selectionEnd) {
    var b = document.getElementById('ProgramTextBox')
    setSelectionRange(b, selectionStart, selectionEnd)
}
var askPexhistoryUrl
function initAskPexHistory(url) { askPexhistoryUrl = url }
// functions that get defined later
function startAsk(codeContractsVerifier) { }
function clearResults(isChallenge, history) { }
function clearPermalink() { }
function startSpinning() { }
function stopSpinning() { }
function hideFrames() { }
function refresh() { }
function initProgramTextBox() { }