diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index ce9097f8e954..908c96bb142b 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -1288,11 +1288,6 @@ cidr.debugger.gdb.interrupt.signal.description=Signal to use to interrupt debugg The specified signal is intercepted by GDB and not delivered to the debugged program.\n\ This option only affects GDB running on Unix systems; on Windows, SIGINT is used unconditionally. -cidr.debugger.gdb.forceMIAsync=false -cidr.debugger.gdb.forceMIAsync.description=Enable to force the asynchronous GDB MI mode (mi-async or target-async). \ - This can be used to workaround various issues when the IDE is unable to send the SIGINT signal to a debugged program for some reason. \n\ - Note that remote debugging with gdbserver always uses MI async, regardless of this option. - cidr.debugger.gdb.workaround.macOS.startupWithShell=true cidr.debugger.gdb.workaround.macOS.startupWithShell.description=Enable to use "set startup-with-shell off" workaround \ to make GDB work on macOS Sierra and higher.\n\