if(appData.overrideLineGap >= 0) lineGap = appData.overrideLineGap;
boardWidth = lineGap + BOARD_WIDTH * (squareSize + lineGap);
boardHeight = lineGap + BOARD_HEIGHT * (squareSize + lineGap);
-fprintf(debugFP, "BOARD %d x %d\n",boardWidth, boardHeight);
+
if(boardWidth != oldWidth || boardHeight != oldHeight) { // do resizing stuff only if size actually changed
oldWidth = boardWidth; oldHeight = boardHeight;
}
static void
-MenuBarSelect (Widget w, caddr_t addr, caddr_t index)
-{
- MenuProc *proc = (MenuProc *) addr;
-
- (proc)();
-}
-
-static void
MenuEngineSelect (Widget w, caddr_t addr, caddr_t index)
{
RecentEngineEvent((int) (intptr_t) addr);