home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import com.extensibility.app.BaseUndoManager;
- import java.util.Stack;
- import javax.swing.undo.UndoManager;
-
- public class BaseSourcePane$SourceUndoManager extends BaseUndoManager {
- // $FF: synthetic field
- final BaseSourcePane this$0;
- Stack toUndo;
- Stack toRedo;
-
- public BaseSourcePane$SourceUndoManager(BaseSourcePane var1) {
- this.this$0 = var1;
- this.toUndo = new Stack();
- this.toRedo = new Stack();
- }
-
- public void trimAllExceptFirst() {
- ((UndoManager)this).trimEdits(1, super.edits.size() - 1);
- }
- }
-