Tab management interface with visual tab representations and settings.

Settings / Preferences - Captured on 5/14/2025 by @romain-penchenat