Michael Sloan 441a934d84 Remove unnecessary Option from functions querying buffer outline (#37935) ...

`None` case wasn't being used

Release Notes:

- N/A

2025-09-10 18:21:51 +00:00

..

context_server_registry.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

copy_path_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

create_directory_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

delete_path_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

diagnostics_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

edit_file_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

fetch_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

find_path_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

grep_tool.rs

Remove unnecessary Option from functions querying buffer outline (#37935)

2025-09-10 18:21:51 +00:00

list_directory_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

move_path_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

now_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

open_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

read_file_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

terminal_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

thinking_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00

web_search_tool.rs

agent: Make read_file and edit_file tool call titles more specific (#37639)

2025-09-08 12:57:22 -04:00