• ctrl/text.dat exec/load/text.js exec/user_settings.js user_terminal.js

    From Rob Swindell (on Debian Linux)@VERT to Git commit to main/sbbs/master on Thu Sep 24 21:22:49 2026
    https://gitlab.synchro.net/main/sbbs/-/commit/3e7a46ea1f71b1c049703af3
    Modified Files:
    ctrl/text.dat exec/load/text.js exec/user_settings.js user_terminal.js src/sbbs3/text.h text_defaults.c text_id.c
    Log Message:
    Move the sound toggle into the terminal settings menu

    Suppressing sound is a terminal capability, so it belongs with ANSI,
    color, character set and mouse in user_terminal.js rather than in the
    general defaults menu next to message and file-scan preferences.

    That menu labels its options with gettext() rather than text.dat ids, so
    the UserDefaultsSound string is no longer needed and text.dat returns to
    949 entries.

    Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
    ---
    ■ Synchronet ■ Vertrauen ■ Home of Synchronet ■ [vert/cvs/bbs].synchro.net