// }
bindtextdomain(PACKAGE, LOCALEDIR);
+ bind_textdomain_codeset(PACKAGE, "UTF-8"); // needed when creating markup for the clocks
textdomain(PACKAGE);
#endif
//printf("start size (%d,%d), %dx%d\n", a.x, a.y, w, h);
gtk_widget_get_allocation(boardWidget, &a);
marginW = w - boardWidth; // [HGM] needed to set new shellWidget size when we resize board
- marginH = h - a.height;
+ marginH = h - a.height + 13;
gtk_window_resize(GTK_WINDOW(shellWidget), marginW + boardWidth, marginH + boardHeight);
//printf("margins h=%d v=%d\n", marginW, marginH);
}