svghmi/widgetlib/simple_text_display.svg
changeset 3885 22a009561502
parent 3736 57bcc9545ca1
equal deleted inserted replaced
3884:34da877021d5 3885:22a009561502