Function adjustcommandfontsize

explainshell/web/static/js/es.js:963–987

()

// very simple adjustment of the command div font size so it doesn't overflow
function adjustcommandfontsize() {
    const commandlength = Array.from(
        document.querySelectorAll(
            '#command span[class^=command], #command span[class^=shell]',
        ),
    )
        .reduce((acc, el) => acc + el.textContent, '')
        .trim().length;
    let commandfontsize;

    if (commandlength > 105) commandfontsize = '10px';
    else if (commandlength > 95) commandfontsize = '12px';
    else if (commandlength > 70) commandfontsize = '14px';
    else if (commandlength > 60) commandfontsize = '16px';

    if (commandfontsize) {
        log(
            'command length',
            commandlength,
            ', adjusting font size to',
            commandfontsize,
        );
        document.getElementById('command').style.fontSize = commandfontsize;
    }
}

let ignorekeydown = false;