web-dev-qa-db-fra.com

taille de police de Squirrel SQL trop petite

La taille de la police pour entrer le SQL est trop petite. Comment augmenter la taille de la police pour taper le SQL? Dans les "options globales", il est possible d'augmenter la taille des polices. Mais cela n'a aucun impact sur la taille du texte pour entrer dans le SQL.

squirrel-sql
23
Rudy Vissers

Dans SquirreL SQL Client version 3.7.1 , vous pouvez augmenter la taille de la police dans la zone d'entrée SQL.

Voici la procédure:

  1. Allez dans Fichier -> Nouvelles propriétés de session

  2. Accédez à Onglet SQL , puis dans la section ci-dessous, vous avez l'option appelée Zone d'entrée SQL où vous pouvez augmenter la taille de votre police selon vos besoins. Cliquez ici pour voir la capture d'écran

24
Muhammad Usman

Je suppose que vous utilisez Windows 8.1 comme je le suis. Il semble qu'une combinaison de 8.1, de moniteurs à haute résolution et de Swing ne fonctionne pas bien ensemble. Mon correctif a été de modifier le fichier squirrel-sql.bat et d'ajouter les options Java Java juste après l'option Java Java existante)

-Dswing.plaf.metal.controlFont=Tahoma-18 -Dswing.plaf.metal.userFont=Tahoma-18

Pour référence, la ligne complète est la suivante:

start "SQuirreL SQL Client" /B "%LOCAL_Java%" -Xmx256m -Dsun.Java2d.noddraw=true -Dswing.plaf.metal.controlFont=Tahoma-18 -Dswing.plaf.metal.userFont=Tahoma-18 -cp %SQUIRREL_CP% -splash:"%SQUIRREL_SQL_HOME%/icons/splash.jpg" net.sourceforge.squirrel_sql.client.Main %TMP_PARMS%

EDIT: Ce qui précède augmentera la taille de tout sauf le champ de saisie SQL. Pour cela, allez dans Fichier-> Nouvelles propriétés de session-> SQL-> Zone d'entrée SQL

13
James Freeman

Des commutateurs supplémentaires Java en plus de ceux fournis par James aideront à d'autres sections de l'interface utilisateur qui affiche de petites polices.

-Dswing.plaf.metal.titleFont=Tahoma-18 
-Dswing.plaf.metal.menuFont=Tahoma-18 
-Dswing.plaf.metal.systemFont=Tahoma-18 
-Dswing.plaf.metal.smallFont=Tahoma-18

entrée start.bat:

start "SQuirreL SQL Client" /B "%LOCAL_Java%" -Dsun.awt.nopixfmt=true -Dsun.Java2d.noddraw=true -Dswing.plaf.metal.controlFont=Tahoma-18 -Dswing.plaf.metal.userFont=Tahoma-18 -Dswing.plaf.metal.titleFont=Tahoma-18 -Dswing.plaf.metal.menuFont=Tahoma-18 -Dswing.plaf.metal.systemFont=Tahoma-18 -Dswing.plaf.metal.smallFont=Tahoma-18 -cp %SQUIRREL_CP% -splash:"%SQUIRREL_SQL_HOME%/icons/splash.jpg" net.sourceforge.squirrel_sql.client.Main %TMP_PARMS%

Discussion High DPI sur stackexchange

5
Sandeep Nair

Voici ce qui a fonctionné pour moi (Windows 10 64 bits, SQuirrel 3.9.1, jrw1.8.0_211)

En bas de C:\Program Files\squirrel-sql-3.9.1\squirrel-sql.bat, J'ai changé la commande start en ceci:

start "SQuirreL SQL Client" /B "%LOCAL_Java%"^
 -Dsun.awt.nopixfmt=true -Dsun.Java2d.noddraw=true^
 -Dswing.plaf.metal.controlFont=Tahoma-18^
 -Dswing.plaf.metal.userFont=Tahoma-18^
 -Dswing.plaf.metal.titleFont=Tahoma-18^
 -Dswing.plaf.metal.menuFont=Tahoma-18^
 -Dswing.plaf.metal.systemFont=Tahoma-18^
 -Dswing.plaf.metal.smallFont=Tahoma-18^
 -cp %CP%^
 -splash:"%SQUIRREL_SQL_HOME%/icons/splash.jpg"^
 net.sourceforge.squirrel_sql.client.Main %TMP_PARMS%

Notez que le ^ doit être à la toute fin de la ligne (pas d'espace après!)

2
TmTron