Pravesh Sharma 08d250e5ef 1. Fixed issues reported while testing changes for editor preferences. #2659 ... 2. Updated preferences docs.		2025-06-19 16:09:39 +05:30
..
MainMenuFactory.js	Add support for custom roles and role permissions management in pgAdmin. #7310	2025-04-15 11:25:31 +05:30
activity.js	Copyright updated for 2025	2025-01-01 11:26:42 +05:30
browser.js	1. Fixed issues reported while testing changes for editor preferences. #2659	2025-06-19 16:09:39 +05:30
collection.js	Add support for custom roles and role permissions management in pgAdmin. #7310	2025-04-15 11:25:31 +05:30
constants.js	1) Open preferences in a new tab instead of a dialog for better user experience. #6743	2025-06-12 19:03:54 +05:30
events.js	Copyright updated for 2025	2025-01-01 11:26:42 +05:30
heartbeat.js	Copyright updated for 2025	2025-01-01 11:26:42 +05:30
keyboard.js	Copyright updated for 2025	2025-01-01 11:26:42 +05:30
node.js	Added role-based restrictions for editing server connections. #1947	2025-06-10 12:19:41 +05:30
node_ajax.js	Copyright updated for 2025	2025-01-01 11:26:42 +05:30
withCheckPermission.js	Ensure that the server list is alphabetically sorted in the Query Tool/PSQL workspace. #8636	2025-04-15 16:12:49 +05:30