diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-05 23:29:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-05 23:29:06 +0200 |
| commit | 91c62fb85674171b0524b2152347aa1435b45b8d (patch) | |
| tree | 056bdcfa9452b843ec40de227872a0cf311773f7 /doc/classes/IP.xml | |
| parent | 15d1af11e2008512f4aaa32f731994b22b074636 (diff) | |
| parent | bd5ad943b4929c23dc85a4c052dd6b7680e4dcf6 (diff) | |
Merge pull request #63963 from YuriSizov/editor-feature-profiles-like-it-dark-and-damp
Rebuild the trees in the `EditorFeatureProfile` dialog when the editor theme changes
Diffstat (limited to 'doc/classes/IP.xml')
0 files changed, 0 insertions, 0 deletions