Comment augmenter la taille de l'interface graphique, de la police et de tout le reste d'Oracle SQL Developer 18.1 ?

Question

J'ai téléchargé Windows 64-bit avec JDK 8 inclus de SQL Developer 18.1.

Pour exécuter Oracle SQL Developed, j'ai simplement décompressé le fichier et exécuté le sqldeveloper.exe contenu dans le dossier.

Malheureusement, comme vous pouvez le voir sur l'image, la taille de tout est extrêmement petite et très difficile à voir.

Ce problème apparaît exclusivement avec ce logiciel.

Comment puis-je le résoudre ?

Answer 1

J'ai également rencontré un problème similaire lors de l'installation sur Windows 10. Le problème est lié aux paramètres de compatibilité.

Je l'ai corrigé en suivant les étapes indiquées ci-dessous :

1. Obtenir le raccourci de sqldeveloper sur votre bureau
2. Assurez-vous que vous avez les droits d'administrateur sur votre PC
3. Cliquez avec le bouton droit de la souris sur sqldeveloper et sélectionner Propriétés .

4. Allez à la Onglet Compatibilité :

   • Mode de compatibilité, changez-le en Windows 7
   • Vérifiez l'option "Ignorer le comportement de la mise à l'échelle du DPI élevé".
   • Sélectionnez "Système" dans le menu déroulant ci-dessous
5. Appliquer
6. Relancez l'application

Answer 2

Je suppose qu'il s'agit d'une déclaration subjective - mais cela ne me semble pas SMALL.

Toutefois, si vous utilisez une fonction d'accessibilité de l'OS pour augmenter la taille du texte dans vos applications, la nouvelle "page d'accueil" peut interférer avec cette fonction.

Décochez la case "Afficher au démarrage" dans la page d'accueil.

Redémarrez SQL Developer.

Vous devriez être bien.

La page d'accueil utilise JavaFX pour rendre certains éléments HTML et il semblerait qu'un bogue Java soit à l'origine de ce problème. Nous cherchons à atténuer ou à corriger ce problème dans une prochaine version.

Si cela ne fonctionne pas, vous pouvez également essayer d'augmenter la taille de la police de l'interface utilisateur.

Je parle de la façon de le faire ici

Voici ce que cela donne en taille de police 14.

Trouvez votre fichier ide.properties.

Windows : Il est dans les AppData de votre OS, Roaming, SQL Developer, système de l'utilisateur. X.Y.Z ..., o.sqldeveloper où X.Y.Z... représente votre version de SQL Developer.

Linux/Mac : Il se trouve dans votre répertoire $HOME/.sqldeveloper, systemX.Y.Z, o.sqldeveloper.

Vous remarquerez que ce fichier est TRÈS bien documenté. Il y a une section qui parle de Windows en particulier. Pour changer la taille par défaut pour tous les looks and feels, ajoutez cette ligne, celle qui n'est pas commentée :

# To modify the font size for a particular locale under all
# look-and-feels, set the Ide.FontSize.<languageID> property. For
# example:
Ide.FontSize.en=14

Mise à jour de 2018

Sur mon Mac Mini 4k (version 2018 si cela compte) :

• Oracle 8 JDK
• Développeur SQL 18.3
• Look and feel de Mac OS X
• Ide.FontSize=21

Voici à quoi ressemble SQL Developer :

Answer 3

J'ai changé le style et la taille de la police à partir des paramètres disponibles dans SQL developer. Nous pouvons modifier ces paramètres en utilisant Outils -> Préférences -> Éditeur de code -> Polices.

Answer 4

J'ai eu le même problème, si vous n'avez toujours pas pu résoudre le problème avec les solutions données, pour moi aussi ça a marché comme suit :

Allez à la Paramètres d'affichage ;

Aller à le détartrage et la "remise à zéro" : passez à une autre échelle, par exemple 100 %, puis à votre échelle préférée ;

Ceci devrait forcer la fenêtre de SQL-Developer à votre échelle préférée, malheureusement vous devez répéter cette procédure après chaque nouveau lancement de SQL-Developer.

Answer 5

Changer le paramètre de "Compatibility tab" comme souligné dans le post ci-dessus était le seul moyen de rendre l'icône beaucoup plus grande