mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Port the remaining components of the ERD Tool to React. Fixes #7343
1. Make use of MUI styles and remove SCSS. 2. Use the new common components for buttons and tooltips, so that they are consistent. 3. UI design should be aligned with the query tool. 4. Remove tippyjs and Alertify dependencies.
This commit is contained in:
committed by
Akshay Joshi
parent
1d0ac0f7dc
commit
0f46f070ed
@@ -379,7 +379,7 @@ module.exports = [{
|
||||
slickgrid: sourceDir + '/bundle/slickgrid.js',
|
||||
sqleditor: './pgadmin/tools/sqleditor/static/js/index.js',
|
||||
schema_diff: './pgadmin/tools/schema_diff/static/js/schema_diff_hook.js',
|
||||
erd_tool: './pgadmin/tools/erd/static/js/erd_tool_hook.js',
|
||||
erd_tool: './pgadmin/tools/erd/static/js/index.js',
|
||||
psql_tool: './pgadmin/tools/psql/static/js/index.js',
|
||||
debugger: './pgadmin/tools/debugger/static/js/index.js',
|
||||
'pgadmin.style': pgadminCssStyles,
|
||||
@@ -546,7 +546,7 @@ module.exports = [{
|
||||
'pure|pgadmin.tools.schema_diff',
|
||||
'pure|pgadmin.tools.file_manager',
|
||||
'pure|pgadmin.tools.search_objects',
|
||||
'pure|pgadmin.tools.erd_module',
|
||||
'pure|pgadmin.tools.erd',
|
||||
'pure|pgadmin.tools.psql_module',
|
||||
'pure|pgadmin.tools.sqleditor',
|
||||
'pure|pgadmin.misc.cloud',
|
||||
|
Reference in New Issue
Block a user