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.
---