7 votes

Remplacer uniquement une police spécifiée dans Chrome

Je trouve la Géorgie taxée, car elle fait fureur sur trop de sites web depuis un an environ. J'ai mis en place des feuilles de style personnalisées dans Chrome pour modifier un certain nombre de sites que j'aime, mais il devient prohibitif de faire une feuille de style personnalisée pour chaque et je ne veux vraiment faire un remplacement que là où ils ont utilisé Georgia. Ce qui est tout aussi ennuyeux, c'est de faire apparaître l'inspecteur à chaque fois que je modifie une page pour redéfinir les polices. Quelqu'un sait-il comment faire ? Hélas, il ne semble pas y avoir de plugin qui permette cela - soit ils remplacent 何れも les polices de caractères d'une page, ou dont la mise au point est trop étroite.

S'il n'y a rien d'existant, je pourrais envisager d'écrire un bookmarklet pour faire cela, et peut-être éventuellement l'étendre à un ou plusieurs plugins pour les différents navigateurs, mais je préfère ne pas dupliquer le travail que quelqu'un d'autre a déjà fait.

6voto

Alexandre Campos Points 1161

Créez une extension Chrome qui examine les balises répertoriées dans le tableau. types dans toute page que vous ouvrez, si le processus a trouvé un nœud avec l'attribut de style font-family égal à fontin il sera remplacé par fontout .

  • Créez un nouveau dossier nommé, par exemple, monplugin

  • Dans ce dossier, créez un nouveau fichier nommé manifeste.json et ajoutez ce code à l'intérieur :

    { "name": "Font change", "version": "1.0", "manifest_version": 2, "description": "Font change.",
    "content_scripts": [ { "all_frames": true, "exclude_globs": [ ], "include_globs": [ "" ],
    "js": [ "script.js" ], "matches": [ "http://
    /", "https:///", "https:///", "http:///" ], "run_at": "document_end" } ], "permissions": [ "tabs", "http:///", "https:///", "https:///", "http:///*", "contextMenus" ]
    }

  • Dans ce dossier, créez un nouveau fichier nommé script.js et ajoutez ce code à l'intérieur :

    var types = new Array("textarea","input","div","h1","h2","h3","span","p"); var fontin ="Verdana"; var fontout = "\'Courier New\'";

    (function(){
    chrome.extension.sendRequest({ set:"font" },function(response){ for(var i=0;i<types.length;i++){
    var node = document.getElementsByTagName(types[i]); for(var y=0;y<node.length;y++){
    if(node[y].style.fontFamily==fontin){ node[y].style.fontFamily = fontout; } } } }); })();

  • Allez dans le menu Chrome " Paramètres " Extensions.

  • Maintenant nous cliquons sur le bouton "Load unpacked extensions".

  • Enfin, nous marquons notre dossier et cliquons sur le bouton d'ouverture.

Vous pouvez voir que le système est très simple, et que vous pouvez personnaliser le fichier script.js avec votre propre code de contrôle. Dans le futur, vous pourrez ajouter d'autres scripts, des CSS, des pages de configuration, etc.

Rappelez-vous que chaque fois que vous apportez des changements dans le fichier script.js vous devez recharger le plugin avec
Ctrl + R .

Vous pouvez également obtenir un Guide plus détaillé sur la création d'extensions pour Chrome .

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X