Comment obtenir des barres de titre colorées dans Firefox dans Windows 10 - beogradionica.com

Comment obtenir des barres de titre colorées dans Firefox dans Windows 10


Comment obtenir des barres de titre colorées dans Firefox dans Windows 10

Firefox n'a jamais ajouté le support des barres de titre colorées dans Windows 10. Initialement, titre les barres dans Windows 10 n'avaient pas de couleur. Les utilisateurs ont eu recours à l'interface utilisateur pour modifier les applications et les thèmes afin d'obtenir des barres de titre colorées jusqu'à ce que la fonctionnalité soit ajoutée en mode natif. Une fois qu'il a été ajouté, Firefox a choisi d'installer la fonctionnalité. Un hack pour le défaut a été rapidement développé en modifiant le fichier userChrome.css. Malheureusement, Firefox 40 a supprimé ce fichier et le hack est devenu obsolète. Voici comment vous pouvez obtenir des barres de titre colorées dans Firefox, quelle que soit la version du navigateur que vous utilisez

Firefox 39 et ci-dessous

Si vous utilisez quelque chose de plus ancien que Firefox 40, vous pouvez utiliser le vieux hack. Vous devez modifier le fichier userChrome.css pour obtenir des barres de titre de couleur dans Firefox.

Allez à environ: support et faites défiler jusqu'à la ligne du profil. Cliquez sur "Afficher le dossier". Dans le dossier qui s'ouvre, recherchez un dossier appelé "Chrome". Dans ce dossier se trouve le fichier userChrome.css. Ouvrez-le dans le Bloc-notes.

Ajoutez le code suivant à la fin du fichier et enregistrez-le.

@ - moz-document url (chrome: //browser/content/browser.xul) {@media (-moz -os-version: windows-win10) {# fenêtre principale: non ([personnalisation]) {-moz-apparence: -moz-win-glass! background-color: transparent! important; }}}

Redémarrez le navigateur et vous aurez des barres de titre colorées dans Firefox.


Comment réparer ERR_NAME_NOT_RESOLVED Erreur Chrome

Comment réparer ERR_NAME_NOT_RESOLVED Erreur Chrome

ERR_NAME_NOT_RESOLVED est une erreur Chrome courante que les utilisateurs rencontrent au hasard. Parfois, cette erreur affecte plusieurs sites Web alors que d'autres fois, elle ne cible que des sites Web spécifiques. Quoi qu'il en soit, cette erreur empêche le chargement des sites Web et aucune actualisation de la page ne peut être utile.

(Web)

Services de diffusion de musique: Apple Music vs Google Play Musique Vs Spotify

Services de diffusion de musique: Apple Music vs Google Play Musique Vs Spotify

La manière dont nous accédons à la musique a changé. Il y a quelques décennies, disposer d'une grande collection audio signifiait que vous aviez besoin d'un espace de stockage considérable et non du type que vous mesurez en Go. Vous avez besoin de pieds carrés ou de pouces carrés pour stocker des cassettes et des disques.

(Web)