Added `debugger.allowediting` option to allow editing while debugging.