The program pointers
The pointer themes of the boot image (docs/POINTERS.md), as a table that a person reads: each pointer shape of a theme at each of its sizes, its hot spot marked, its frames, and the theme with its license and its attribution.
The program has the boot image, read-only. It finds the pointer theme files in the resource table, checks the hash of each one against its entry (property 11), validates it with the validation of the compositor, and shows one theme at a time: two buttons change the theme. The window is built with the interface package; the pointer pictures are drawn into the canvas directly, inside the area of each tile, because the package has no record of a picture of pixels. Over a tile, the program asks the compositor for the shape of the tile (display.pointer_shape_set): the pointer over this surface shows it.
| Fact | Value |
|---|---|
| Source | programs/pointers |
| Boot image | in the boot image; the image is not built, so its size is not known |
| Imports | none |
| Imported by | none |
Exports
| Export | What it does |
|---|---|
| entry() |
Read from the source of the module, as the build reads it to describe the exports (tools/kerneltool/describe.odin).
What the root service gives it
| What | Value | As the root service says |
|---|---|---|
| Grants | {.Image} | It reads the pointer themes in the resource table of the boot image. |
| Budget: pages, programs, threads | {pages = 2048, programs = 1, threads = 1} | Not named in things_of: the budget of each other program. |
Read from grants_of and things_of in programs/root/main.odin; budget_of in the same file adds the limits of processor time and of log records.