Augmenter la taille de la police de la console Chrome

Réponses:

196

Si vous avez juste besoin d'un changement de taille rapide et temporaire, vous pouvez appuyer sur Ctrl +/ -pour zoomer et Ctrl 0réinitialiser.

Ronny
la source
2
Fantastique pour quand j'ai perdu mes lunettes: P
StackExchange What The Heck
3
Je n'avais aucune idée que cela fonctionnerait dans la console indépendamment de la page Web. Nice one ...
jcalfee314
3
Pour les utilisateurs de mac: ⌘ + et ⌘-
jherax
2
Remerciez le seigneur, quelqu'un a posté ceci. J'ai fait une frappe accidentelle et j'ai augmenté cette taille, puis je n'ai trouvé aucun moyen de la récupérer jusqu'à ce que je tombe sur ce message.
Volomike du
1
Merci beaucoup. cela fonctionne également pour la console Microsoft Edge.
Banketeshvar Narayan
25

Voici un article de blog assez récent sur le sujet.

Fondamentalement, remplacez Default/User StyleSheets/Custom.cssdans votre répertoire d'utilisateurs par 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;
}
Boris Smus
la source
doux, cela rend heureux.
amosrivera
4
Pour info, cela ne fait rien sur la taille de la police dans la console, pour autant que je sache. C'est génial pour des choses comme le volet 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.
James Moore
1
@Boris Smus Il n'y a pas de User StyleSheets/Custom.cssdossier / fichier dans mon C:\Users\c22\AppData\Local\Google\Chrome\User Data\Defaultrépertoire sur mon ordinateur portable Windows 8. Et j'ai vérifié tous les dossiers et fichiers du Defaultrépertoire. Cette question custom.cssremonte à plus d'un an, est-ce que quelqu'un a trouvé où se trouve le fichier dans Chrome 37.0.x? Merci
Chris22
1
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
Dio Phung
21
  1. Navigateur ouvert
  2. Ouvrez la console.
  3. Appuyez sur Ctrl+.

J'espère que ça t'aidera

Sergii Tanchenko
la source
Pouvez-vous développer? Dans l'état actuel des choses, ce n'est pas vraiment une réponse claire.
Paul Turner
C'est vraiment un moyen plus facile que choisi comme réponse à cette question.
Selvatico
Pour les utilisateurs de Mac: ⌘- et ⌘ +
jherax
1
Cela a pour effet secondaire indésirable d'agrandir également tous les autres éléments de l'interface utilisateur et de réduire efficacement l'espace de lecture total disponible.
Aditya MP
11

Si vous êtes sur un Mac, utilisez un clavier japonais et souhaitez effectuer un zoom temporaire sur la console, les raccourcis sont:

Agrandir: ^

Dézoomer: -

Réinitialiser le zoom: 0

D'autres applications utilisent +pour zoomer, mais comme sur les claviers japonais, le signe plus est au deuxième niveau, il n'est accessible qu'avec shift. Alors: +

C'est là que ça devient bizarre, car Chrome +signifie apparemment "Zoom Content". Si vous êtes dans la console Javascript, et que vous le faites +, la zone de contenu de la fenêtre est agrandie. Mais faire un zoom -arrière ramène le focus vers la console et fait un zoom arrière. Résultat: le contenu s'agrandit, la console est plus petite. Aaarggghhh .

trembler
la source
sauvé ma journée! gosh how i hate japanese keyboards
TanC
9

Windows 7, Google Chrome 19.0.1084.46 m

La méthode avec la modification de "User StyleSheets / Custom.css" n'a pas fonctionné sur moi, mais Ctrl + "+" a fonctionné :-)

Alvego
la source
Je ne sais pas pourquoi je n'ai pas essayé ceci .... der ... merci ... Je voudrais changer la police si ...
PhiloSurfer
8

CECI EST OBSOLÈTE - Voir la réponse de @ TinyJaguar. Vous pouvez maintenant simplement utiliser Command- + si vous avez sélectionné quelque chose dans la console du développeur.

Si vous souhaitez 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 compliqué 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;
}
James Moore
la source
2
Cela marche. Le CSS dans la réponse OP-selected ne le fait pas (du moins plus).
Chris Redford
où mettriez-vous ce css?
gerl
@ChrisRedford oui, où va ce code? Je n'ai pas le C:\Users\c22\AppData\Local\Google\Chrome\User Data\Default\User Stylesheet\Custom.cssfichier dans Windows 8.
Chris22
@ Chris22 Désolé, c'est un problème que j'ai eu il y a presque un an. Je ne me souviens plus des fichiers impliqués et je ne développe plus étroitement avec les navigateurs Web.
Chris Redford
@ChrisRedford ok, merci d'avoir répondu. J'utiliserai la solution rapide de ctrl +/-. Chrome a rendu très difficile la recherche du fichier CSS à modifier volontairement, je suppose.
Chris22
6

