IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Added Quick Search functionality for menu items and help articles. Fixes #6148

Browse Source
This commit is contained in:
Pramod Ahire
2021-02-02 14:47:58 +05:30
committed by Akshay Joshi
parent f7214b7cfe
commit b948f43dda
36 changed files with 877 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
web/webpack.config.js
View File

@@ -422,6 +422,7 @@ module.exports = [{
use: {
loader: 'imports-loader?' +
'pgadmin.dashboard' +
',pgadmin.browser.quick_search' +
',pgadmin.tools.user_management' +
',pgadmin.browser.object_statistics' +
',pgadmin.browser.dependencies' +