diff options
| author | neikeq <ignalfonsore@gmail.com> | 2015-08-13 00:34:07 +0200 |
|---|---|---|
| committer | neikeq <ignalfonsore@gmail.com> | 2015-08-13 00:34:07 +0200 |
| commit | 51fa997cb56f11a3ea304a8281bbe618195a1e80 (patch) | |
| tree | 265545609cb9003ff60e1c2f91b8eee88c78278d /servers/audio_server.h | |
| parent | c2e2f2e0aebf6342e6f18ae5d67b6a825590675a (diff) | |
textedit selection improvements
allows using shift and pointer selection together, and selecting text while scrolling.
tried to make it as similar as possible to most editors.
Diffstat (limited to 'servers/audio_server.h')
0 files changed, 0 insertions, 0 deletions