| Index: src/debug.h
|
| diff --git a/src/debug.h b/src/debug.h
|
| index 150e29e3089afaa642add18f4176e49c27e4bc45..4363df9063feba0e1a5816f290b7c112427440c5 100644
|
| --- a/src/debug.h
|
| +++ b/src/debug.h
|
| @@ -875,7 +875,9 @@ class Debugger {
|
| void set_loading_debugger(bool v) { is_loading_debugger_ = v; }
|
| bool is_loading_debugger() const { return is_loading_debugger_; }
|
| void set_live_edit_enabled(bool v) { live_edit_enabled_ = v; }
|
| - bool live_edit_enabled() const { return live_edit_enabled_; }
|
| + bool live_edit_enabled() const {
|
| + return FLAG_enable_liveedit && live_edit_enabled_ ;
|
| + }
|
| void set_force_debugger_active(bool force_debugger_active) {
|
| force_debugger_active_ = force_debugger_active;
|
| }
|
|
|