home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import com.extensibility.app.BaseUndoable;
- import com.extensibility.app.BaseWindow;
- import com.extensibility.app.UI;
- import com.extensibility.xml.DTDUtilities;
- import com.extensibility.xml.NamespaceDeclaration;
- import com.extensibility.xml.URI;
-
- public class OverviewPane$AddNamespaceUndoable extends BaseUndoable {
- // $FF: synthetic field
- final OverviewPane this$0;
- URI uri;
- URI intoURI;
- // $FF: renamed from: ns com.extensibility.xml.NamespaceDeclaration
- NamespaceDeclaration field_0;
-
- public OverviewPane$AddNamespaceUndoable(OverviewPane var1, BaseWindow var2, URI var3, URI var4) {
- super(var2);
- this.this$0 = var1;
- this.uri = var3;
- this.intoURI = var4;
- }
-
- public String getPresentationName() {
- return UI.getString("undo.overview.include");
- }
-
- public void undo() {
- super.undo();
- this.this$0.doRemoveNamespace(this.field_0);
- this.field_0 = null;
- }
-
- public void doCommand() {
- String var1 = DTDUtilities.makeValidName(this.uri.getShortName());
- this.field_0 = this.this$0.doAddNamespace(var1, this.uri, this.intoURI);
- }
-
- public void redo() {
- super.redo();
- this.doCommand();
- }
- }
-