diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-04 15:02:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-04 15:02:47 +0100 |
| commit | 99eb394a5f5f164a562e315980cb730a704a0a1c (patch) | |
| tree | f044db5714626c7c91fda34022bd4af6f444c7b2 /platform/x11 | |
| parent | 913777b773c59f4c79c04d43c8a5644f35ff35c3 (diff) | |
| parent | 59564f267ce4379282911007ef78ec8738f358e8 (diff) | |
Merge pull request #14802 from volzhs/selection-changed
Fix "selection_changed" called twice
Diffstat (limited to 'platform/x11')
0 files changed, 0 insertions, 0 deletions