diff options
author | Drew DeVault <sir@cmpwn.com> | 2018-07-17 19:53:12 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-17 19:53:12 -0700 |
commit | ca695482ec43fa247fc565161768584ef9534fea (patch) | |
tree | 0ef66f10e1bb38fd3108680ccfa3830b06e61a93 /include/pool-buffer.h | |
parent | 81e4bbf8b26a836b5f0fe83687658e854ca6a11e (diff) | |
parent | 03d49490ccff3c5c81bea73622c8616fa61eb3dd (diff) |
Merge pull request #2292 from emersion/update-cursor-on-focus
Update cursor on focus change
Diffstat (limited to 'include/pool-buffer.h')
0 files changed, 0 insertions, 0 deletions