Skip to content

Commit 0764967

Browse files
author
y4zhang
committed
rename/close/closeAll but save
1 parent a1b9e62 commit 0764967

File tree

2 files changed

+8
-2
lines changed

2 files changed

+8
-2
lines changed

drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1433,7 +1433,7 @@ private OpenDefinitionsDocument[] _openFiles(File[] files)
14331433
for(OpenDefinitionsDocument d : alreadyOpenDocuments) {
14341434
_notifier.handleAlreadyOpenDocument(d);
14351435
_notifier.fileOpened(d);
1436-
//DataCollector.openClass(d)
1436+
//DataCollector.openClass(d.getParentDirectory(),d)
14371437
}
14381438
}
14391439

@@ -2092,7 +2092,8 @@ public boolean closeFiles(List<OpenDefinitionsDocument> docs) {
20922092
_ensureNotActive(docs);
20932093

20942094
// Close the files in docs.
2095-
for (OpenDefinitionsDocument doc : docs) { closeFileWithoutPrompt(doc); }
2095+
for (OpenDefinitionsDocument doc : docs) { closeFileWithoutPrompt(doc); }
2096+
//for (OpenDefinitionsDocument doc : docs) { DataCollector.closeFile(doc);}
20962097
return true;
20972098
}
20982099

drjava/src/edu/rice/cs/drjava/ui/MainFrame.java

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5148,6 +5148,7 @@ private void _close() {
51485148
// Either this is an external file or user actually wants to close it
51495149
for(OpenDefinitionsDocument doc: l) {
51505150
_model.closeFile(doc);
5151+
//DataCollector.closeFile(doc);
51515152
}
51525153
}
51535154

@@ -5315,9 +5316,13 @@ private boolean _rename() {
53155316
boolean toReturn = _model.getActiveDocument().saveFileAs(_saveAsSelector);
53165317
/** Delete the old file if save was successful. */
53175318
// TODO: what if delete() fails? (mgricken)
5319+
5320+
//File oldFile = fileToDelete;
53185321
if (toReturn && ! _model.getActiveDocument().getFile().equals(fileToDelete)) fileToDelete.delete();
53195322
/** this highlights the document in the navigator */
53205323
_model.refreshActiveDocument();
5324+
//File newFile = _model.getActiveDocument().getFile();
5325+
//DataCollector.RenamedClass(oldFile, newFile);
53215326
return toReturn;
53225327
}
53235328
}

0 commit comments

Comments
 (0)