Vivaldi Parametres
Fermé
lulu42
Messages postés
169
Date d'inscription
lundi 21 juillet 2008
Statut
Membre
Dernière intervention
31 août 2023
-
12 avril 2020 à 19:26
georges97 Messages postés 12727 Date d'inscription lundi 31 janvier 2011 Statut Contributeur Dernière intervention 19 décembre 2024 - 13 avril 2020 à 11:49
georges97 Messages postés 12727 Date d'inscription lundi 31 janvier 2011 Statut Contributeur Dernière intervention 19 décembre 2024 - 13 avril 2020 à 11:49
A voir également:
- Vivaldi Parametres
- Ouvrir paramètres - Guide
- Vivaldi mail - Guide
- Paramètres de confidentialité - Guide
- Paramètres dns - Guide
- Le bon coin mon compte parametres - Guide
2 réponses
georges97
Messages postés
12727
Date d'inscription
lundi 31 janvier 2011
Statut
Contributeur
Dernière intervention
19 décembre 2024
2 436
12 avril 2020 à 21:17
12 avril 2020 à 21:17
Bonsoir,
Je suis utilisateur occasionnel de Vivaldi, suite à mon retour à mes premiers amours pour Opera.
Je ne connaissais pas RocketDock mais il sembles qu'il y ait incompatibilité entre les deux.
Dans ce cas, aucun paramétrage ne résoudra la problème en dehors de corrections par l'un des deux éditeurs, qui ne s'en préoccupera que si cela s'avère statistiquement pénalisant.
Vous pouvez toujours faire un signalement, mais nul ne peut vous indiquer de délai.
En attendant, testé la désactivation de ou désinstallation de Rocketdock pour voir ce qu'il en est.
A moins qu'un autre lecteur ne contredise mon hypothèse.
Cordialement
Je suis utilisateur occasionnel de Vivaldi, suite à mon retour à mes premiers amours pour Opera.
Je ne connaissais pas RocketDock mais il sembles qu'il y ait incompatibilité entre les deux.
Dans ce cas, aucun paramétrage ne résoudra la problème en dehors de corrections par l'un des deux éditeurs, qui ne s'en préoccupera que si cela s'avère statistiquement pénalisant.
Vous pouvez toujours faire un signalement, mais nul ne peut vous indiquer de délai.
En attendant, testé la désactivation de ou désinstallation de Rocketdock pour voir ce qu'il en est.
A moins qu'un autre lecteur ne contredise mon hypothèse.
Cordialement
georges97
Messages postés
12727
Date d'inscription
lundi 31 janvier 2011
Statut
Contributeur
Dernière intervention
19 décembre 2024
2 436
13 avril 2020 à 11:49
13 avril 2020 à 11:49
Il me semble improbable, que Vivaldi corresponde en quelque sorte à un paramétrage par défaut de Rocketdock puisque ce paramètre aura disparu après réinstallation.
En tout état de cause, vous vous souviendriez avoir activé ce paramètre. Ceci dit, je retrouve bien la barre de préférence désactivée par les mises à jour automatiques d'Opera. Et l'absence de son a duré plusieurs mois suite à un upgrade de Windows 10.
Ou alors, il faut tenter une désinstallation avec Revo Uninstaller pour effacer toutes les traces ou des profils persistants.
Quoiqu'il en soit, d'une version à l'autre, des incompatibilités ou dysfonctionnements peuvent survenir. Mais je n'ai pas souvenir dans les navigateurs de paramètres concernant d'autres utilitaires que Java, Javascript, ActiveX ou Flashplayer.
Bonne journée
En tout état de cause, vous vous souviendriez avoir activé ce paramètre. Ceci dit, je retrouve bien la barre de préférence désactivée par les mises à jour automatiques d'Opera. Et l'absence de son a duré plusieurs mois suite à un upgrade de Windows 10.
Ou alors, il faut tenter une désinstallation avec Revo Uninstaller pour effacer toutes les traces ou des profils persistants.
Quoiqu'il en soit, d'une version à l'autre, des incompatibilités ou dysfonctionnements peuvent survenir. Mais je n'ai pas souvenir dans les navigateurs de paramètres concernant d'autres utilitaires que Java, Javascript, ActiveX ou Flashplayer.
Bonne journée
13 avril 2020 à 10:23
en tout cas merci d'avoir pris la peine de me répondre joyeuses Pâques a ++++