- Timestamp:
- 2003-11-05T13:46:44+13:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/undo/UndoManager.java
r5589 r5785 260 260 } 261 261 262 publicvoid fileDeleted(long id, DragComponent source_model, FileNode source_parent, FileNode target_parent, FileNode record, boolean undo_event) {262 /* private void fileDeleted(long id, DragComponent source_model, FileNode source_parent, FileNode target_parent, FileNode record, boolean undo_event) { 263 263 UndoJob job = new UndoJob(id, source_model, source_parent, this, record, FILE_DELETE); 264 264 if(undo_event) { … … 270 270 redo.push(job); 271 271 } 272 } 272 } */ 273 273 274 274 public void fileMoved(long id, DragComponent source_model, FileNode source_parent, DragComponent target_model, FileNode target_parent, FileNode record, boolean undo_event) { … … 339 339 } 340 340 341 static final publicFile generateUniqueFile(FileNode record) {341 /* static final private File generateUniqueFile(FileNode record) { 342 342 String filename_raw = ArrayTools.objectArrayToString(record.getPath()); 343 343 int hash_code = filename_raw.hashCode(); … … 349 349 } 350 350 return file; 351 } 351 } */ 352 352 353 353 private void showTree() {
Note:
See TracChangeset
for help on using the changeset viewer.