Hace ya bastante tiempo que estaba trabajando con Oracle SQL Developer forzando mi vista con una fuente y un GUI muy pero muy pequeña, mira cuan pequeña!
Y llegó el momento de aceptar la situación! necesito que las letras y la herramienta se vean mas nítidamente, es decir, MAS GRANDE LAS LETRAS 🙂
Así que te comparto cómo hacerlo en el caso que te pase lo mismo :).
En algunas situaciones con solo desmarcar la ventana de inicio del SQL Developer, cerrar la herramienta y volver a abrirla puede mejorar mucho la visualización.
En otras ocasiones es necesario acceder a la carpeta o.sqldeveloper y editar el archivo ide.properties.
En mi caso, tengo la version de Oracle SQL Developer 20.2.0 y la ubicación de dicha carpeta esta en:
C:\Users\Clarisa\AppData\Roaming\SQL Developer\system20.2.0.175.1842\o.sqldeveloper
Debemos tener cerrado el SQL Developer para editar el archivo ide.properties.
Dentro del archivo encontraremos una sección dedicada al tamaño de fuente:
# 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=10 # Ide.FontSize.fr=11 # Ide.FontSize.ja=12
Modificamos el tamaño por ejemplo subiendo a 12px 🙂
# 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=12
# Ide.FontSize.fr=11
# Ide.FontSize.ja=12
Guardamos el archivo y volvemos a abrir nuestro SQL Developer.
Ahora la fuente esta gigante! 🙂 así que podemos ir variando las font según nuestras necesidades.
Por otro lado también podemos controlar el tamaño de la fuente del Editor desde el menu Tools –> Preferences…
Bueno hay varias alternativas para que podamos trabajar sin forzar nuestra vista 🙂 cuidemos de ella!
Hasta la próxima!