feat(ui): tabbed git provider settings with search auto-reveal

This commit is contained in:
2026-08-17 09:56:59 +00:00
parent 0fc857959e
commit a30c7bce0a
15 changed files with 145 additions and 6 deletions
@@ -619,6 +619,9 @@ export const settingsDict = {
'settings.commands.agentSelector.title': 'Agent auswählen',
'settings.commands.agentSelector.notSelected': 'Nicht ausgewählt',
'settings.commands.agentSelector.selectAgentPlaceholder': 'Agent auswählen...',
'settings.git.tabs.gitea': 'Gitea',
'settings.git.tabs.github': 'GitHub',
'settings.git.tabs.gitlab': 'GitLab',
'settings.gitIdentities.page.section.title': 'Identitäten',
'settings.gitIdentities.page.empty.title': 'Keine Identitäten konfiguriert',
'settings.gitIdentities.page.empty.description': 'Erstellen Sie eine, um Git-Autoreneinstellungen pro Projekt zu verwalten',