public class PaintEvent extends GuiEvent:
Paint request payload emitted by GUI windows and widgets.
The painter is typed as Object to keep this shared GUI event package free from a hard dependency on a specific backend painter class.
canvas.paintRequested += lambda(e: PaintEvent): print(e.width)
| Modifier and Type | Member | Description |
|---|---|---|
| public readonly property | heightheight as Int |
Current paint height. |
| public readonly property | painterpainter as Object |
Backend painter object for the current paint request. |
| public readonly property | widthwidth as Int |
Current paint width. |
| Modifier and Type | Member | Description |
|---|---|---|
| public | PaintEventPaintEvent(source as Object, painter as Object, width as Int, height as Int): |
Creates a paint request payload. |