tooledit: set locale additionally on reload and edit #805
| Job | Run time |
|---|---|
| 19m 11s | |
| 19m 16s | |
| 27m 32s | |
| 22m 25s | |
| 49m 11s | |
| 22m 47s | |
| 49m 16s | |
| 24m 13s | |
| 44m 26s | |
| 24m 32s | |
| 44m 59s | |
| 5h 47m 48s |
| Job | Run time |
|---|---|
| 19m 11s | |
| 19m 16s | |
| 27m 32s | |
| 22m 25s | |
| 49m 11s | |
| 22m 47s | |
| 49m 16s | |
| 24m 13s | |
| 44m 26s | |
| 24m 32s | |
| 44m 59s | |
| 5h 47m 48s |