Commit avant changement d'agent vers devstral

This commit is contained in:
2025-11-13 17:00:47 +01:00
parent a09b73e4f1
commit cc1d6880a7
25 changed files with 2903 additions and 89 deletions

View File

@ -174,6 +174,10 @@ window.switchSettingsTab = function(tabName) {
document.getElementById('themes-section').style.display = 'none';
document.getElementById('fonts-section').style.display = 'none';
document.getElementById('editor-section').style.display = 'none';
const otherSection = document.getElementById('other-section');
if (otherSection) {
otherSection.style.display = 'none';
}
// Activer l'onglet cliqué
const activeTab = Array.from(tabs).find(tab => {
@ -181,6 +185,7 @@ window.switchSettingsTab = function(tabName) {
if (tabName === 'themes') return text.includes('thème');
if (tabName === 'fonts') return text.includes('police');
if (tabName === 'editor') return text.includes('éditeur');
if (tabName === 'other') return text.includes('autre');
return false;
});
if (activeTab) {