import { observer } from 'mobx-react'; import * as React from 'react'; import { UndoManager } from '../util/UndoManager'; import './ScriptingRepl.scss'; @observer export class UndoStack extends React.Component { render() { return (
r?.scroll({ behavior: 'auto', top: r?.scrollHeight + 20 })} style={{ background: UndoManager.batchCounter.get() ? 'yellow' : undefined }}> {UndoManager.undoStackNames.map((name, i) => (
{name.replace(/[^\.]*\./, '')}
))} {Array.from(UndoManager.redoStackNames) .reverse() .map((name, i) => (
{name.replace(/[^\.]*\./, '')}
))}
); } }