WindowPlacement wpEngineOutput;
WindowPlacement wpGameList;
WindowPlacement wpTags;
+WindowPlacement wpDualBoard;
/* This magic number is the number of intermediate frames used
// [HGM] vari: another hideous kludge: call extend-end first so we can be sure select-start works,
// as the widget is destroyed before the up-click can call extend-end
-char commentTranslations[] = "<Btn3Down>: extend-end() select-start() CommentClick() \n";
+char commentTranslations[] = "<Btn3Down>: extend-end(PRIMARY) select-start() CommentClick() \n";
String xboardResources[] = {
"*Error*translations: #override\\n <Key>Return: ErrorPopDown()",
case ArgString: p = " STR"; break;
case ArgBoolean: p = " TF"; break;
case ArgSettingsFilename:
+ case ArgBackupSettingsFile:
case ArgFilename: p = " FILE"; break;
case ArgX: p = " Nx"; break;
case ArgY: p = " Ny"; break;
if(len) buf[len] = NULLCHAR, printf("%s\n", buf);
}
+void
+SlaveResize (Option *opt)
+{
+}
+
int
main (int argc, char **argv)
{
safeStrCpy(p, best, strlen(best)+1 );
}
if (appData.debugMode) {
- fprintf(debugFP, _("resolved %s at pixel size %d\n to %s\n"),
+ fprintf(debugFP, "resolved %s at pixel size %d\n to %s\n",
pattern, targetPxlSize, p);
}
XFreeFontNames(fonts);