ui/settings.html

<!DOCTYPE html>
<html lang="en">
<head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0, minimum-scale=1">
    <title>fendesk</title>
    <link rel="stylesheet" href="common.css">
    <link rel="stylesheet" href="settings.css">
    <link rel="icon" href="https://printfn.github.io/fend/fend-icon-128.png">
</head>
<body>
    <label for="ctrl_d_closes">Ctrl-D closes program</label>
    <input id="ctrl_d_closes" type="checkbox">

    <label for="ctrl_w_closes">Ctrl-W closes program</label>
    <input id="ctrl_w_closes" type="checkbox">

    <label for="save_back_count">Number of calculations to save (-1 for all)</label>
    <input id="save_back_count" type="number">

    <label for="ctrl_c_behavior">How Ctrl-C should behave</label>
    <div class="select-wrapper">
        <select id="ctrl_c_behavior">
            <option value="input">Input</option>
            <option value="hint">Hint</option>
            <option value="prev_result">Previous result</option>
        </select>
    </div>

    <label for="global_inputs">Inputs to run on boot (requires restart)</label>
    <textarea id="global_inputs"></textarea>

    <script src="settings.js"></script>
</body>
</html>