From 165c4744b0ee239fd804d208b3b33fbae6b52914 Mon Sep 17 00:00:00 2001 From: Dave Page Date: Thu, 5 Jul 2018 09:13:46 +0100 Subject: [PATCH] Correct the runtime options list. --- docs/en_US/desktop_deployment.rst | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/docs/en_US/desktop_deployment.rst b/docs/en_US/desktop_deployment.rst index adca66f11..a12367c26 100644 --- a/docs/en_US/desktop_deployment.rst +++ b/docs/en_US/desktop_deployment.rst @@ -81,13 +81,10 @@ The configuration settings: +==========================+====================+===============================================================+ | ApplicationPath | String | The directory containing pgAdmin4.py | +--------------------------+--------------------+---------------------------------------------------------------+ +| BrowserCommand | String | An alternate command to run instead of the default browser. | ++--------------------------+--------------------+---------------------------------------------------------------+ | ConnectionTimeout | Integer | The number of seconds to wait for application server startup. | +--------------------------+--------------------+---------------------------------------------------------------+ | PythonPath | String | The Python module search path | +--------------------------+--------------------+---------------------------------------------------------------+ -| Browser/Geometry | Binary | The runtime window's size/shape | -+--------------------------+--------------------+---------------------------------------------------------------+ -| Browser/WindowState | Binary | The runtime window's state | -+--------------------------+--------------------+---------------------------------------------------------------+ -| Browser/Zoom | String | The runtime window's zoom level (zoom % / 100) | -+--------------------------+--------------------+---------------------------------------------------------------+ +