plugins/python/modules/wxglade_hmi/wxglade_hmi.py
changeset 395 433fd448dd31
parent 384 50f2069a06b3
child 427 7ac746c07ff2