Menu ▾ ▴

Commit [r5460]  Maximize  Restore  History

Fix perf pb and added text box to specify number of workers (can't align correctly the box though)

vincent_cave 2012-01-09

Browse code at this revision

Parent: [r5459]

Child: [r5461]

changed /branches/drjava-hj/drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
changed /branches/drjava-hj/drjava/src/edu/rice/cs/drjava/ui/config/ConfigDescriptions.java
changed /branches/drjava-hj/drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
changed /branches/drjava-hj/platform/src-hj/edu/rice/cs/drjava/model/compiler/HjCompiler.java
/branches/drjava-hj/drjava/src/edu/rice/cs/drjava/config/OptionConstants.java Diff Switch to side-by-side view
Loading...
/branches/drjava-hj/drjava/src/edu/rice/cs/drjava/ui/config/ConfigDescriptions.java Diff Switch to side-by-side view
Loading...
/branches/drjava-hj/drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java Diff Switch to side-by-side view
Loading...
/branches/drjava-hj/platform/src-hj/edu/rice/cs/drjava/model/compiler/HjCompiler.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB