fix: filter out the enable extension tool in the ui as it should always ask for permission (#2186)

This commit is contained in:
Yingjie He
2025-04-14 13:28:47 -07:00
committed by GitHub
parent 38b0b45063
commit 1abbd394ed
3 changed files with 22 additions and 18 deletions
@@ -32,7 +32,10 @@ export default function PermissionModal({ extensionName, onClose }: PermissionMo
if (response.error) {
console.error('Failed to get tools');
} else {
setTools(response.data || []);
const filteredTools = (response.data || []).filter(
(tool) => tool.name !== 'platform__enable_extension'
);
setTools(filteredTools);
}
} catch (err) {
console.error('Error fetching tools:', err);