redotool.js

class RedoTool extends Tool {
    constructor(key) {
        super("Redo", "redo", key);
    }
    
    onToolActivate() {
        graph.redo();
        state.setTool(state.previousTool)
    }
}