From 25db8275a08ee6a6498a0dfdb6d23c3f8786681a Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Thu, 8 Jan 2026 15:33:55 +0100 Subject: [PATCH] JetBrainsPluginClient.find_symbol: Change new flag defaults to False --- src/serena/tools/jetbrains_plugin_client.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/serena/tools/jetbrains_plugin_client.py b/src/serena/tools/jetbrains_plugin_client.py index c5199814..2ce17a55 100644 --- a/src/serena/tools/jetbrains_plugin_client.py +++ b/src/serena/tools/jetbrains_plugin_client.py @@ -176,9 +176,9 @@ class JetBrainsPluginClient(ToStringMixin): name_path: str, relative_path: str | None = None, include_body: bool = False, - include_quick_info: bool = True, + include_quick_info: bool = False, include_documentation: bool = False, - include_num_usages: bool = True, + include_num_usages: bool = False, depth: int = 0, include_location: bool = False, search_deps: bool = False,