[Bug 222728] New: "save solver testcase" success dialog: buttons not translated