| edu.rice.cs.drjava.model.FileSaveSelector
FileSaveSelector | public interface FileSaveSelector (Code) | | An interface to give GlobalModel a file to save a document to.
version: $Id: FileSaveSelector.java 4255 2007-08-28 19:17:37Z mgricken $ |
shouldSaveAfterFileMoved | public boolean shouldSaveAfterFileMoved(OpenDefinitionsDocument doc, File oldFile)(Code) | | Confirms whether a new file should be selected since the previously chosen file has been deleted or moved.
Parameters: oldFile - The file that was moved or deleted. |
verifyOverwrite | public boolean verifyOverwrite()(Code) | | Confirms whether the existing chosen file should be overwritten.
|
warnFileOpen | public boolean warnFileOpen(File f)(Code) | | Informs the user that the chosen file is already open and prompts them asking whether to continue with the save
Parameters: f - the file being saved true iff the save is to occur |
|
|