diff options
| author | PouleyKetchoupp <pouleyketchoup@gmail.com> | 2021-07-30 10:40:59 -0700 |
|---|---|---|
| committer | PouleyKetchoupp <pouleyketchoup@gmail.com> | 2021-07-30 10:40:59 -0700 |
| commit | edc858ad82c2c7a430bc2b7f5ee161e2d0683229 (patch) | |
| tree | 90f2f7d3033364ebffca09f7309362f721d4136c /.gitignore | |
| parent | bdcc8741e4826ce27850bbffa5880c57451e3be5 (diff) | |
Optimize theme change in code editor
Postpone applying the whole theme when a setting changes, to avoid
updating everything many times when the whole editor theme is changed.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions