diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-11 21:05:42 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-11 21:05:42 +0100 |
| commit | 4004f3f72ecbf0887aeee20acb8c2b9b97f64ab8 (patch) | |
| tree | 7b4ab8ce10d537f2843f7f881dbe8677d8939a71 /modules/websocket | |
| parent | 6f92746101681dc5ee414c7ed4f781b199623f86 (diff) | |
| parent | a13cdfe096ec0558e6b0ecfc0d2500f0d0165c3f (diff) | |
Merge pull request #68537 from Calinou/editor-performance-monitor-section-bold-font
Use a bold font for section titles in the editor performance monitor
Diffstat (limited to 'modules/websocket')
0 files changed, 0 insertions, 0 deletions