diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-01-04 19:53:43 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-04 19:53:43 +0100 |
commit | 32bb236f2433041569218f85052088b85732ef4e (patch) | |
tree | e5ade8abdfbab325b8bc20a83c84dc2a85f5ff0c /core/dictionary.h | |
parent | 1f382ba4348c4ebdfc8bb4bcb5f07d017d009161 (diff) | |
parent | cc64679a2081ae1459fc4570acb41ad134c72ea3 (diff) |
Merge pull request #15334 from poke1024/textedit-mousepos
Fix TextEdit::_get_mouse_pos rounding errors
Diffstat (limited to 'core/dictionary.h')
0 files changed, 0 insertions, 0 deletions