Dans Safari, j'ai un problème avec le menu des Signets >> Dossier "Favoris des groupes d'onglets".
Ce dossier, inutile chez moi, contient plusieurs sous-dossiers vides, que je ne parviens pas à supprimer.
J'ai testé tout ce que j'ai pu trouver sur les forums US Apple, sans succès (Terminal, menu développement, suppression complète de l'historique et du cache….).
Je ne suis pas le seul à avoir ce problème.
Il existe un article de menu: <Fichier > Supprimer le groupe d'onglets> qui reste désespérément grisé.
Comme Safari est synchro, j'ai essayé de tourner la difficulté en supprimant ce dossier sous iPhone, mais dans ma version (ancienne) d'iOS, Safari ne comporte pas de Dossier "Favoris des groupes d'onglets" !
Bref, si vous avez une idée, de préférence géniale, me permettant de ne pas reseter complètement puis réinstaller Safari et éviter de téléphoner à Tim Cook (j'ai toujours des scrupules à le réveiller en pleine nuit (décalage horaire), je serais preneur et reconnaissant.
Ce dossier, inutile chez moi, contient plusieurs sous-dossiers vides, que je ne parviens pas à supprimer.
J'ai testé tout ce que j'ai pu trouver sur les forums US Apple, sans succès (Terminal, menu développement, suppression complète de l'historique et du cache….).
Je ne suis pas le seul à avoir ce problème.
Il existe un article de menu: <Fichier > Supprimer le groupe d'onglets> qui reste désespérément grisé.
Comme Safari est synchro, j'ai essayé de tourner la difficulté en supprimant ce dossier sous iPhone, mais dans ma version (ancienne) d'iOS, Safari ne comporte pas de Dossier "Favoris des groupes d'onglets" !
Bref, si vous avez une idée, de préférence géniale, me permettant de ne pas reseter complètement puis réinstaller Safari et éviter de téléphoner à Tim Cook (j'ai toujours des scrupules à le réveiller en pleine nuit (décalage horaire), je serais preneur et reconnaissant.