beremiz

SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
svghmi
2021-05-17, Edouard Tisserant
5f756332ada1
SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
.project
.svghmithumbs
.directory
.pytest_cache
.cache
.coverage_full
syntax: regexp
^tests/.*/build$
^.idea/.*
syntax: regexp
^.*\.pyc$
syntax: regexp
^.*~$
syntax: regexp
^.*\.swp$
bug_report.*\.txt
i18n/.*.new$
revision
doc/_build
doc/locale