Menu
▾
▴
1 Attachments
#320 Cant display drjava on my new pc !! runs but too small .
open
nobody
8
2015-09-23
2015-09-23
No
I bought a new laptop dell xps 13 (touch version ) and now dr java runs but its so small that i cant see it at all please give a fix for this because i am using this for my school and cant run it(as i cant see it . thank you .
Does changing the font size not work?
http://www.drjava.org/docs/quickstart/ch06s03.html
Yes thank you it worked although the file and edit in the toolbar are still
small but that's fine I can work with that till the time I can see what I
am gonna code :p
On Wed, 23 Sep 2015 4:28 pm Mathias Ricken mgricken@users.sf.net wrote:
Related
Support Requests: #320
Hi Mohammed,
I recently purchased a Chromebook (Toshiba Chromebook 2) with a beautiful
1080p screen with very small pixels, to evaluate whether DrJava could be
run on Chromebooks using the crouton extension. Once I figured out how to
install crouton (and a Chromebook extension that maps a crouton session to
a Chromebook tab), the installation went smoothly. But given the small
pixel size, the default DrJava fonts are uncomfortably small. So I edited
my DrJava preferences to increase the size of hte "Main", "LIne numbers",
"Document list", and "Toolbar" fonts. Unfortunately, the menu bar and
tabbed pane labelling fonts are not editable, so I am working on making
them editable. The small size of the these fonts is an annoying but not
crippling feature of the current release. After making this change and
fixing a few other bugs, I will release a new version of DrJava.
Best,
Corky Cartwright
On Wed, Sep 23, 2015 at 3:37 PM, Mohammed Patla mohammedtaherpa@users.sf.net wrote:
Related
Support Requests: #320
Thank you so much for working on it .
On Wed, 23 Sep 2015 4:56 pm Robert Cartwright rcartwright@users.sf.net
wrote:
Related
Support Requests: #320
Dear Corky,
I have a pretty new Microsft Surfacebook with Windows 10 on it. When I started my Comp Sci Java class this week, the professor had us download and use DrJava. While I can use it, I am having the same problem---the fonts are excessively small. Even after playing with DrJava preferences, and the computer's display settings, the menu words at top of DrJava window, for example, are still extremely small. Sounds like a simlar problem as in this request.
Have you found a fix to this problem yet?
Thank you!
John
John Eimerman
This happened to me as well with my new Surface Pro 4 also running Windows 10 lol. Here's one work around I just tried. Change your resolution setting to something like 1440 x 900 then make sure to log out. After logging out, log back in, open Dr Java, and see if that helps any.