برای این کار در لینوکس به فولدر زیر در home کاربر جاری بروید:
/home/saeed/.sqldeveloper/system4.0.3.16.84/o.sqldeveloper.12.2.0.16.84
من sqldeveloper-4.0.3.16.84 نصب کرده ام. سپس در این فولدر فایل ide.properties را باز کرده و در قسمت زیر فونت سایز جدید خود را بدهید:
# 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=16
