From 9734d57ff36cb622c19d8a79d9330fe3535612d3 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Fri, 8 Oct 2021 12:15:37 +0200
Subject: [PATCH] rerun filter after toggling an extension

---
 views/bootstrap/class.ExtensionMgr.php | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/views/bootstrap/class.ExtensionMgr.php b/views/bootstrap/class.ExtensionMgr.php
index 9361c54ae..4d296562c 100644
--- a/views/bootstrap/class.ExtensionMgr.php
+++ b/views/bootstrap/class.ExtensionMgr.php
@@ -89,6 +89,13 @@ class SeedDMS_View_ExtensionMgr extends SeedDMS_Theme_Style {
 				});
 			});
 		});
+		/* This function is called after the list of installed extension is updated */
+		function filterList() {
+			var value = $("#extensionfilter").val().toLowerCase();
+			$("#extensionlist tbody tr").filter(function() {
+				$(this).toggle($(this).text().toLowerCase().indexOf(value) > -1)
+			});
+		}
 <?php
 
 		$this->printFileChooserJs();
@@ -281,7 +288,7 @@ class SeedDMS_View_ExtensionMgr extends SeedDMS_Theme_Style {
 		<div class="tab-content">
 			<div class="tab-pane <?php if(!$currenttab || $currenttab == 'installed') echo 'active'; ?>" id="installed" role="tabpanel">
 			<input id="extensionfilter" class="form-control" type="text" placeholder="<?= getMLText('type_to_filter'); ?>">
-	<div class="ajax" data-view="ExtensionMgr" data-action="installedList"></div>
+	<div class="ajax" data-view="ExtensionMgr" data-action="installedList" data-afterload="()=>{filterList();}"></div>
 <?php
 //		$this->installedList();
 ?>