Comment puis-je augmenter la taille de la police dans la console chromée ?
Il semble que Paul Irish l'ait fait :
http://www.youtube.com/watch?v=4mf_yNLlgic
UPDATE
Voici quelques conseils sur la façon de personnaliser le thème : https://plus.google.com/115133653231679625609/posts/UZF34wPJXsL
Je ne savais pas que cela pouvait fonctionner dans la console indépendamment de la page web. Bien joué...
Voici un exemple assez récent article de blog sur le sujet.
En fait, il s'agit de remplacer Default/User StyleSheets/Custom.css dans votre le répertoire des utilisateurs avec quelque chose comme :
/* Keep .platform-mac to make the rule more specific than the general one above. */
body.platform-mac.platform-mac-snowleopard .monospace,
body.platform-mac.platform-mac-snowleopard .source-code {
font-size: 11px !important;
font-family: Menlo, monospace;
}
body.platform-windows .monospace, body.platform-windows .source-code {
font-size: 12px !important;
font-family: Consolas, Lucida Console, monospace;
}
body.platform-linux .monospace, body.platform-linux .source-code {
font-size: 11px !important;
font-family: dejavu sans mono, monospace;
}
Pour info, cela ne change rien à la taille de la police dans la console, pour autant que je sache. C'est très bien pour des choses comme le panneau de code source, mais la console elle-même semble avoir des paramètres très spécifiques pour de nombreuses choses qui remplacent les paramètres de taille de police ici.
@Boris Smus Il n'y a pas User StyleSheets/Custom.css dans mon dossier/fichier C:\Users\c22\AppData\Local\Google\Chrome\User Data\Default sur mon ordinateur portable Windows 8. Et j'ai vérifié tous les dossiers et fichiers du répertoire Default répertoire. Cette question date d'il y a plus d'un an, est-ce que quelqu'un a trouvé où le custom.css se trouve dans Chrome 37.0.x ? Merci
La feuille de style personnalisée est supprimée de Chromium : codereview.chromium.org/66383005 . Si vous souhaitez personnaliser votre thème, essayez d'utiliser une extension Chrome devtools : github.com/mauricecruz/zero-base-themes
Pouvez-vous nous en dire plus ? En l'état actuel des choses, la réponse n'est pas vraiment claire.
C'EST OUBLIÉ - Voir la réponse de @TinyJaguar. Vous pouvez maintenant simplement utiliser Command-+ si vous avez sélectionné quelque chose dans la console de développement.
Si vous voulez augmenter la taille de la police dans la console Javascript, vous avez besoin de certaines tailles de police spécifiques. C'est un peu plus délicat que de simplement définir la taille de la police pour la source :
.source-code {
font-size: 16px !important;
font-family: monospace;
}
.console-prompt {
font-size: 16px !important;
font-family: monospace;
}
.console-message-text {
font-size: 16px !important;
font-family: monospace;
}
.monospace {
font-size: 16px !important;
font-family: monospace;
}
#elements-content {
font-size: 16px !important;
}
Cela fonctionne. Le CSS dans la réponse sélectionnée par le PO ne fonctionne pas (plus, du moins).
@ChrisRedford oui, où va ce code ? Je n'ai pas le C:\Users\c22\AppData\Local\Google\Chrome\User Data\Default\User Stylesheet\Custom.css dans Windows 8.
Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.
