mirror of
https://github.com/tiennm99/serena.git
synced 2026-10-20 08:15:02 +00:00
This removes the discrepancy with the configuration file (where it was always gui_log_window)
This removes the discrepancy with the configuration file (where it was always gui_log_window)