Le consultant ERP est technologiquement ouvert et à l'écoute de ses interlocuteurs

Comment changer la taille de police dans Oracle SQL Developer?

Oracle SQL DeveloperSi 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.

Oracle SQL Developer
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…

Oracle SQL Developer

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.

SkypeOutre 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

Michel Campillo Michel Campillo, consultant d'entreprise
Logiciels de Gestion
06 89 56 58 18   
contact par email, voir plus bas

➽ Autres billets pour consultants ERP travaillant sur des bases de données Oracle: Une backdoor sur des milliers de serveurs Microsoft SQL (4651), Configuration de SQL Developer pour MySQL (3813), 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:

Facebook Twitter Mastodon LinkedIn

Merci de vos partages! 👷🏻‍

Comment Form is loading comments...


🎯 Autres options: Mentions légales, La méthode SONCAS, une technique de vente, Logiciels de planning de chantier gratuits en ligne, La planification de chantier, pourquoi ?, L'analyse des besoins en projet ERP, Faire une clôture mensuelle en contrôle de gestion, Exemple de projet ERP, Besoin d'un intégrateur ERP ?, Une caméra time lapse pour suivi de chantier, Le meilleur logiciel ERP n'est pas le même pour vous et pour moi, Quel prix du bitcoin dans 10 ans ?, à quel GAFAM Linkedin appartiennent-ils.
✇ Ce site web est 100% neutre en carbone🌱 depuis 2004🌿

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

eXTReMe Tracker