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