Also a font size selector might be a very good idea in the widget settings, at the moment it takes quite a bit of space with certain operator replies and it would be nice to be able to reduce the size.