diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-09-05 07:46:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-05 07:46:02 +0200 |
| commit | eb1b71180ee7c37c32da3110bfee7d6638596f5d (patch) | |
| tree | 2337bb3c64c677fc10569d2b040f663082b03b83 /tools/editor/icons/icon_dependency_ok_hl.png | |
| parent | 7d600caa1659b95a82fbb1bd932e36f40277ad16 (diff) | |
| parent | 3d8497318401040979242ae04271d6c0f5b253e9 (diff) | |
Merge pull request #6372 from waldson/master
Fixes LineEdit text selection with mouse selecting more than intended
Diffstat (limited to 'tools/editor/icons/icon_dependency_ok_hl.png')
0 files changed, 0 insertions, 0 deletions