J'ai créé un petit plugin qui fournit des paramètres d'éditeur de collection pour les outils de développement Chrome, y compris la possibilité de contrôler progressivement la taille de la police .

  1. Installez l' extension DevTools Author Chrome à partir du Chrome Web Store
  2. Activez les tests des outils de développement dans chrome: // flags / # enable-devtools-experiences. Redémarrez Chrome pour que les indicateurs prennent effet.
  3. Ouvrez DevTools (cmd + opt + I); Paramètres> Expériences> cochez Autoriser les thèmes d'interface utilisateur personnalisés.

Cela ajoutera un panneau `` Paramètres de l'auteur '' aux outils de développement Chrome, où vous pourrez contrôler de manière incrémentielle la taille de la police, de 10 à 22 pixels.

micro brouillage
la source
6

Si vous êtes comme moi, CMD+ +ne fonctionne pas pour vous car il vous fait passer au premier onglet à la place (même si vous l'avez Enable ⌘ + 1-9 shortcut to switch panelsdésactivé).

Eh bien, dans ce cas, ouvrez les outils de développement, Undock into separate windowpuis accédez View --> Zoom inà la barre de menus Chrome. Voilà!

Une fois que vous avez ancré les outils de développement dans la fenêtre du navigateur, View --> Zoom inaugmentera en fait la taille de la police dans une fenêtre de navigateur, mais tant que les outils de développement ne sont pas ancrés, ils ciblent les outils de développement non ancrés.

Bugs Bunny
la source
1
Tu as sauvé mes yeux.
Vincent Cantin
Heureux d'avoir pu aider!
Bugs Bunny
4

À noter: à partir de DevTools, vous devez avoir l'onglet Éléments ouvert afin d'ajuster la taille de la police en utilisant "Ctrl +/-". Pour une raison quelconque, cela ne peut pas être fait dans d'autres onglets.

Dans la nouvelle version de Chrome, vous pouvez facilement modifier la taille de la police dans les outils de développement.

  1. Ouvrir les outils de développement
  2. Cliquez sur n'importe quelle ligne du code source Cliquer sur une ligne aléatoire sur le code source
  3. Appuyez sur Ctrl + + pour augmenter la taille de la police ou Ctrl + - pour réduire la taille de la police Appuyer sur les combinaisons de touches requises pour augmenter ou réduire la taille de la police
Minuscule Jaguar
la source
C'est un zoom prédéfini. Que diriez-vous de définir un zoom personnalisé?
Vert
3

Je sais que c'est bien vieux, mais la solution simple que j'ai trouvée est d'augmenter min. font sizeles paramètres et cela prendra soin de la taille de la police dans le débogueur Chrome.

Javanoob
la source
3

Un autre moyen rapide de modifier la taille de la police dans les outils Chrome Dev de manière permanente: Settings-> Show Advanced Settings-> Web Content: modifiez le pourcentage de zoom de la page.

Changer la taille de la police

Voici le résultat: http://i.imgur.com/Puzduo9.png Comparaison taille par taille

Dio Phung
la source
Cela affecte-t-il l'ensemble du système Chrome ou uniquement pour DevTools?
Vert
Il a changé la taille de la police à l'échelle du système Chrome.
Dio Phung
1

Si vous utilisez un MacBook pro 2017 plus récent, vous pouvez simplement utiliser la commande => shift => + ou - tout en appuyant simultanément.

Pablo
la source
1

Sur MacOs, si votre clé 0ou +ou -est au deuxième niveau, la saisie +ne fonctionnera pas. Dans un tel cas, vous devez utiliser le verrouillage des majuscules , puis vous pouvez taper +et 0

Sharcoux
la source
1

Si vous utilisez un ordinateur portable, vous pouvez le faire avec uniquement le trackpad de votre ordinateur portable.

Appuyez sur votre trackpad avec un doigt (ne le relâchez pas encore), puis faites défiler vers le haut ou vers le bas avec un autre doigt pour augmenter ou diminuer la taille de la police.

Assurez-vous simplement que le panneau des outils de développement est mis au point. Testé et fonctionne sur mon HP Pavilion, Windows 8.

débranché
la source
1
 you can press Ctrl + / - to zoom and Ctrl 0
snehal badhe
la source