Quantcast
Channel: MySQL Forums - MySQL Workbench
Viewing all articles
Browse latest Browse all 3736

Alter navigator, schemas, information, and output panel font size? (no replies)

$
0
0
In oracle sql developer I was able to do the following to get font sizes bigger, since Edit → Preferences, only had options for the editor:

Quote

COMMAND
vi /opt/sqldeveloper/sqldeveloper/bin/sqldeveloper.conf

## ADD THESE LINES
AddVMOption -Dswing.plaf.metal.controlFont=Verdana-bold-18
AddVMOption -Dswing.plaf.metal.userFont=Verdana-20
AddVMOption -Dswing.plaf.metal.systemFont=Verdana-18
AddVMOption -Dswing.plaf.metal.smallFont=Verdana-16

## Relaunch the application.

I've located the file wb_options.xml

Can I add statements or modify existing lines in that or any other file to get the fonts to appear larger?

Am I allowed to link to Imgur/or an approved image host, to show what is I'm specifically referring to?

Viewing all articles
Browse latest Browse all 3736

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>