X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk-interface.xml;fp=gtk-interface.xml;h=7a2cf7e57c6d0ac271e05a21aafe0cd6a442cf31;hb=fe5ba22edf2cb7c260ecf17c7f095f0bc3e1b0a3;hp=64cb5935f4ee2cc32016edd6e8a2f15c995b43e8;hpb=5514b4ae4147a322cb8c818e8bf25a785f881cc9;p=xboard.git diff --git a/gtk-interface.xml b/gtk-interface.xml index 64cb593..7a2cf7e 100644 --- a/gtk-interface.xml +++ b/gtk-interface.xml @@ -868,9 +868,9 @@ - + True - Show Thinking + Hide Thinking True