12/19/17

DrJava Font Size Problem

I'm helping my son learning Java. One of the first things to do when learning Java is picking an IDE. I like DrJava for its simplicity and small size. However, when I first run DrJava, its font size is way too small on my 4K monitor.

There are 2 ways to fix this - the easy way and the hard way.

The easy way first.
Click Edit:Preferences, then click "Display Options", change "Look and Feel" to the one that ends with "Plastic3DLookandFeel".  Do this on Windows only, for Mac and Linux, default "Look and Feel" is fine.
Click "Font" under "Display Options", change all fonts to double the original size:
Press "OK", then close DrJava then open it again.  Now the fonts should be big enough to read.

(The changes you make are actually saved in a configuration file .drjava in your home directory,  you can edit the file directly for changes, but it's not recommended)

Now the hard way.
For the "easy way", we just changed DrJava's default configuration preferences.  The hard way is to compile a DrJava program with these changes already made in the source code so we don't have to change preferences.

Clone the DrJava repository on github: https://github.com/DrJavaAtRice/drjava

Try to compile it first:
cd drjava/drjava
ant jar

You must have ant already installed.  If it's compiled OK, try run it:
java -jar drjava.jar
(You can just double click drjava.jar file too)

Open src/edu/rice/cs/drjava/config/OptionConstants.java for editing:
Change "Monaco-12" to "Monaco-24"; change "Monospaced-12" to "Monospaced-24";
chanage "dialog-10" to "dialog-20"; change "dialog-12" to "dialog-24".

Save the file then recompile (ant jar).  Now DrJava is "pre-configured" with big fonts.

You might say this "hard way" is pointless.  Why on earth would anyone want to do this? I agree.  But just maybe one wants to provide a "pre-configured" copy of DrJava to his students.  I just show one way to do it.  Another way is to write a .drjava configuration file upon installation.  This is way more complex. Besides, I'm using a standalone jar file, there's no installation to speak of.


19 comments:

Unknown said...

Please a video tutorial on this changing the font size in java in both method.
As I am a student I cant understand
The second process
My Gmail Id (deva740640@gmail.com)
Please send the tutorial

pavithra dass said...

Great post!
Thanks for sharing this list!
It helps me a lot finding a relevant blog in my niche!
Java Training in Chennai
Java Training in Coimbatore
Java Training in Bangalore

Anbarasan14 said...

I have been reading all your blogs regularly..I admit, this is one of the best blogs I have read till date. Great going.. Waiting for the next...
Spoken English Classes in Chennai
Spoken English in Chennai
Top 10 Spoken English Classes in Chennai
Best IELTS Coaching in Chennai
IELTS Coaching Centre in Chennai
English Classes in Mumbai
English Speaking Classes in Mumbai
Best IELTS Coaching in Mumbai
IELTS Coaching in Mumbai
Spoken English Class in Anna Nagar

Laura Bush said...

Thanks for taking the time to share this article here about the Java font size problem. Your article is very informative and nicely describes the solution of Java font size problem. codingbytes offers the Best Core Java Course in Delhi.

harish kalyan said...

Very nice post here and thanks for it .I like this blog and really good content.
Data Analytics Courses in Chennai
Data Analytics Certification Courses in Chennai
Xamarin Classes
Hadoop Admin Training in Chennai
IELTS Training in Chennai
Japanese Language Course in Chennai
spanish courses in chennai
content writing course in chennai
Data Analytics Courses in T Nagar
Data Analytics Courses in OMR

Janu said...

You are including better information regarding this topic in an effective way. T hank you so much.

it was a wonderful

Dot Net Training in Chennai | Dot Net Training in anna nagar | Dot Net Training in omr | Dot Net Training in porur | Dot Net Training in tambaram | Dot Net Training in velachery






nisha said...

Thanks for sharing this blog. the blog is really explained the content very neatly.every content should be arranged very neatly.

Data Science Training Course In Chennai | Data Science Training Course In Anna Nagar | Data Science Training Course In OMR | Data Science Training Course In Porur | Data Science Training Course In Tambaram | Data Science Training Course In Velachery


Pathway for German Language said...
This comment has been removed by the author.
data scientist course said...

I would like to thank you for the efforts you have made in writing this article. I am hoping for the same best work from you in the future as well..
data scientist training and placement in hyderabad

prathyusha said...

Extraordinary post I should state and a debt of gratitude is in order for the data. Instruction is unquestionably a clingy subject. Be that as it may, is still among the main subjects within recent memory. I value your post and anticipate more.cloud computing course in patna

Maneesha said...

Thanks a lot for one’s intriguing write-up. It’s actually exceptional. Searching ahead for this sort of revisions.
data analytics courses in hyderabad with placements

360DigiTMG said...

In the wake of perusing your article, I was astounded. I realize that you clarify it well overall. What's more, I trust that different perusers will likewise encounter how I feel in the wake of perusing your article.
data scientist course in hyderabad

Medespoir Tunis said...

Joli blog

data analytics course in lucknow said...

Are you looking for a Data Science course that will aid you in your career growth. 360DigiTMG is the right place for you. Enroll now for a better tomorrow.

business analytics course in lucknow.

Hi Every One said...

You will catch artifact secrets used for totally Windows 7 styles and pick up by what method towards trigger Windows 7 through & starved of a produce important. Activate Windows 7 Ultimate

Let2know said...

Reimage PC Repair 2023 Crack is one of the only programs of its type. Reimage is the best creation that wants to have Reimage License keys Reimage Plus License Key Free

Farah Noor said...

Good Morning Wishes. We are enthralled to share with you a vast collection of special Good Morning Wishes for friends, family, and loved ones.Good Morning Wishes

Anonymous said...

Infotech Softnet is the best C++ institute in Janakpuri and caters to the needs of all the students. With a team of highly experienced trainers and a proven track record of success, we have earned a reputation as the best C++ institute in the area. Our comprehensive C++ courses are designed to cater to the needs of both beginners and advanced learners. We provide practical, hands-on training that enables our students to master the language quickly and effectively. Our state-of-the-art facilities and advanced teaching methodologies make us stand out from other computer training institutes in Janakpuri.
Join Infotech Softnet Computer Education today and unlock your potential in C++. Whether you are looking to kickstart your career in programming or simply enhance your skills, we have a course for you.

iteducationcentre said...

Nice article.
Also, check Java course in Pune