Move current undo/redo history dialog to a dedicated dock widget
Move current undo/redo history dialog to a dedicated dock widget. This would also be useful for reproducibility purposes.
Move current undo/redo history dialog to a dedicated dock widget. This would also be useful for reproducibility purposes.