Use Style's font size in egui_extras::syntax_highlighting (#5090) #38
Job | Run time |
---|---|
3m 25s | |
6m 16s | |
39s | |
33s | |
43s | |
33s | |
3m 12s | |
39s | |
38s | |
39s | |
38s | |
42s | |
41s | |
41s | |
38s | |
39s | |
41s | |
21m 57s |
Job | Run time |
---|---|
3m 25s | |
6m 16s | |
39s | |
33s | |
43s | |
33s | |
3m 12s | |
39s | |
38s | |
39s | |
38s | |
42s | |
41s | |
41s | |
38s | |
39s | |
41s | |
21m 57s |