Comment changer la taille de police dans Oracle SQL Developer?

Si vous travaillez dans le monde de l'ERP, vous utilisez probablement tous les jours l'outil Oracle SQL Developer qui permet de manipuler les bases de données Oracle, en extraire des données, mettre à jour des données, modifier des procédures, déboguer des écrans etc.

Vous êtes plutôt orienté métiers avec une connaissance experte des problématiques des utilisateurs et une compréhension de leurs enjeux business ? Le pilotage de projet ERP n'exige pas seulement un très bon relationnel, la connaissance du principal langage de gestion de base de données (SQL) vous aidera.

L'outil Oracle SQL Developer installé sur votre poste de travail ou qui tourne sur le serveur distant

Peut-on modifier la taille des polices Tree View (utilisées dans Connexions par exemple) ? Question valable pour chaque consultant fonctionnel qui utilise un écran haute résolution (1920 × 1200), car les caractères dans SQL Developer sont alors assez petits. Réponse: oui c'est possible, et vous vous demandez déjà aussi comment faire… OK.

Voici à quoi ressemble l'interface utilisateur de l'arborescence avec une résolution d'écran de 1600 × 900 et sans utiliser aucune des options d'accessibilité de Windows…

On va maintenant monter la taille de police jusqu'à 14 sur un affichage normal sous Windows. Voici où définir cette propriété. Sous Windows, accédez au répertoire Application Data, Roaming Users qui stocke les fichiers de paramètres pour SQL Developer. Sur ma machine, c'est ici:

C: \ Users \ mcampillo \ AppData \ Roaming \ SQL Developer \ system4.1.0.13.75 \ o.sqldeveloper.12.2.0.13.75

Remarque: le numéro de version à la fin peut être différente de la vôtre en fonction de votre version de SQL Developer.

Il faut ouvrir ide.properties. Vous remarquerez qu'il est TRÈS bien documenté. Il y a une section qui parle de Windows en particulier. Pour modifier la taille par défaut de tous les looks, ajoutez cette ligne, celle qui n'est pas commentée:

# Pour modifier la taille de la police pour un environnement local particulier sous tous
# look-and-feel, définissez la propriété Ide.FontSize. . Pour
# Exemple:
Ide.FontSize.fr = 14

Si vous pensez que 14 semble énorme, l'un de mes collègues développeur PL/SQL au Brésil avant ma mutation professionnelle à Aix en Provence (8537) l'avait défini à 21!

L'astuce ci-dessus ne contrôle pas la taille de la police du texte au sein de l'interface SQL Developer, ni les menus ni les grilles de données. Pour cela il y a une option Préférence dans l'interface utilisateur.

Outre l'email, mobile, téléphone, Telegram, réseaux sociaux, je vous invite à me retrouver également sur Skype. Très utile, installé sur mon mobile, je reçois instantanément vos messages. Vous n'aurez pas à patienter pour être ajouté. Mon identifiant: michelcampillo.

Aix en Provence, le 8 décembre 2019

Michel Campillo
Consultant chef de projet IT
☎ 06 89 56 58 18  ✉ contact par email, voir plus bas

➽ Autres billets pour consultants ERP travaillant sur des bases de données Oracle: Configuration de SQL Developer pour MySQL, SkySQL : Oracle n'aura pas la peau de MySQL (8719), Apprendre le langage SQL, gérer le spool dans SQL*Plus.

Ce post vous a aidé? Alors partagez-le avec d'autres utilisateurs en cliquant sur les boutons ci-dessous:

Merci de vos partages! 👷🏻‍



🎯 À consulter : Mentions légales. Derniers articles : Les phases APS et APD dans les projets d'installations industrielles, ITSM et ERP : impacts sur l'architecture et les équipes, Installer Copilot gratuitement, retour d'expérience, Les limites cachées du rôle de chef de projet ERP, La chaîne logistique en entreprise, qu'est-ce que c'est ?, L'importance des réseaux sociaux pour un tunnel d'acquisition performant, Du Build au Run : le défi des chefs de projet ERP, Maîtriser le triangle QCD dans les projets ERP, Un logiciel ERP pour gérer l'entreprise, ERP BTP, Piloter un projet ERP, Faire appel à un rédacteur web freelance, Le rôle stratégique du rétroplanning dans la réussite d'un projet ERP, Christiaens, un ERP au service de la gestion d’entreprise, Altior, l'ERP SaaS qui booste les PME industrielles, Smart Industry, quand l'industrie 4.0 réinvente l'appareil de production, Rise Tech, réparation d'ordinateur portable près d'Aix-en-Provence, Intégrer des outils externes à un ERP, Encore la conversion vidéo, x, x, x, x, x, x, x, x, x, Construire un blueprint solide pour réussir son projet ERP.
☀️ Sous le soleil éclatant et la forte chaleur d'un bel été 🏖️

Copyright © 2004-2025 Michel Campillo, tous droits réservés