diff options
| author | Marius Hanl <mariushanl@web.de> | 2022-12-21 18:15:40 +0100 |
|---|---|---|
| committer | Marius Hanl <mariushanl@web.de> | 2022-12-21 18:15:40 +0100 |
| commit | dff9c5e6017b4a56808aee7c6dcc7ec344748870 (patch) | |
| tree | cb69a5253f856a43cee3b8d966cbdf1cd35b2ea6 /editor/editor_run.cpp | |
| parent | 63f95c0e58e51ec2939e8b47803cb607fb35cadc (diff) | |
Rebuild search result tree when the theme is changed
Diffstat (limited to 'editor/editor_run.cpp')
0 files changed, 0 insertions, 0 deletions