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 07:38:28 +00:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
Files
77be0b23e5c3ef5a444d3baae5066a07c31b2d6c
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