diff options
Diffstat (limited to 'src/client/views/UndoStack.tsx')
-rw-r--r-- | src/client/views/UndoStack.tsx | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/client/views/UndoStack.tsx b/src/client/views/UndoStack.tsx index f07e38af1..068143225 100644 --- a/src/client/views/UndoStack.tsx +++ b/src/client/views/UndoStack.tsx @@ -8,19 +8,13 @@ import { SettingsManager } from '../util/SettingsManager'; import { UndoManager } from '../util/UndoManager'; import './UndoStack.scss'; -interface UndoStackProps { - width?: number; - height?: number; - inline?: boolean; -} +interface UndoStackProps {} @observer export class UndoStack extends React.Component<UndoStackProps> { - @observable static HideInline: boolean; - @observable static Expand: boolean; render() { const background = UndoManager.batchCounter.get() ? 'yellow' : SettingsManager.userVariantColor; const color = UndoManager.batchCounter.get() ? 'black' : SettingsManager.userColor; - return this.props.inline && UndoStack.HideInline ? null : ( + return ( <Tooltip title={'undo stack (if it stays yellow, undo is broken - you should reload Dash)'}> <div> <div className="undoStack-outerContainer"> @@ -39,19 +33,25 @@ export class UndoStack extends React.Component<UndoStackProps> { color, }}> {Array.from(UndoManager.undoStackNames).map((name, i) => ( - <div className="undoStack-resultContainer" key={i} - onClick={e => { + <div + className="undoStack-resultContainer" + key={i} + onClick={e => { const size = UndoManager.undoStackNames.length; - for (let n = 0; n < size-i; n++ ) UndoManager.Undo(); } } - > + for (let n = 0; n < size - i; n++) UndoManager.Undo(); + }}> <div className="undoStack-commandString">{StrCast(name).replace(/[^\.]*\./, '')}</div> </div> ))} {Array.from(UndoManager.redoStackNames) .reverse() .map((name, i) => ( - <div className="undoStack-resultContainer" key={i} onClick={e => - { for (let n = 0; n <= i; n++ ) UndoManager.Redo() }}> + <div + className="undoStack-resultContainer" + key={i} + onClick={e => { + for (let n = 0; n <= i; n++) UndoManager.Redo(); + }}> <div className="undoStack-commandString" style={{ fontWeight: 'bold', background: SettingsManager.userBackgroundColor, color: SettingsManager.userColor }}> {StrCast(name).replace(/[^\.]*\./, '')} </div> |