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; |
} |