X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxboard.c;h=c62f2c3050db3522363cd60bdaff1697132dec91;hb=752697385e80b54b2f18216e1c6a584203f8df82;hp=de5da1228b34bf7ecfa96d726621bc605623273a;hpb=ebd7f78161504e46896f7d96bb41e29714b2fd53;p=xboard.git diff --git a/gtk/xboard.c b/gtk/xboard.c index de5da12..c62f2c3 100644 --- a/gtk/xboard.c +++ b/gtk/xboard.c @@ -1139,7 +1139,7 @@ main (int argc, char **argv) boardWidget = optList[W_BOARD].handle; menuBarWidget = optList[W_MENU].handle; dropMenu = optList[W_DROP].handle; - titleWidget = optList[optList[W_TITLE].type != -1 ? W_TITLE : W_SMALL].handle; + titleWidget = optList[optList[W_TITLE].type != Skip ? W_TITLE : W_SMALL].handle; #ifdef TODO_GTK formWidget = XtParent(boardWidget); XtSetArg(args[0], XtNbackground, &timerBackgroundPixel); @@ -1887,7 +1887,7 @@ PasteGameProc () { gchar *text=NULL; GtkClipboard *cb; - guint len=0; + guint len=0; int flip = appData.flipView; FILE* f; // get game from clipboard @@ -1911,7 +1911,9 @@ PasteGameProc () fclose(f); // load from file + if(!appData.autoFlipView) appData.flipView = flipView; LoadGameFromFile(gamePasteFilename, 0, gamePasteFilename, TRUE); + appData.flipView = flip; return; }