X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk-interface.xml;h=8cebc1335ac5cef166d3b6ee948c5d417602edf6;hb=8a25cc70afe43a774d68bd1e78a5ce63a1031ceb;hp=3b2f98675622a497c210186d10aab131e582ab8f;hpb=585fc255780c435342bccf7edf2aba86bdf945ac;p=xboard.git diff --git a/gtk-interface.xml b/gtk-interface.xml index 3b2f986..8cebc13 100644 --- a/gtk-interface.xml +++ b/gtk-interface.xml @@ -32,7 +32,7 @@ vertical 2 - + True True automatic @@ -44,8 +44,12 @@ GDK_BUTTON_PRESS_MASK | GDK_KEY_RELEASE_MASK | GDK_STRUCTURE_MASK MoveHistoryStore False + True False 0 + True + + Move @@ -91,7 +95,7 @@ True end - + gtk-close True True @@ -115,7 +119,7 @@ - CloseButton + CloseButton-movehistory @@ -1384,7 +1388,7 @@ vertical 2 - + True True automatic @@ -1421,7 +1425,7 @@ True end - + Load True True @@ -1434,7 +1438,7 @@ - + Prev True True @@ -1447,7 +1451,7 @@ - + Next True True @@ -1460,7 +1464,7 @@ - + gtk-close True True @@ -1483,10 +1487,10 @@ - LoadButton - PrevButton - NextButton - CloseButton + LoadButton-GameList + PrevButton-GameList + NextButton-GameList + CloseButton-GameList