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 /main | |
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 'main')
0 files changed, 0 insertions, 0 deletions