Menu ▾ ▴

Commit [r4398]  Maximize  Restore  History

DrJava now detects OutOfMemoryErrors and VMOutOfMemoryExceptions

inside the slave JVM and suggests to increase the maximum heap
memory. It also detects OutOfMemoryErrors in the main JVM,
initiates garbage collection and attempts to ask the user to
increase the maximum heap size for the main JVM.
Also moved "Save Window Position" and "Reset Window Position"
settings into a sub-pane of "Display" in the "Preferences".

mgricken 2008-03-11

Browse code at this revision

Parent: [r4397]

Child: [r4399]

changed /trunk/drjava/src/edu/rice/cs/drjava/config/ConfigOptionListeners.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/DrJavaErrorHandler.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
/trunk/drjava/src/edu/rice/cs/drjava/config/ConfigOptionListeners.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/DrJavaErrorHandler.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB