svghmi/widgetlib/simple_text_display.svg
branchpython3
changeset 3780 fdd7f9938e59
parent 3736 57bcc9545ca1
equal deleted inserted replaced
3779:31c9409a5841 3780:fdd7f9938e59