Add a replace tool to the editor, clean up overlay_widget.cpp #1018
Job | Run time |
---|---|
17m 38s | |
18m 31s | |
11m 20s | |
11m 11s | |
15m 34s | |
15m 58s | |
13m 59s | |
25m 45s | |
10m 55s | |
13m 30s | |
11m 21s | |
11m 24s | |
2h 57m 6s |
Job | Run time |
---|---|
17m 38s | |
18m 31s | |
11m 20s | |
11m 11s | |
15m 34s | |
15m 58s | |
13m 59s | |
25m 45s | |
10m 55s | |
13m 30s | |
11m 21s | |
11m 24s | |
2h 57m 6s |