config-schema: expand options for ui.editor, ui.diff.tool, and `u…
#19298
| Job | Run time |
|---|---|
| 1m 16s | |
| 6m 17s | |
| 23s | |
| 4m 34s | |
| 26s | |
| 2m 36s | |
| 8m 55s | |
| 43s | |
| 4m 35s | |
| 2m 49s | |
| 11s | |
| 13m 56s | |
| 10s | |
| 7m 13s | |
| 17s | |
| 11s | |
| 54m 32s |