This repository has been archived by the owner on Mar 5, 2023. It is now read-only.

Issue with undo/redo and modifications to filtered lists #737#792

Merged

Zhiyuan-Amos merged 6 commits intose-edu:masterfrom yamidark:737-undo-redo-incorrect-filtered-list

Feb 13, 2018

+258-50