beremiz
Clone
Summary
Browse
Changes
Graph
beremiz/util/
SVGHMI: add "unsubscribable" property to widgets in order to generalize what already happens for jump buttons.
svghmi
2020-06-04, Edouard Tisserant
2a21d6060d64
..
BitmapLibrary.py
ExceptionHandler.py
MiniTextControler.py
ProcessLogger.py
TranslationCatalogs.py
__init__.py
misc.py
paths.py
