Menu

Legacy SVN Repository Commit Log


Commit Date  
[r5611] by rcartwright

This commit includes many small changes motivated by bug fixes and
modifications made to the DrScala code base. At some point, we need
to refactor these code bases so they have a common core.

The following files were modified:

M src/edu/rice/cs/util/FileOps.java
M src/edu/rice/cs/util/swing/DelegatingAction.java
M src/edu/rice/cs/drjava/model/junit/ConcJUnitUtils.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
M src/edu/rice/cs/drjava/model/debug/jpda/PendingRequestManager.java
M src/edu/rice/cs/drjava/model/compiler/JavacCompiler.java
M src/edu/rice/cs/drjava/model/compiler/LanguageLevelStackTraceMapper.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevStmtPlus.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionNewParenPhrase.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/config/ConfigOptionListeners.java
M src/edu/rice/cs/drjava/project/ProjectProfile.java
M src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigDescriptions.java
M src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
M src/edu/rice/cs/drjava/ui/avail/GUIAvailabilityNotifier.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/DrJavaRoot.java

2012-07-25 15:03:33 Tree
[r5610] by zz8rice
2012-07-24 22:35:54 Tree
[r5609] by zz8rice
2012-07-24 22:31:30 Tree
[r5608] by zz8rice
2012-07-24 22:28:19 Tree
[r5607] by zz8rice
2012-07-24 22:26:56 Tree
[r5606] by zz8rice

all 3

2012-07-24 22:17:00 Tree
[r5605] by zz8rice
2012-07-24 22:11:14 Tree
[r5604] by zz8rice
2012-07-24 21:53:29 Tree
[r5603] by zz8rice

add build-standalone.sh

2012-07-24 18:57:46 Tree
[r5602] by zz8rice

fix issues in misc

2012-07-24 18:50:00 Tree
Older >
MongoDB Logo MongoDB