Get the screen's current pointer shape.
(self)
| 581 | self.app._set_pointer_shape(pointer_shape) |
| 582 | |
| 583 | def update_pointer_shape(self) -> None: |
| 584 | """Get the screen's current pointer shape.""" |
| 585 | if self._selecting: |
| 586 | self._pointer_shape = "text" |
| 587 | return |
| 588 | widget = self if self.app.mouse_over is None else self.app.mouse_over |
| 589 | pointer_shape = "default" |
| 590 | for node in widget.ancestors_with_self: |
| 591 | if isinstance(node, Widget): |
| 592 | if node.loading: |
| 593 | pointer_shape = "wait" |
| 594 | break |
| 595 | if (pointer_shape := node.styles.pointer) != "default": |
| 596 | break |
| 597 | |
| 598 | self._pointer_shape = pointer_shape |
| 599 | |
| 600 | def render(self) -> RenderableType: |
| 601 | """Render method inherited from widget, used to render the screen's background. |
no outgoing calls
no test coverage detected