diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-03-26 09:29:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-26 09:29:18 +0100 |
| commit | 4d5705eefaa06cc818f9ae6fda4db2ae95f94a25 (patch) | |
| tree | ba4bd66340d1e8f21fc5e4204b84da558ec95007 /editor/plugins/text_editor.h | |
| parent | 4507d0cd2b034d1396ba9a6dc8bdb3fd76b0b36d (diff) | |
| parent | 77b70aa79d006790168d623821d8e2c3bf505b67 (diff) | |
Merge pull request #37274 from Janglee123/corrected-text-selection-in-color-picker
Corrected text selection in color picker
Diffstat (limited to 'editor/plugins/text_editor.h')
0 files changed, 0 insertions, 0 deletions