config.accept_bounds (lowerbound / upperbound)

rooklift · Apr 25, 2022 · 463bf43 · 463bf43
1 parent 9206f6b
commit 463bf43
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 4 deletions.
diff --git a/src/80_info.js b/src/80_info.js
@@ -115,7 +115,7 @@ let info_receiver_props = {
 
 		let board = node.board;
 
-		if (s.startsWith("info") && s.includes(" pv ") && !s.includes("lowerbound") && !s.includes("upperbound")) {
+		if (s.startsWith("info") && s.includes(" pv ") && ((!s.includes("lowerbound") && !s.includes("upperbound")) || config.accept_bounds)) {
 
 			if (config.log_info_lines) Log("< " + s);
 

diff --git a/src/main.js b/src/main.js
@@ -3981,9 +3981,6 @@ function menu_build() {
 								});
 							}
 						},
-						{
-							type: "separator"
-						},
 						{
 							label: "Allow stopped analysis",
 							type: "checkbox",
@@ -4017,6 +4014,17 @@ function menu_build() {
 								});
 							}
 						},
+						{
+							label: "Use lowerbound / upperbound info",
+							type: "checkbox",
+							checked: config.accept_bounds,
+							click: () => {
+								win.webContents.send("call", {
+									fn: "toggle",
+									args: ["accept_bounds"],
+								});
+							}
+						},
 					]
 				},
 				{

diff --git a/src/modules/config_io.js b/src/modules/config_io.js
@@ -55,6 +55,7 @@ exports.defaults = {
 	"focus_on_text": "focused:",
 	"focus_off_text": "focus?",
 
+	"accept_bounds": false,
 	"max_info_lines": null,						// Hidden option
 
 	"bad_move_threshold": 0.02,