opened
pdanpdan
username_0
Widget (search/replace) - input height is too big for font size 10/11
Widget (search/replace) - input height is too big for font size 10/11
issue
created
karelvuong
username_1
Related to #11.
comment
closed
karelvuong
username_1
issue