Added a way to switch off tools you never need (#1115)

This commit is contained in:
Thorsten Sommer authored and GitHub committed 2026-10-27 08:48:52 +01:00
1 parent dcba62b45c
commit 04546c25ac
31 files changed
+638 -37

No files matched your search

@@ -37,6 +37,11 @@ public enum ToolOfferBlockReason
/// </summary>
TOOL_SWITCHED_OFF,
/// <summary>
/// The user switched this tool off in the tool settings, because they never need it.
/// </summary>
TOOL_SWITCHED_OFF_BY_USER,
/// <summary>
/// A setting the tool cannot work without is missing or invalid.
/// </summary>