LegacyConsole/jpexs-decompiler
3
0
Fork 0
mirror of https://git.huckle.dev/Huckles-Minecraft-Archive/jpexs-decompiler.git synced 2026-07-14 12:18:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Checkstyle fix

Browse Source
This commit is contained in:
Jindra Petřík
2025-04-13 14:13:27 +02:00
parent 859a2f8bdb
commit b1c5f9d0c6
85 changed files with 2486 additions and 2340 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
src/com/jpexs/decompiler/flash/easygui/UndoManager.java
View File

@@ -27,62 +27,63 @@ import java.util.WeakHashMap;
* @author JPEXS
*/
public class UndoManager {
private final Map<SWF, Integer> historyPosMap = new WeakHashMap<>();
private final Map<SWF, List<DoableOperation>> historyMap = new WeakHashMap<>();
private final List<Runnable> changeListeners = new ArrayList<>();
public void addChangeListener(Runnable listener) {
changeListeners.add(listener);
}
public void removeChangeListener(Runnable listener) {
changeListeners.remove(listener);
}
private void fireChange() {
for (Runnable listener : changeListeners) {
listener.run();
}
}
public void doOperation(DoableOperation doableOperation, SWF swf) {
if (!historyMap.containsKey(swf)) {
historyMap.put(swf, new ArrayList<>());
}
if (!historyPosMap.containsKey(swf)) {
historyPosMap.put(swf, 0);
}
}
int historyPos = historyPosMap.get(swf);
List<DoableOperation> history = historyMap.get(swf);
//drop redos
while(history.size() > historyPos) {
while (history.size() > historyPos) {
history.remove(historyPos);
}
historyMap.get(swf).add(doableOperation);
historyMap.get(swf).add(doableOperation);
historyPosMap.put(swf, historyPosMap.get(swf) + 1);
doableOperation.doOperation();
fireChange();
}
public boolean canUndo(SWF swf) {
if (!historyPosMap.containsKey(swf)) {
return false;
}
return historyPosMap.get(swf) > 0;
}
public String getUndoName(SWF swf) {
if (!canUndo(swf)) {
return null;
}
return historyMap.get(swf).get(historyPosMap.get(swf) - 1).getDescription();
}
}
public void undo(SWF swf) {
if (!canUndo(swf)) {
return;
@@ -91,7 +92,7 @@ public class UndoManager {
historyMap.get(swf).get(historyPosMap.get(swf)).undoOperation();
fireChange();
}
public void redo(SWF swf) {
if (!canRedo(swf)) {
return;
@@ -100,26 +101,27 @@ public class UndoManager {
historyPosMap.put(swf, historyPosMap.get(swf) + 1);
fireChange();
}
public String getRedoName(SWF swf) {
if (!canRedo(swf)) {
return null;
}
return historyMap.get(swf).get(historyPosMap.get(swf)).getDescription();
}
public boolean canRedo(SWF swf) {
if (!historyMap.containsKey(swf)) {
return false;
}
return historyMap.get(swf).size() > historyPosMap.get(swf);
}
public void clear() {
historyMap.clear();
historyPosMap.clear();
fireChange();
}
public void clear(SWF swf) {
if (!historyMap.containsKey(swf)) {
return;