pgadmin4/docs/en_US/developer_tools.rst

.. _developer_tools:

************************
`Developer Tools`:index:
************************

The pgAdmin *Tools* menu displays a list of powerful developer tools that you
can use to execute and analyze complex SQL commands, manage data, and debug
PL/SQL code.

.. toctree::
   :maxdepth: 2

   debugger
   query_tool
   editgrid
   schema_diff
Doc restructuring 2016-06-21 08:06:44 +00:00			`.. _developer_tools:`

Fix documentation indexing. 2018-06-15 08:14:12 +00:00			`************************`
			`Developer Tools`:index:
			`************************`
Doc restructuring 2016-06-21 08:06:44 +00:00
Major doc cleanup: - Reformat source so it's wrapped. - Standardise markup. - Center images. - Restructure in various places to improve the indexing. - Remove duplicated Query Tool toolbar descriptions. - Ensure the structure works in both HTML and LaTeX. 2019-03-08 15:29:05 +00:00			`The pgAdmin Tools menu displays a list of powerful developer tools that you`
			`can use to execute and analyze complex SQL commands, manage data, and debug`
			`PL/SQL code.`
Doc restructuring 2016-06-21 08:06:44 +00:00
			`.. toctree::`
Major doc cleanup: - Reformat source so it's wrapped. - Standardise markup. - Center images. - Restructure in various places to improve the indexing. - Remove duplicated Query Tool toolbar descriptions. - Ensure the structure works in both HTML and LaTeX. 2019-03-08 15:29:05 +00:00			`:maxdepth: 2`

Doc restructuring 2016-06-21 08:06:44 +00:00			`debugger`
			`query_tool`
Update query tool docs. 2017-12-11 12:01:54 +00:00			`editgrid`
Documentation of the Schema Diff feature. Fixes #5026 2020-02-03 11:38:28 +00:00			`schema_diff`