diff --git a/plugins/tables-filter.php b/plugins/tables-filter.php index f625235f..63b55923 100644 --- a/plugins/tables-filter.php +++ b/plugins/tables-filter.php @@ -8,7 +8,7 @@ */ class AdminerTablesFilter { function tablesPrint($tables) { ?> -

+

$type) { @@ -30,6 +30,9 @@ function tablesFilter(){ var reg = (value + '').replace(/([\\\.\+\*\?\[\^\]\$\(\)\{\}\=\!\<\>\|\:])/g, '\\$1'); reg = new RegExp('('+ reg + ')', 'gi'); } + if (sessionStorage) { + sessionStorage.setItem('adminer_tables_filter', value); + } var tables = document.getElementById('tables').getElementsByTagName('span'); for (var i = 0; i < tables.length; i++) { var a = tables[i].getElementsByTagName('a')[1]; @@ -49,8 +52,14 @@ function tablesFilterInput() { tablesFilterTimeout = window.setTimeout(tablesFilter, 200); } -if (document.getElementById('filter-field').value){ - tablesFilter(); +if (sessionStorage){ + var db = document.getElementById('dbs').getElementsByTagName('select')[0]; + db = db.options[db.selectedIndex].text; + if (db == sessionStorage.getItem('adminer_tables_filter_db') && sessionStorage.getItem('adminer_tables_filter')){ + document.getElementById('filter-field').value = sessionStorage.getItem('adminer_tables_filter'); + tablesFilter(); + } + sessionStorage.setItem('adminer_tables_filter_db', db); }