File size: 222 Bytes
bdbd3b2
 
 
 
 
1
2
3
4
5
6
/**
 * The tools whose success means Claude changed a file: the pane's open
 * trigger and a refresh (fileHistory's `track` ops in the built-in).
 */
export const EDITING_TOOLS = ['Edit', 'Write', 'NotebookEdit'] as const