Branch: refs/heads/master Home: https://github.com/pgadmin-org/pgadmin4 Commit: 1c44cfb714ec1f6b65ff3a6ff52bfbcf50207dfc https://github.com/pgadmin-org/pgadmin4/commit/1c44cfb714ec1f6b65ff3a6ff52bfbcf50207dfc Author: Pravesh Sharma <pravesh.sha...@enterprisedb.com> Date: 2024-05-15 (Wed, 15 May 2024)
Changed paths: M docs/en_US/debugger.rst M docs/en_US/erd_tool.rst M docs/en_US/images/preferences_browser_display.png M docs/en_US/images/preferences_browser_keyboard_shortcuts.png M docs/en_US/images/preferences_dashboard_refresh.png M docs/en_US/images/preferences_erd_options.png M docs/en_US/images/preferences_paths_binary.png M docs/en_US/images/preferences_sql_display.png M docs/en_US/images/preferences_sql_editor.png M docs/en_US/images/preferences_sql_formatting.png M docs/en_US/images/preferences_sql_results_grid.png M docs/en_US/images/query_editing.png M docs/en_US/keyboard_shortcuts.rst M docs/en_US/preferences.rst M docs/en_US/query_tool_toolbar.rst M web/pgadmin/browser/register_browser_preferences.py M web/pgadmin/browser/static/js/keyboard.js Log Message: ----------- Update the documentation for preferences dialog and keyboard shortcuts. #7349, #7458 To unsubscribe from these emails, change your notification settings at https://github.com/pgadmin-org/pgadmin4/settings/notifications