diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-06-22 11:21:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-22 11:21:08 +0200 |
| commit | bd85e4ec16f2a3d2822bb87b8cc67600f74e9d98 (patch) | |
| tree | c820027349bcf4550c3eccc2ca39271b23d2ec07 /editor/editor_fonts.h | |
| parent | 10d2fa4210f9287af413d38c9ce8baf0b343ba20 (diff) | |
| parent | 7a250b579fb2a95bc1e11eb165b31662efbb4699 (diff) | |
Merge pull request #39748 from bruvzg/macos_mouse_hide_counter
[macOS] Fix mouse cursor not shown after multiple mode changes.
Diffstat (limited to 'editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions