mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
debugger source check enabled by default
This commit is contained in:
@@ -207,7 +207,7 @@ debugger.monitor.blocked.threads=true
|
||||
debugger.monitor.blocked.threads.description=Watch if a thread we do stepping in is blocked by another suspended thread
|
||||
debugger.watch.return.speedup=true
|
||||
debugger.watch.return.speedup.description=Reduce watch return values overhead by applying extra filters
|
||||
debugger.check.source=false
|
||||
debugger.check.source=true
|
||||
debugger.check.source.description=Check that source code matches the bytecode
|
||||
|
||||
analyze.exceptions.on.the.fly=false
|
||||
|
||||
Reference in New Issue
Block a user