stuff

frontend/src/index.jsx

@@ -1805,7 +1805,7 @@ const AppLayout = () => {
       setDeletingWebdavTokenId(tokenId);
       try {
         await api.delete(`/profile/webdav-tokens/${tokenId}`);
-        setWebdavTokens((previous) => previous.filter((entry) => entry.id !== tokenId));
+        await refreshWebdavTokens();
         setStatusMessage('WebDAV token revoked.', 'success');
         return true;
       } catch (error) {
@@ -1815,7 +1815,7 @@ const AppLayout = () => {
         setDeletingWebdavTokenId(null);
       }
     },
-    [api, notifyApiError, setStatusMessage],
+    [api, refreshWebdavTokens, notifyApiError, setStatusMessage],
   );
 
   const dismissCreatedWebdavToken = useCallback(() => {