From 49d673b82d9ebe7a54f16c1c0f02477922325fc3 Mon Sep 17 00:00:00 2001
From: webzwo0i <webzwo0i@c3d2.de>
Date: Sun, 30 Jul 2023 02:41:53 +0200
Subject: [PATCH] plugin uninstall: Remove unnecessary code

---
 src/static/js/admin/plugins.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/static/js/admin/plugins.js b/src/static/js/admin/plugins.js
index 2682448fd..04ccf9583 100644
--- a/src/static/js/admin/plugins.js
+++ b/src/static/js/admin/plugins.js
@@ -263,9 +263,6 @@ $(document).ready(() => {
       alert(`An error occurred while uninstalling the ${data.plugin} \n${data.error}`);
     }
 
-    // remove plugin from installed list
-    $(`#installed-plugins .${data.plugin}`).remove();
-
     window.console.log('before emit getInstalled', new Date())
     socket.emit('getInstalled');