for (uint32_t n=0; n < wcnt; ++n) {
gdouble ht;
- if ((height) < NAME_HIGHLIGHT_THRESH) {
+ if ((height) <= NAME_HIGHLIGHT_THRESH) {
ht = ((height-2*wcnt) / (double) wcnt);
} else {
ht = (((height-2*wcnt) - NAME_HIGHLIGHT_SIZE) / (double) wcnt);
hSmaller = req.height + extra_height;
+ cerr << "hSmaller = " << hSmaller << endl;
+
window.remove ();
window.add (two_row_table);
NAME_HIGHLIGHT_SIZE = height + 6;
NAME_HIGHLIGHT_THRESH = NAME_HIGHLIGHT_SIZE * 2;
+ cerr << "name highlight threshold = " << NAME_HIGHLIGHT_THRESH << endl;
+
have_name_font = true;
}