Report error when saving of engine settings fails
authorH.G.Muller <hgm@hgm-xboard.(none)>
Fri, 2 Dec 2016 08:00:19 +0000 (09:00 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Fri, 13 Jan 2017 15:39:24 +0000 (16:39 +0100)
commitab6f75e012f36005a85de3bb1c49b9c4e48b026e
tree6b33a0a194590507aa347b82cc13930238e38a7f
parentbcf2f5c3aa7c039f0dca16dd6e4e741b7f184ba2
Report error when saving of engine settings fails

When the current engine was not chosen from the Engine List, or is no
loger in there, we now print a complaint in the message field.
backend.c