User Details
User Details
- User Since
- Sep 18 2019, 8:18 AM (236 w, 1 d)
- Availability
- Available
Sep 18 2019
Sep 18 2019
smerkov retitled D24044: Emphasize minimization in MinimizeAll script from MinimizeAll wrong behaviour to Emphasize minimization in MinimizeAll script.
smerkov added a comment to D24044: Emphasize minimization in MinimizeAll script.
smerkov added a comment to D24044: Emphasize minimization in MinimizeAll script.
smerkov updated the diff for D24044: Emphasize minimization in MinimizeAll script.
I changed my version to version of zzag, because his code is more simple. I have tested both versions.
smerkov requested review of D24044: Emphasize minimization in MinimizeAll script.