Hello, I just downloaded DrJava yesterday and am running it on a 4k laptop. I'm guessing it's because of the resolution, but when I open the program the window and all the text are very small and hard to read. Is it possible that I can enlarge the program to make it easier to see without adjusting my screen resolution?
drjava-beta-20190813-220051 is the version I'm using. Thanks in advance.
Of course, after uploading this question I find the answer. However, when I right-click on a particular file on the left side, the menu that pops up is still in tiny print. Hmm...
Last edit: Tyler Sagen 2020-11-06
Yes. You can edit the DrJava preferences to enlarge the fonts, but I am
not certain that all fonts are configurable. Let me know what happens. I
am not aware of any users' experiences using DrJava on a 4K screen. On my
HD resolution screen, the fonts are quite small so enlarging them using
preferences is a good idea. The defaults assume much less resolution.
On Fri, Nov 6, 2020 at 3:32 AM Tyler Sagen ck-3030@users.sourceforge.net
wrote:
Related
Support Requests: #365