diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-07-30 20:47:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-30 20:47:31 +0200 |
| commit | fd0775398b5fa5f0300b37e29961493416ec83d2 (patch) | |
| tree | d991364ebebff27b5ad9ed8d30357ef41d66182f /modules/navigation | |
| parent | bc8a85b3e096ccd33559c8a868eaaf1725aa593c (diff) | |
| parent | edc858ad82c2c7a430bc2b7f5ee161e2d0683229 (diff) | |
Merge pull request #51078 from nekomatata/code-editor-theme-change-optimization
Optimize theme change in code editor
Diffstat (limited to 'modules/navigation')
0 files changed, 0 insertions, 0 deletions