disable(){
        let check = document.getElementById(this.id);
        if (check !== null){
            check.disabled = true;
        }
    }
/**
     * handles disabling the checkbox so the user can't change it while generation is happening
     */
handles disabling the checkbox so the user can't change it while generation is happening
handles disabling the checkbox so the user can ' t change it while generation is happening
disable(){
        let check = document.getElementById(this.id);
        if (check !== null){
            check.disabled = true;
        }
    }
disable ( ) { let check = document . getElementById ( this . id ) ; if ( check !== null ) { check . disabled = true ; } }
handles disabling the checkbox so the user can't change it while generation is happening
handles disabling the checkbox so the user can ' t change it while generation is happening