diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-30 23:09:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-30 23:09:49 +0100 |
| commit | 4e753971c3ff14398f93cddbd1a683bbebad931e (patch) | |
| tree | a927f70f71fb9720bb6ee16cdee2c3ce7d0d8a3a /editor/editor_fonts.h | |
| parent | a6ddc5a9a49c4e8ee6847fe1ac4be1a92bed01b8 (diff) | |
| parent | 37d2b17f88e92782cc18bda4f6b2f779442156dd (diff) | |
Merge pull request #12351 from groud/fix_item_list_selection_clipping
Fixes the selection rect in item_list drawn not clipped
Diffstat (limited to 'editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions