1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
//! The shape of the mouse pointer a widget asks for over part of itself.
/// The shape the terminal gives the mouse pointer, asked for while painting with
/// [`PaintCx::pointer_shape`](super::PaintCx::pointer_shape).
///
/// The runtime tells the terminal with OSC 22 (`ESC ] 22 ; <name> ESC \`), which foot, kitty and
/// WezTerm understand, and only when the shape under the pointer changed. Other terminals are not
/// sent anything and keep their own pointer. The names are the CSS cursor names those terminals
/// use.