Gui: offer possibility to editing view provider to handle "Select All… #375
| Job | Run time |
|---|---|
| 6s | |
| 1h 20m 32s | |
| 47m 10s | |
| 1h 12m 46s | |
| 1h 46m 34s | |
| 38m 27s | |
| 1h 32m 49s | |
| 4s | |
| 7h 18m 28s |
| Job | Run time |
|---|---|
| 6s | |
| 1h 20m 32s | |
| 47m 10s | |
| 1h 12m 46s | |
| 1h 46m 34s | |
| 38m 27s | |
| 1h 32m 49s | |
| 4s | |
| 7h 18m 28s |