Settings Modal / Version Switcher - Mobile UX Improvements

[ksen0]

Increasing Access

It is possible on mobile to change the version and manage libraries, but there is not a clear indication that the modal can be scrolled to reveal all the add-on libraries. I looked into some possible related WCAG topics (1.4.10, 3.2.4, 1.3.1) but none seem really quire related, so I'm not sure if its a web accessibility issue. However, it is at minimum a discoverability issue (visibility of system status; recognition rather than recall usability heuristic problems).

RPReplay_Final1744962974.mov

Feature enhancement details

In addition to making scrolling more clearly available on mobile, or otherwise addressing the discoverability (and potentially web accessibility) issues, the tabs in the settings screen also wrap around, so maybe "Library Management" can be renamed to "Libraries?" Not sure, that might be a bit mysterious.

[Mamatha1718]

Hi! @ksen0 👋
I tested a potential fix for the scrolling issue on mobile modals by editing the HTML directly in the browser using Inspect → Edit as HTML.
<div style="max-height: 200px; overflow-y: auto; padding-right: 10px; scrollbar-width: thin; scrollbar-color: rgba(0,0,0,0.3) transparent;">
<div class="preference">p5.sound.js Add-on Library</div>
</div>

Since this update is specifically for mobile view, I believe it should be implemented using media queries in the actual codebase.
If this solution looks good, Could you please let me know which file and component I should update, and where the mobile-specific styles (media queries) are handled? I'd love to contribute this fix properly in the right place in the code.

Thanks in Advance!

Recording.2025-04-20.190050.mp4