#336 DrJava: wrong resolution?
Hi,
Because i had just bought a new laptop, i reinstalled DrJava. However, the newly installed DrJava was extremely tiny, fonts, icons and all, leaving a lot of white space ie empty space. I have manged to work around some aspects by increasing the font size from the preferences window however the preferences menu, some items, help menu etc basically everything that changing the font doesn't affect is still exceedingly tiny.
I have included the system properties and Java version below so apologies for the wall of text below.
DrJava Version : drjava-20160913-225446
DrJava Build Time: 20160913-225446
System Properties:
DrJava Version drjava-20160913-225446
DrJava Build Time 20160913-225446
drjava.debug.port = 52619
java.runtime.name = Java(TM) SE Runtime Environment
sun.boot.library.path = C:\Program Files (x86)\Java\jre1.8.0_144\bin
java.vm.version = 25.144-b01
java.vm.vendor = Oracle Corporation
java.vendor.url = http://java.oracle.com/
path.separator = ;
java.vm.name = Java HotSpot(TM) Client VM
file.encoding.pkg = sun.io
user.country = SG
user.script =
sun.java.launcher = SUN_STANDARD
sun.os.patch.level =
java.vm.specification.name = Java Virtual Machine Specification
user.dir = <anonymized user.home="">\Downloads
java.runtime.version = 1.8.0_144-b01
java.awt.graphicsenv = sun.awt.Win32GraphicsEnvironment
java.endorsed.dirs = C:\Program Files (x86)\Java\jre1.8.0_144\lib\endorsed
os.arch = x86
java.io.tmpdir = <anonymized user.home="">\AppData\Local\Temp\
line.separator = "\u000d\u000a"
java.vm.specification.vendor = Oracle Corporation
user.variant =
os.name = Windows 10
sun.jnu.encoding = Cp1252
java.library.path = C:\Program Files (x86)\Java\jre1.8.0_144\bin;C:\windows\Sun\Java\bin;C:\windows\system32;C:\windows;C:\Program Files (x86)\Intel\iCLS Client\;C:\Program Files\Intel\iCLS Client\;C:\ProgramData\Oracle\Java\javapath;C:\windows\system32;C:\windows;C:\windows\System32\Wbem;C:\windows\System32\WindowsPowerShell\v1.0\;C:\Program Files (x86)\NVIDIA Corporation\PhysX\Common;C:\Program Files (x86)\Intel\Intel(R) Management Engine Components\DAL;C:\Program Files\Intel\Intel(R) Management Engine Components\DAL;C:\Program Files (x86)\Intel\Intel(R) Management Engine Components\IPT;C:\Program Files\Intel\Intel(R) Management Engine Components\IPT;<anonymized user.home="">\AppData\Local\Microsoft\WindowsApps;;C:\Program Files (x86)\Java\jre1.8.0_144\bin;.
sun.awt.enableExtraMouseButtons = true
java.specification.name = Java Platform API Specification
java.class.version = 52.0
sun.management.compiler = HotSpot Client Compiler
os.version = 10.0
user.home = <anonymized user.home="">
user.timezone = GMT+08:00
java.awt.printerjob = sun.awt.windows.WPrinterJob
file.encoding = Cp1252
java.specification.version = 1.8
java.class.path = <anonymized user.home="">\Downloads\drjava-beta-20160913-225446.exe
user.name = <anonymized user.name="">
java.vm.specification.version = 1.8
sun.java.command = <anonymized user.home="">\Downloads\drjava-beta-20160913-225446.exe
java.home = C:\Program Files (x86)\Java\jre1.8.0_144
sun.arch.data.model = 32
user.language = en
java.specification.vendor = Oracle Corporation
awt.toolkit = sun.awt.windows.WToolkit
java.vm.info = mixed mode, sharing
java.version = 1.8.0_144
java.ext.dirs = C:\Program Files (x86)\Java\jre1.8.0_144\lib\ext;C:\windows\Sun\Java\lib\ext
sun.boot.class.path = C:\Program Files (x86)\Java\jre1.8.0_144\lib\resources.jar;C:\Program Files (x86)\Java\jre1.8.0_144\lib\rt.jar;C:\Program Files (x86)\Java\jre1.8.0_144\lib\sunrsasign.jar;C:\Program Files (x86)\Java\jre1.8.0_144\lib\jsse.jar;C:\Program Files (x86)\Java\jre1.8.0_144\lib\jce.jar;C:\Program Files (x86)\Java\jre1.8.0_144\lib\charsets.jar;C:\Program Files (x86)\Java\jre1.8.0_144\lib\jfr.jar;C:\Program Files (x86)\Java\jre1.8.0_144\classes
java.vendor = Oracle Corporation
file.separator = \
java.vendor.url.bug = http://bugreport.sun.com/bugreport/
sun.io.unicode.encoding = UnicodeLittle
sun.cpu.endian = little
java.rmi.server.hostname = 127.0.0.1
sun.desktop = windows
sun.cpu.isalist = pentium_pro+mmx pentium_pro pentium+mmx pentium i486 i386 i86
DrJava configuration file
In resource bundle edu.rice.cs.drjava.config.options:
nothing
In shadowed configuration:
font.main = Consolas-30
font.line.numbers = Monospaced-24
font.doclist = Dialog-24
font.toolbar = Dialog-24
font.menu = Dialog-24
key.delete.next = [shift DELETE]
key.delete.previous = [shift BACK_SPACE]
window.height = 1214
window.width = 2264
window.x = -12
window.y = -12
window.state = 6
last.dir = C:\Users\<anonymized user.name="">
last.interactions.dir = C:\Users\<anonymized user.name="">
tabbedpanes.state = 960 540 700 400
new.version.notification.last = 1504326736005
file.ext.registration = always
Used memory: about 32.35 megabytes
Free memory: about 31.77 megabytes
Total memory: about 64.12 megabytes
Total memory can expand to: about 247.50 megabytes
Number of processors/cores: 4
Compiler Discovery Log:
Thanks for reading throught till this far! Please do assist me in this issue, thank you very much
