// Settings — global preferences. One scrollable page with grouped settings.
function Settings() {
React.useEffect(() => { requestAnimationFrame(() => window.lucide && window.lucide.createIcons()); });
const [tab, setTab] = React.useState('general');
return (
{tab === 'general' &&
}
{tab === 'appearance' &&
}
{tab === 'agent' &&
}
{tab === 'permissions' &&
}
{tab === 'account' &&
}
{tab === 'advanced' &&
}
);
}
function GeneralTab() {
return <>
~/Projects} />
} />
} last />
} />
} />
} last />
Install 0.15.0} last />
>;
}
function AppearanceTab() {
return <>
} />
{['#C25A2A','#A8741F','#7E5BA9','#3F8A6E','#3F6BA9','#1F1B16'].map((c,i) =>
)}
} last />
} />
} last />
>;
}
function AgentTab() {
return <>
} />
} />
} last />
} />
} />
} last />
>;
}
function PermissionsTab() {
return <>
auto} />
approve} />
approve} />
auto} last />
Edit} />
Edit} />
New} last />
>;
}
function AccountTab() {
return <>
Sign out} last />
Manage} />
} last />
Reset} />
Delete} last />
>;
}
function AdvancedTab() {
return <>
} />
} last />
} />
} last />
Manage} />
Clear} last />
>;
}
window.Settings = Settings;