pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Some minor string improvements.

pull/5616/head
Dave Page 2022-12-06 14:50:26 +00:00
parent 4cfcda5d2f
commit 582c480611
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
runtime/src/html/configure.html
View File

@ -23,7 +23,7 @@
<div class="card-header h6">Fixed Port</div>
<div class="card-body">
<div class="form-group">
<label>By default, the pgAdmin 4 uses a random port number to ensure it can always run successfully. If you need to use a predictable port number, you can set one here. Note that if the port is already in use, the application will be unable to start.</label>
<label>By default, pgAdmin uses a random port number to ensure it can always run successfully. If you need to use a predictable port number, you can set one here. Note that if the port is already in use, the application will be unable to start.</label>
</div>
<div class="form-inline">
<div class="form-check mr-3">
@ -42,7 +42,7 @@
<div class="card-header h6">Connection Timeout</div>
<div class="card-body">
<div class="form-group">
<label>Connection Timeout will define how long to wait for pgAdmin to start before throwing the error. By default, pgAdmin wait for 90 seconds.
<label>Connection Timeout will define how long to wait for the pgAdmin server to start before throwing an error. By default, pgAdmin will wait for 90 seconds.
</label>
</div>
<div class="form-inline">
@ -58,7 +58,7 @@
<div class="card-header h6">Open Documentation</div>
<div class="card-body">
<div class="form-group">
<label> By checking this option, all documentation links will open in the default browser instead of in a new window.
<label>By checking this option, all documentation links will open in the default browser instead of a new window.
</label>
</div>
<div class="form-inline">