SerenaConfig: Use configuration setting 'language_backend' instead of 'jetbrains'

introducing enum LanguageBackend
This commit is contained in:
Dominik Jain authored and Dominik Jain committed 2025-12-17 12:54:33 +01:00
1 parent 946b0e7d51
commit d410aa9f90
5 files changed
+70 -35

No files matched your search

-1
View File
@@ -25,7 +25,6 @@ if __name__ == "__main__":
serena_config = SerenaConfig.from_config_file()
serena_config.log_level = logging.INFO
serena_config.jetbrains = False
serena_config.gui_log_window_enabled = False
serena_config.web_dashboard = False