Function get_settings_options

Scripts/Settings.py:7728–7747

()

      var output = document.getElementById('terminalOutput');
      if (!output) return;
      output.scrollTop = output.scrollHeight;
      output.focus({ preventScroll: true });
    }

    function renderTerminal() {
      var selected = state.jobs.find(function(item){ return item.id === state.selectedSessionId; }) || state.jobs[0];
      var sessionBadge=document.getElementById('terminalSessionBadge'); if(sessionBadge) sessionBadge.textContent=(selected && selected.label) || state.selectedSessionId || 'web-shell';
      if (!selected) return;
      state.selectedSessionId = selected.id;
      document.getElementById('terminalOutput').textContent = selected.log_tail || '';
      var canAcceptInput = selected.kind === 'web-shell' || selected.running;
      document.getElementById('terminalComposer').disabled = !canAcceptInput;
      document.getElementById('terminalExtraKeys').style.opacity = canAcceptInput ? '1' : '0.55';
      renderSessionsOverlay();
      applyTerminalZoom();
    }

    async function loadWebSettingsMeta() {
      try {
        var data = await apiGet('/api/settings/meta');
        var meta = data.meta || {};
        var el;
        el = document.getElementById('webPromptUsername'); if (el) el.value = meta.prompt_username || (state.config && state.config.display_name) || 'DedSec';