diff options
| author | Gilles Roudiere <gilles.roudiere@laas.fr> | 2017-10-23 15:40:51 +0200 |
|---|---|---|
| committer | Gilles Roudiere <gilles.roudiere@laas.fr> | 2017-10-24 10:09:39 +0200 |
| commit | 37d2b17f88e92782cc18bda4f6b2f779442156dd (patch) | |
| tree | 366912c9dd64c540be17b13ee0c2654fd1d4e451 /editor/plugins | |
| parent | 07ab60a8d7aeae1f2d70ed47feb637d8bac4dea3 (diff) | |
Fixes the selection rect in item_list drawn not clipped
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions