home *** CD-ROM | disk | FTP | other *** search
/ Cre@te Online 2000 December / Cre@teOnline CD05.iso / MacSoft / XML ConsoleMax.sea / XML ConsoleMax / Required / esc.jar / com / extensibility / xa / FilePane$SourceRefreshUndoable.class (.txt) < prev    next >
Encoding:
Java Class File  |  2000-06-30  |  2.2 KB  |  49 lines
  1. package com.extensibility.xa;
  2.  
  3. import com.extensibility.app.BaseUndoable;
  4. import com.extensibility.app.BaseWindow;
  5. import com.extensibility.app.UI;
  6.  
  7. public class FilePane$SourceRefreshUndoable extends BaseUndoable {
  8.    // $FF: synthetic field
  9.    final FilePane this$0;
  10.    String oldWriter;
  11.    boolean oldDirty;
  12.  
  13.    public FilePane$SourceRefreshUndoable(FilePane var1, BaseWindow var2) {
  14.       super(var2);
  15.       this.this$0 = var1;
  16.    }
  17.  
  18.    public void undo() {
  19.       super.undo();
  20.       this.this$0.getSourceText().getDocument().removeUndoableEditListener(this.this$0.undoListener);
  21.       int var1 = this.this$0.getSourceText().getSelectionStart();
  22.       this.this$0.getSourceText().setText(this.oldWriter);
  23.       var1 = Math.min(var1, this.this$0.getSourceText().getText().length());
  24.       this.this$0.getSourceText().select(var1, var1);
  25.       this.this$0.checkJDKBug();
  26.       this.this$0.setDirty(this.oldDirty);
  27.       this.this$0.getSourceText().getDocument().addUndoableEditListener(this.this$0.undoListener);
  28.       ((BaseSourcePane.SourceUndoManager)this.this$0.getUndoManager()).trimAllExceptFirst();
  29.    }
  30.  
  31.    public void doCommand() {
  32.       this.oldWriter = new String(this.this$0.getSourceText().getText());
  33.       this.oldDirty = this.this$0.isDirty();
  34.       this.this$0.getSourceText().getDocument().removeUndoableEditListener(this.this$0.undoListener);
  35.       this.this$0.refresh();
  36.       this.this$0.getSourceText().getDocument().addUndoableEditListener(this.this$0.undoListener);
  37.    }
  38.  
  39.    public void redo() {
  40.       super.redo();
  41.       this.doCommand();
  42.       ((BaseSourcePane.SourceUndoManager)this.this$0.getUndoManager()).trimAllExceptFirst();
  43.    }
  44.  
  45.    public String getPresentationName() {
  46.       return UI.getString("undo.refresh");
  47.    }
  48. }
  49.