SVGHMI: add "unsubscribable" property to widgets in order to generalize what already happens for jump buttons.
svghmi
2020-06-04, Edouard Tisserant