2 Commits

Author	SHA1	Message	Date
Roy Qu	06ee536431	- fix: tab icon not correct restore when hide and show a panel ... - fix: the hiding state of the tools output panel is not correctly saved	2022-05-21 10:44:39 +08:00
Roy Qu	6754c014c9	- enhancement: only tag the first inconstantency when running problem case, to greatly reduce compare & display time	2022-03-29 21:41:02 +08:00