Team Ai
Datasetpublic

codekingpro/portable-devtools

sourceHugging Faceupdated 5mo agoView on Hugging Face
1likes15kdownloads
configure.html82 linesDownload Raw Back to html
1<!DOCTYPE html>2<html lang="en">3<head>4  <meta charset="UTF-8">5  <meta name="viewport" content="width=device-width, initial-scale=1.0">6  <meta http-equiv="X-UA-Compatible" content="ie=edge">7  <title>pgAdmin 4 Configuration</title>8  <link rel="stylesheet" href="../css/pgadmin-desktop.css"/>9  <style>10    body, html {11      font-size: 14px;12      background-color: #ebeef3;13    }14    @media screen and (forced-colors: active) {15      body {16        forced-color-adjust: none !important;17      }18    }19  </style>20</head>21<body>22  <div class="card shadow-sm">23    <div class="card-header h6">Fixed Port</div>24    <div class="card-body">25      <div class="form-group">26        <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>27      </div>28      <div class="form-inline">29        <div class="form-check mr-3">30          <label class="form-check-label mr-2" for="fixedPortCheck">Fixed port number?</label>31          <input type="checkbox" class="form-check-input" id="fixedPortCheck"32            data-name="fixed_port"/>33        </div>34        <div class="form-group">35          <label class="mr-1" for="portNo">Port Number</label>36          <input type="number" class="form-control" id="portNo" min="1025" max="65535" value="5050" style="min-width: 100px;">37        </div>38      </div>39    </div>40  </div>41  <div class="card shadow-sm mt-3">42    <div class="card-header h6">Connection Timeout</div>43    <div class="card-body">44      <div class="form-group">45        <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.46        </label>47      </div>48      <div class="form-inline">49        <div class="form-group">50          <label class="mr-2">Timeout</label>51          <input type="number" class="form-control" id="timeOut" min="10" max="600" value="90" style="min-width: 80px;">52          <label class="ml-1">seconds</label>53        </div>54      </div>55    </div>56  </div>57  <div class="card shadow-sm mt-3">58    <div class="card-header h6">Open Documentation</div>59    <div class="card-body">60      <div class="form-group">61        <label>By checking this option, all documentation links will open in the default browser instead of a new window.62        </label>63      </div>64      <div class="form-inline">65        <div class="form-check mr-3">66          <label class="form-check-label mr-2" for="fixedPortCheck">Open Documentation in Default Browser?</label>67          <input type="checkbox" class="form-check-input" id="openDocsInBrowser"68            data-name="open_docs_in_browser"/>69        </div>70      </div>71    </div>72  </div>73  <div class="p-2 d-flex fixed-bottom shadow bg-white">74    <div class="mr-auto" id="status-text"></div>75    <div class="ml-auto">76      <button id="btnSave" type="submit" class="btn btn-primary" disabled>Save</button>77    </div>78  </div>79  <script type="text/javascript" src="../js/configure.js"></script>80</body>81</html>82 
codekingpro/portable-devtools · Team Ai