home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import com.extensibility.app.BaseDocument;
- import com.extensibility.app.BaseUndoManager;
- import javax.swing.event.UndoableEditEvent;
- import javax.swing.event.UndoableEditListener;
-
- class SourcePane$RefreshUndoAdapter implements UndoableEditListener {
- // $FF: synthetic field
- final SourcePane this$0;
- // $FF: renamed from: um com.extensibility.app.BaseUndoManager
- BaseUndoManager field_0;
- boolean refreshing;
- boolean refreshed;
-
- SourcePane$RefreshUndoAdapter(SourcePane var1, SchemaDoc var2) {
- this.this$0 = var1;
- this.refreshing = true;
- this.refreshed = false;
- this.field_0 = ((BaseDocument)var2).getUndoManager();
- }
-
- public void undoableEditHappened(UndoableEditEvent var1) {
- if (!this.refreshing) {
- if (this.refreshed) {
- this.field_0.setMilestone(true);
- this.field_0.trimUndoneEdits();
- this.refreshed = false;
- }
-
- this.field_0.undoableEditHappened(var1);
- }
-
- }
-
- void beginRefresh() {
- this.refreshing = true;
- this.refreshed = false;
- this.field_0.trimEditsSinceMilestone();
- }
-
- void endRefresh() {
- this.field_0.clearMilestone();
- this.refreshing = false;
- this.refreshed = true;
- }
-
- void discard() {
- this.beginRefresh();
- this.field_0.clearMilestone();
- }
- }
-