Pravesh Sharma b51eef12b7 Add an object menu option to disconnect all server and database connections. #1984		2024-11-06 15:52:31 +05:30
..
overrides	Add an object menu option to disconnect all server and database connections. #1984	2024-11-06 15:52:31 +05:30
dark.js	Improve code highlighting in query editor. #7748	2024-08-14 16:48:51 +05:30
high_contrast.js	Improve code highlighting in query editor. #7748	2024-08-14 16:48:51 +05:30
index.jsx	Fix one more styling issue broken due to JSS changes. #7363	2024-06-24 10:44:05 +05:30
light.js	Improve code highlighting in query editor. #7748	2024-08-14 16:48:51 +05:30