CHANGING JDEVELOPER FONT SIZE
Ever wondered on how to change the font size of JDeveloper as we might me working on different screens may be on laptop or big desktop monitor.So people would really like to customize the font size as per their wish the JDeveloper font size then that would be really useful.
Came across this setting as part of my search and efforts to change the Jdeveloper font size as per my wishes.
In order to set the font size for the Jdeveloper IDE you need to modify the ide.properties file to set the font size.
It is typically available under
Windows:
C:\Users\{user_name}\AppData\Roaming\JDeveloper\system11.<Versiopn>\o.jdeveloper\ide.properties
Linux:
For Linux just do a find for ide.properties file under your Jdeveloper home and set the font size as per your wish.
Value which i have set the font size is 15 as below in the file.
Ide.FontSize=15
In fact the ide.properties file is so self explanatory it has lot of comments documented in it on how to set the font sizes for a specific locale and look and feel etc.
Tested the same with a larger font size of 45 on my laptop below are the images for the same.
Ide.FontSize=15
Ide.FontSize=45
Reference:https://community.oracle.com/thread/2282785
Dafont.com is a site where you can download a ton of free fonts. You can search for a specific typeface, or search by the type of lettering you want, whether it’s serif or sans serif, hand lettered or grunge style. You can also put in your own phrase to see how it looks in a particular font. A lot of these fonts are very decorative and many are handdrawn, so it’s not always the best place to search for body text fonts. Each selection also tells you whether your download is free for personal or commercial use. The download is easy – you get a zip file with the font file inside. Unzip, install, and you’re ready to go.
ReplyDeleteDafont.com is a site where you can download a ton of free fonts. You can search for a specific typeface, or search by the type of lettering you want, whether it’s serif or sans serif, hand lettered or grunge style. You can also put in your own phrase to see how it looks in a particular font. A lot of these fonts are very decorative and many are handdrawn, so it’s not always the best place to search for body text fonts. Each selection also tells you whether your download is free for personal or commercial use. The download is easy – you get a zip file with the font file inside. Unzip, install, and you’re ready to go.
ReplyDelete