merge: pull request #1035 from DeclanChidlow/server-leave-mobile

This commit is contained in:
Paul Makles 2024-10-16 12:53:00 +01:00 committed by GitHub
commit 86e8424e46
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -38,6 +38,17 @@ export default function ServerInfo({
children: "Edit Identity", children: "Edit Identity",
palette: "primary", palette: "primary",
}, },
{
onClick: () => {
modalController.push({
type: "leave_server",
target: server,
});
return true;
},
children: "Leave Server",
palette: "error",
},
{ {
onClick: () => { onClick: () => {
modalController.push({ modalController.push({