Function ensure_required_settings_menu_items

Scripts/Settings.py:7717–7726

Keeps important Settings entries visible even if older lists are reused.

(options)

        output = '' + output;
      }
      return output;
    }

    function focusTerminalComposer() {
      var composer = document.getElementById('terminalComposer');
      composer.focus();
    }

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