This website requires JavaScript.
Explore
Help
Sign In
ExternalVendorCode
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
mirror of
https://github.com/genodelabs/genode.git
synced
2025-02-07 20:00:23 +00:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
genode
/
repos
/
os
/
include
/
pointer
History
Christian Prochaska
dd98bd67a0
pointer: custom pointer shape support
...
Make the revised 'vbox_pointer' component the new 'pointer' component.
Fixes
#2585
2017-11-30 11:23:22 +01:00
..
dither_painter.h
pointer: custom pointer shape support
2017-11-30 11:23:22 +01:00
shape_report.h
pointer: custom pointer shape support
2017-11-30 11:23:22 +01:00