the height of the Stop button, instead of the insane set_size_request() hack. This way the label text gets properly aligned now.