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 copier le titre et l'URL de tous les onglets ouverts dans Firefox

Comment copier le titre et l'URL de tous les onglets ouverts dans Firefox

Le partage de contenu en ligne est assez facile; à peu près tous les sites et blogs sont équipés de widgets partagés. Les widgets de partage vous permettent de partager du contenu sur les réseaux sociaux ou de l'envoyer par e-mail à un ami. Il est facile de dire que le partage d'un lien est assez facile, mais le partage de plusieurs liens ne l'est pas.

(Web)

Comment désactiver les onglets dans Chrome 64 et les versions antérieures à

Comment désactiver les onglets dans Chrome 64 et les versions antérieures à

Vous pouvez désactiver un onglet dans Chrome. C'est une fonction assez utile que Google a ajouté il y a quelques temps, qui vous permettait de couper tous les sons dans un onglet. Une fois qu'un onglet est coupé, vous pouvez charger n'importe quel site Web que vous voulez et il sera également coupé. Cette fonctionnalité a quelques inconvénients; Ce n'est pas spécifique au domaine et la sourdine ne dure que tant que l'onglet est ouvert.

(Web)