beremiz
Clone
Summary
Browse
Changes
Graph
SVGHMI: apply per class overloading of sub/unsub to Jump widget
svghmi
2020-05-10, Edouard Tisserant
15bebe9a2806
SVGHMI: apply per class overloading of sub/unsub to Jump widget
from __future__ import absolute_import
from svgui.pyjs.pyjs import *
