| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.121 $ |
| * @version $Revision: 1.122 $ |
| * |
| * Last modification: $Date: 2003/07/25 12:59:59 $ |
| * $Id: DocumentManager.java,v 1.121 2003/07/25 12:59:59 hjokusch Exp $ |
| * Last modification: $Date: 2003/07/25 13:50:56 $ |
| * $Id: DocumentManager.java,v 1.122 2003/07/25 13:50:56 hjokusch Exp $ |
| */ |
| |
| package src.control; |
| 50,7 → 50,7 |
|---|
| * |
| * @author Group 5 |
| * |
| * @version $Revision: 1.121 $ Last modification: $Date: 2003/07/25 12:59:59 $ |
| * @version $Revision: 1.122 $ Last modification: $Date: 2003/07/25 13:50:56 $ |
| */ |
| public class DocumentManager implements ActionListener,DocumentManagerInterface,ChangeListener { |
| |
| 532,7 → 532,7 |
|---|
| if (! openDocumentList.isEmpty()) { |
| |
| /* Simple search algorithm to find the document. */ |
| for (int i=0;i<(openDocumentList.size());++i) { |
| for (int i=0;i<(openDocumentList.size()-1);++i) { |
| StringBuffer worker = new StringBuffer(); |
| // Compare the searched title with every found title. |
| worker.append(((OurDocument)(openDocumentList.get(i))).getTitle()); |
| 580,7 → 580,7 |
|---|
| |
| if (! openDocumentList.isEmpty()) { |
| /* Search in the list of opened documents, if the document is available. */ |
| for(int i=0;i<(openDocumentList.size());++i) { |
| for(int i=0;i<(openDocumentList.size()-1);++i) { |
| |
| if (fileName.toString().compareTo(((OurDocument)(openDocumentList.get(i))).getFileName().toString())==0) { |
| |
| 1287,8 → 1287,10 |
|---|
| * Last revision: 17-Jul-2003 |
| */ |
| public void closeAll() { |
| while (openDocumentList.isEmpty()==false){ |
| int x = 0; |
| while ((openDocumentList.isEmpty()==false)&& (x <100)){ |
| closeActualDocumentWithSaveConfirmation(); |
| x++; |
| } |
| } |
| |
| 1312,7 → 1314,7 |
|---|
| String actualTitle = actualDocument.getTitle(); |
| |
| // Go through the openDocumenList and save every document. |
| for(int i=0; i < openDocumentList.size(); ++i) { |
| for(int i=0; i < openDocumentList.size()-1; ++i) { |
| changeToDocument(((OurDocument)(openDocumentList.get(i))).getTitle()); |
| if (actualDocument.getFileName() == null) { |
| saveActualDocumentAs(); |