diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-14 07:47:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-14 07:47:06 +0100 |
| commit | 81edda18f39efc4f783bc6fa2b381c01cfc0ef2d (patch) | |
| tree | 8beec0bfd954a7068566855aa970120283763b06 /platform/x11/os_x11.h | |
| parent | fdbe1c3c61b013ea57ff6fabec26054c92473d0f (diff) | |
| parent | dd4c2709e4a4f1abef558c5b3a4e4454db06410d (diff) | |
Merge pull request #7803 from Hinsbart/spinbox_click
Spinbox: don't ignore double clicks.
Diffstat (limited to 'platform/x11/os_x11.h')
0 files changed, 0 insertions, 0 deletions