class change_dot.ChangeDot
ChangeDot
is a widget for use in a level editing screen. It displays a filled
square (red by default) when there are unsaved changes to the level
being edited.
Constructor
- ChangeDot(game)
- Creates a ChangeDot for the given game, which should be an HEGame instance.
Theme Properties
- fg_color
- Colour of the frame, and the filled interior in the "on" state.
- fill_color
- Colour of the interior in the "off" state.
- margin
- Distance between the bounds of the widget and the frame.
- frame_width
- Width of the frame.
---