beremiz

SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
from __future__ import absolute_import
from svgui.pyjs.pyjs import *