Comment changer la taille de la police des résultats de la grille dans MySQL
MySQL est un logiciel convivial et open source appelé «Système de gestion de base de données relationnelle". Il est basé sur SQL (langage de requête structuré) qui est utilisé pour stocker les données des utilisateurs sous forme de tables. Pour enregistrer, modifier, supprimer, modifier ou mettre à jour les données de données de l'utilisateur SQL sont utilisées. De plus, il permet également aux utilisateurs de modifier la taille de la police de requête ainsi que leur style en fonction de leurs préférences.
Ce message discutera de la méthode de modification de la taille de la police de résultat de la grille dans MySQL.
Comment changer la taille de la police des résultats de la grille dans MySQL?
Pour modifier la police de requête et la police de résultat de la grille, suivez les étapes ci-dessous:
- Lancez le MySQL Workbench.
- Accédez à la connexion de la base de données souhaitée.
- Cliquer sur "Modifier"Et choisissez le"Préférences”Option du menu déroulant.
- Sélectionnez le "Polices et couleurs”Option du menu disponible.
- Changez la taille de la police du «Grille de résultat”Champs utilisateur et frappez le"D'ACCORD" bouton.
- Exécutez n'importe quelle requête dans le script SQL pour afficher la taille de police modifiée du «Grille de résultat".
Étape 1: Ouvrez MySQL Workbench
Initialement, ouvrez le «MySQL Workbench«En utilisant le menu de démarrage:
Étape 2: Ouvrez la connexion MySQL
Ensuite, cliquez sur la connexion MySQL souhaitée et ouvrez-la:
Étape 3: Accédez au menu Préférences
Ensuite, frappez le «Modifier”Bouton pour ouvrir le menu déroulant:
Maintenant, sélectionnez le "Préférences”Option du menu déroulant apparu:
Étape 4: onglet de police et de couleurs ouvrir
Après cela, cliquez sur le "Polices et couleurs”Option de la barre gauche et ouvrez l'onglet:
Étape 5: Afficher les paramètres de la police par défaut
Dans le "Couleurs des polices»Onglet:
- Le "Éditeur SQL«En tant que police mondiale pour les éditeurs de texte SQL.
- Le "Grille de résultat«En ce qui concerne la grille dans l'éditeur SQL.
- Le "Coquille de script«En tant que zone de sortie de coque de script.
- Le "Rédacteur en chef«Comme les éditeurs de code dans les options de shell de script sont disponibles avec leur style de police et leur taille correspondants:
Étape 6: Afficher la taille de la grille du résultat par défaut
Passez à la fenêtre de connexion de la base de données, exécutez n'importe quelle requête dans le script SQL et affichez la taille de la grille de résultat par défaut. Dans notre cas, nous avons exécuté la commande suivante:
Montrer des tables;
Dans la sortie fournie ci-dessous, nous avons mis en évidence le «Grille de résultat" zone:
Étape 7: Modifier la taille de la grille des résultats
Allez au «Préférences">"Polices et couleurs”Onglet et modifiez la taille par défaut du"Grille de résultat" taille de police "8" pour "12". Ensuite, frappez le "D'ACCORD" bouton:
Étape 8: Afficher le résultat
Après avoir changé le «Grille de résultat»La taille de la police, encore une fois, exécute la requête pour afficher le résultat. Par exemple, nous avons exécuté la déclaration ci-dessous:
Montrer des tables;
Comme vous pouvez le voir, le «Grille de résultat«La taille de la police a été augmentée avec succès:
C'est tout! Nous avons fourni la procédure pour modifier la taille de la police de résultat de la grille dans MySQL.
Conclusion
Pour modifier la taille de la police du résultat de la grille dans MySQL, lancez d'abord le MySQL Workbench et accédez à la connexion de la base de données souhaitée. Ensuite, ouvrez le "Préférences"Fenêtre et cliquez sur"Polices et couleurs”Option du menu disponible. Changez la taille de la police du «Grille de résultat”Champs utilisateur et frappez le"D'ACCORD" bouton. Enfin, revenez au script SQL et exécutez n'importe quelle requête pour afficher la taille de police modifiée du "Grille de résultat". Ce message a démontré la méthode pour modifier la taille de la police de résultat de la grille dans MySQL.