diff options
| author | est31 <MTest31@outlook.com> | 2016-04-16 20:37:53 +0200 |
|---|---|---|
| committer | est31 <MTest31@outlook.com> | 2016-04-17 16:48:27 +0200 |
| commit | 7fb6450d17388097619bfb1e675e17c7bc2e3eaa (patch) | |
| tree | 494ad68beecf56087b5680ecb828eb474b82a4e9 /src/android | |
| parent | b9065f56ba0c1fa9c55b6af31d765cc326456548 (diff) | |
| download | glutin-7fb6450d17388097619bfb1e675e17c7bc2e3eaa.tar.gz glutin-7fb6450d17388097619bfb1e675e17c7bc2e3eaa.zip | |
Improve X11 cursor symbols handling
1. Make it non failing. Before we tried to call XFreeCursor with a
cursor of 0 if we couldn't find a cursor. This has then caused a panic.
2. Introduce a system where multiple special cursors are tried
in order to work with different themes and desktop environments.
This way we get less often into the situation where we have to use a
default cursor.
3. Also set names for some cursors that previously only had a placeholder.
Fixes #765.
Will fix https://github.com/servo/servo/issues/10475 as well.
Diffstat (limited to 'src/android')
0 files changed, 0 insertions, 0 deletions