diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2023-01-29 02:25:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-29 02:25:11 +0100 |
| commit | d866d6cd1bc79539a793611afa1ea8cf6cce2e6e (patch) | |
| tree | 1e53317978cd345f090c16dcc74ae74f03eaef30 /editor/editor_undo_redo_manager.h | |
| parent | 0d36281dff0255313150b3ea3b97467ebe58d0fb (diff) | |
| parent | 8cb05a5e53a59805349a83ff1bf600037938bb51 (diff) | |
Merge pull request #72261 from Paulb23/preserve-carets-search
Fixed removing secondary carets when editing with search open
Diffstat (limited to 'editor/editor_undo_redo_manager.h')
0 files changed, 0 insertions, 0 deletions