gkunter / coquery

Coquery is a free corpus query tool for linguists, lexicographers, translators, and anybody who wishes to search and analyse a text corpus.
GNU General Public License v3.0
18 stars 4 forks source link

Size of CoqSwitch incorrect #167

Closed gkunter closed 8 years ago

gkunter commented 8 years ago

Originally reported by: gkunter (Bitbucket: gkunter, GitHub: gkunter)


The size of CoqSwitch widgets can sometimes be too big, depending on the screen resolution. It should always have the height of a QRadioButton widget.