Skip to content

Added support to customize query tool edit menu keyboard shortcuts. #2659#8838

Merged
akshay-joshi merged 6 commits into
pgadmin-org:masterfrom
pravesh-sharma:GH-2659
Jun 13, 2025
Merged

Added support to customize query tool edit menu keyboard shortcuts. #2659#8838
akshay-joshi merged 6 commits into
pgadmin-org:masterfrom
pravesh-sharma:GH-2659

Conversation

@pravesh-sharma

Copy link
Copy Markdown
Contributor

No description provided.

@pravesh-sharma pravesh-sharma force-pushed the GH-2659 branch 2 times, most recently from f90e146 to c200495 Compare June 10, 2025 10:05

@yogeshmahajan-1903 yogeshmahajan-1903 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

1.Go to line shortcuts is missing on UI.
2.Cases for the all char keys should be either lower or upper. Is it case sensitive?

@pravesh-sharma

Copy link
Copy Markdown
Contributor Author

1.Go to line shortcuts is missing on UI. 2.Cases for the all char keys should be either lower or upper. Is it case sensitive?

Fixed

Comment thread web/pgadmin/static/js/components/ReactCodeMirror/index.jsx Outdated
Comment thread web/pgadmin/tools/sqleditor/static/js/components/sections/Query.jsx Outdated
Comment thread web/pgadmin/tools/sqleditor/static/js/components/sections/Query.jsx Outdated
@akshay-joshi akshay-joshi merged commit cda498f into pgadmin-org:master Jun 13, 2025
30 of 32 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants