From 1969360a098c5e4fc45e1d75c8e8e678de152b7b Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Wed, 2 Jul 2025 17:22:55 +0200 Subject: [PATCH] Improve comments --- src/serena/agent.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/serena/agent.py b/src/serena/agent.py index 91c6aa9c..71b09ca4 100644 --- a/src/serena/agent.py +++ b/src/serena/agent.py @@ -347,9 +347,9 @@ class SerenaConfig: project = Project.load(path) instance.projects.append(project) - # Force disable GUI in Docker environment + # set other configuration parameters if is_running_in_docker(): - instance.gui_log_window_enabled = False + instance.gui_log_window_enabled = False # not supported in Docker else: instance.gui_log_window_enabled = loaded_commented_yaml.get("gui_log_window", False) instance.log_level = loaded_commented_yaml.get("log_level", loaded_commented_yaml.get("gui_log_level", logging.INFO))