svghmi/widgetlib/simple_text_display.svg
changeset 3970 d73a477237ef
parent 3736 57bcc9545ca1
equal deleted inserted replaced
3969:22870ae8d8e1 3970:d73a477237ef