Как запустить действие отмены на узле в Jetbrains MPS?
Я создаю плагин, который будет иметь две кнопки для выполнения операций отмены и возврата на определенном узле. Я хочу знать, возможно ли выполнить операции отмены и восстановления IDE?
0 ответов
Я обнаружил, что приведенный ниже код выполняет операции Undo и Redo в MPS Jetbrain.
foreach editor in FileEditorManager.getInstance(project).getAllEditors() {
if (editor.getName() != null && editor.getName().equals("EDITER_TO_UPDATE")) {
SwingUtilities.invokeLater(new Runnable() {
@Override
public void run() {
if (operations.equals(Operations.UNDO)) {
UndoManagerImpl.getInstance(project).undo(editor);
} else if (operations.equals(Operations.REDO)) {
UndoManagerImpl.getInstance(project).redo(editor);
}
}
});
}
}