diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-17 14:07:22 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-17 14:07:22 +0100 |
| commit | f0c9ed4b55168369bde54ced9c13498fb366af1f (patch) | |
| tree | 64d8746f6d1a5a702cce5a1d24953fdc4ab9787d /doc/classes/EditorSettings.xml | |
| parent | 9583c201716be4961d898a3daab20337f893b97c (diff) | |
| parent | e1e7237b9a5622172f97e1a757208d24c16e92ae (diff) | |
Merge pull request #71475 from Maran23/4-x-theme-outline-affects-editor
Fix custom theme outline settings affects the editor theme as well
Diffstat (limited to 'doc/classes/EditorSettings.xml')
0 files changed, 0 insertions, 0 deletions