The search functionality needs JavaScript enabled
returns current height of widget in pixels
height
int height() @property;
Vadim Lopatin, coolreader.org@gmail.com
Vadim Lopatin, 2015
Boost License 1.0