mirror of
https://github.com/tiennm99/serena.git
synced 2026-10-12 04:14:08 +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)