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-06-19 15:43:56 +00:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
Files
33f55d84eb4c20ea38e64a10aa3b31b90f9cb3d1
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