@@ -35,6 +35,9 @@ export default function terminalSettings() {
 
 	const terminalValues = values.terminalSettings;
 
+	Executor.setProotDebug(terminalValues.prootDebug);
+	Executor.BackgroundExecutor.setProotDebug(terminalValues.prootDebug);
+
 	const items = [
 		{
 			key: "all_file_access",
Original file line number	Diff line number	Diff line change
`@@ -35,6 +35,9 @@ export default function terminalSettings() {`
`35`	`35`
`36`	`36`	`const terminalValues = values.terminalSettings;`
`37`	`37`
	`38`	`+ Executor.setProotDebug(terminalValues.prootDebug);`
	`39`	`+ Executor.BackgroundExecutor.setProotDebug(terminalValues.prootDebug);`
	`40`	`+`
`38`	`41`	`const items = [`
`39`	`42`	`{`
`40`	`43`	`key: "all_file_access",`