graphdb-workbench 10.0.0-M2-1 → 10.5.1

package/dist/res/sparql/keyboard-shortcuts.html

@@ -38,7 +38,7 @@
                         <td class="hotkeys-keys">
                             <kbd>[Ctrl|Cmd]-Alt-Up</kbd>
                         </td>
-                        <td class="hotkeys-text">Copy line up</td>
+                        <td class="hotkeys-text">{{'sparql.shortcuts.copy.line.up' | translate}}</td>
                     </tr>
                     <tr>
                         <td class="hotkeys-keys">
@@ -70,6 +70,12 @@
                         </td>
                         <td class="hotkeys-text">{{'sparql.shortcuts.execute.explain.plan' | translate}}</td>
                     </tr>
+                    <tr>
+                        <td class="hotkeys-keys">
+                            <kbd>Alt-[Ctrl|Cmd]-Enter</kbd>
+                        </td>
+                        <td class="hotkeys-text">{{'sparql.shortcuts.execute.explain-gpt.plan' | translate}}</td>
+                    </tr>
                     <tr>
                         <td class="hotkeys-keys">
                             <kbd>[Ctrl|Cmd]-Alt-T</kbd>

package/dist/res/swagger/css/onto-theme.css

@@ -0,0 +1,8 @@
+body {
+    font-family: var(--main-font);
+    font-weight: var(--main-font-weight);
+}
+
+code, pre, kbd, samp, textarea {
+    font-family: var(--mono-font);
+}

package/dist/res/swagger/css/reset.css

@@ -84,9 +84,8 @@ video {
   padding: 0;
   border: 0;
   font-size: 100%;
-    font-family: 'RubikWeb', -apple-system,'BlinkMacSystemFont','Segoe UI','Roboto','Helvetica Neue','Arial',sans-serif !important;
   vertical-align: baseline;
-    font-weight: normal !important;
+  font-weight: normal !important;
 }
 /* HTML5 display-role reset for older browsers */
 article,

package/dist/res/swagger/css/screen.css

@@ -183,7 +183,6 @@
 }
 .swagger-section .swagger-ui-wrap {
   line-height: 1;
-  font-family: "Droid Sans", sans-serif;
   min-width: 760px;
   /* max-width: 960px; */
   margin-left: auto;
@@ -192,7 +191,6 @@
 }
 .swagger-section .swagger-ui-wrap b,
 .swagger-section .swagger-ui-wrap strong {
-  font-family: "Droid Sans", sans-serif;
   font-weight: bold;
 }
 .swagger-section .swagger-ui-wrap q,
@@ -307,7 +305,7 @@
   display: block;
 }
 .swagger-section .swagger-ui-wrap pre {
-  font-family: "Anonymous Pro", "Menlo", "Consolas", "Bitstream Vera Sans Mono", "Courier New", monospace;
+  font-family: var(--mono-font);
   background-color: #fcf6db;
   border: 1px solid #e5e0c6;
   padding: 10px;
@@ -396,7 +394,6 @@
   width: 100%;
 }
 .swagger-section .swagger-ui-wrap .model-signature {
-  font-family: "Droid Sans", sans-serif;
   font-size: 1em;
   line-height: 1.5em;
 }
@@ -514,7 +511,7 @@
 }
 .swagger-section .swagger-ui-wrap .markdown p code,
 .swagger-section .swagger-ui-wrap .markdown li code {
-  font-family: "Anonymous Pro", "Menlo", "Consolas", "Bitstream Vera Sans Mono", "Courier New", monospace;
+  font-family: var(--mono-font);
   background-color: #f0f0f0;
   color: black;
   padding: 1px 3px;
@@ -523,7 +520,7 @@
   font-weight: bold;
 }
 .swagger-section .swagger-ui-wrap .editor_holder {
-  font-family: "Anonymous Pro", "Menlo", "Consolas", "Bitstream Vera Sans Mono", "Courier New", monospace;
+  font-family: var(--mono-font);
   font-size: 0.9em;
 }
 .swagger-section .swagger-ui-wrap .editor_holder label {
@@ -542,7 +539,6 @@
   font-size: 1.5em;
   line-height: 1.3em;
   padding: 10px 0 10px 0;
-  font-family: "Droid Sans", sans-serif;
   font-weight: bold;
 }
 .swagger-section .swagger-ui-wrap .heading_with_menu {
@@ -591,10 +587,9 @@
   vertical-align: middle;
 }
 .swagger-section .swagger-ui-wrap .code {
-  font-family: "Anonymous Pro", "Menlo", "Consolas", "Bitstream Vera Sans Mono", "Courier New", monospace;
+  font-family: var(--mono-font);
 }
 .swagger-section .swagger-ui-wrap form.formtastic fieldset.inputs ol li.text textarea {
-  font-family: "Droid Sans", sans-serif;
   height: 250px;
   padding: 4px;
   display: block;
@@ -659,7 +654,7 @@
   color: #666666;
 }
 .swagger-section .swagger-ui-wrap .markdown pre {
-  font-family: "Anonymous Pro", "Menlo", "Consolas", "Bitstream Vera Sans Mono", "Courier New", monospace;
+  font-family: var(--mono-font);
   background-color: #fcf6db;
   border: 1px solid #e5e0c6;
   padding: 10px;
@@ -673,7 +668,6 @@
   margin: 20px 0 25px 0 !important;
 }
 .swagger-section .swagger-ui-wrap ul#resources {
-  font-family: "Droid Sans", sans-serif;
   font-size: 0.9em;
 }
 .swagger-section .swagger-ui-wrap ul#resources li.resource {
@@ -746,7 +740,6 @@
   display: block;
   clear: none;
   float: left;
-  font-family: "Droid Sans", sans-serif;
   font-weight: bold;
 }
 .swagger-section .swagger-ui-wrap ul#resources li.resource div.heading h2 a {
@@ -895,7 +888,7 @@
   max-width: 300px;
 }
 .swagger-section .swagger-ui-wrap ul#resources li.resource ul.endpoints li.endpoint ul.operations li.operation div.content div.response div.block pre {
-  font-family: "Anonymous Pro", "Menlo", "Consolas", "Bitstream Vera Sans Mono", "Courier New", monospace;
+  font-family: var(--mono-font);
   padding: 10px;
   font-size: 0.9em;
   max-height: 400px;
@@ -1121,7 +1114,6 @@
   padding: 10px 0;
   font-size: 0.8em;
   border-top: 1px solid #dddddd;
-  font-family: "Droid Sans", sans-serif;
   color: #999999;
   font-style: italic;
 }
@@ -1136,7 +1128,6 @@
 }
 .swagger-section .swagger-ui-wrap .markdown ol,
 .swagger-section .swagger-ui-wrap .markdown ul {
-  font-family: "Droid Sans", sans-serif;
   margin: 5px 0 10px;
   padding: 0 0 0 18px;
   list-style-type: disc;

package/dist/res/swagger/index.html

@@ -3,35 +3,37 @@
 <head>
     <meta charset="UTF-8">
     <title>Swagger UI</title>
-    <link rel="icon" type="image/png" href="images/favicon-32x32.png?v=10.0.0-M2-1" sizes="32x32"/>
-    <link rel="icon" type="image/png" href="images/favicon-16x16.png?v=10.0.0-M2-1" sizes="16x16"/>
-    <link href='css/typography.css?v=10.0.0-M2-1' media='screen' rel='stylesheet' type='text/css'/>
-    <link href='css/reset.css?v=10.0.0-M2-1' media='screen' rel='stylesheet' type='text/css'/>
-    <link href='css/screen.css?v=10.0.0-M2-1' media='screen' rel='stylesheet' type='text/css'/>
-    <link href='css/reset.css?v=10.0.0-M2-1' media='print' rel='stylesheet' type='text/css'/>
-    <link href='css/print.css?v=10.0.0-M2-1' media='print' rel='stylesheet' type='text/css'/>
+    <link rel="icon" type="image/png" href="images/favicon-32x32.png?v=10.5.1" sizes="32x32"/>
+    <link rel="icon" type="image/png" href="images/favicon-16x16.png?v=10.5.1" sizes="16x16"/>
+    <link href='../../css/common.css?v=10.5.1' media='screen' rel='stylesheet' type='text/css'/>
+    <link href='css/reset.css?v=10.5.1' media='screen' rel='stylesheet' type='text/css'/>
+    <link href='css/screen.css?v=10.5.1' media='screen' rel='stylesheet' type='text/css'/>
+    <link href='css/onto-theme.css?v=10.5.1' media='screen' rel='stylesheet' type='text/css'/>
+    <link href='css/reset.css?v=10.5.1' media='print' rel='stylesheet' type='text/css'/>
+    <link href='css/print.css?v=10.5.1' media='print' rel='stylesheet' type='text/css'/>
+    <link href='css/onto-theme.css?v=10.5.1' media='print' rel='stylesheet' type='text/css'/>
 
-    <script src='lib/object-assign-pollyfill.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='lib/jquery-3.4.1.min.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='lib/jquery.slideto.min.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='lib/jquery.wiggle.min.js?v=10.0.0-M2-1' type='text/javascript'></script>
+    <script src='lib/object-assign-pollyfill.js?v=10.5.1' type='text/javascript'></script>
+    <script src='lib/jquery-3.4.1.min.js?v=10.5.1' type='text/javascript'></script>
+    <script src='lib/jquery.slideto.min.js?v=10.5.1' type='text/javascript'></script>
+    <script src='lib/jquery.wiggle.min.js?v=10.5.1' type='text/javascript'></script>
 
-    <script src="lib/jquery-migrate-1.4.1.min.js?v=10.0.0-M2-1"></script>
-    <script src='lib/jquery.ba-bbq.min.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='lib/handlebars.min-v4.7.3.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='lib/lodash.min.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='lib/backbone-min.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='swagger-ui.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='lib/highlight.9.1.0.pack.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='lib/highlight.9.1.0.pack_extended.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='lib/jsoneditor.min.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='lib/marked.js?v=10.0.0-M2-1' type='text/javascript'></script>
-    <script src='lib/swagger-oauth.js?v=10.0.0-M2-1' type='text/javascript'></script>
+    <script src="lib/jquery-migrate-1.4.1.min.js?v=10.5.1"></script>
+    <script src='lib/jquery.ba-bbq.min.js?v=10.5.1' type='text/javascript'></script>
+    <script src='lib/handlebars.min-v4.7.3.js?v=10.5.1' type='text/javascript'></script>
+    <script src='lib/lodash.min.js?v=10.5.1' type='text/javascript'></script>
+    <script src='lib/backbone-min.js?v=10.5.1' type='text/javascript'></script>
+    <script src='swagger-ui.js?v=10.5.1' type='text/javascript'></script>
+    <script src='lib/highlight.9.1.0.pack.js?v=10.5.1' type='text/javascript'></script>
+    <script src='lib/highlight.9.1.0.pack_extended.js?v=10.5.1' type='text/javascript'></script>
+    <script src='lib/jsoneditor.min.js?v=10.5.1' type='text/javascript'></script>
+    <script src='lib/marked.js?v=10.5.1' type='text/javascript'></script>
+    <script src='lib/swagger-oauth.js?v=10.5.1' type='text/javascript'></script>
 
     <!-- Some basic translations -->
-    <!-- <script src='lang/translator.js?v=10.0.0-M2-1' type='text/javascript'></script> -->
-    <!-- <script src='lang/ru.js?v=10.0.0-M2-1' type='text/javascript'></script> -->
-    <!-- <script src='lang/en.js?v=10.0.0-M2-1' type='text/javascript'></script> -->
+    <!-- <script src='lang/translator.js?v=10.5.1' type='text/javascript'></script> -->
+    <!-- <script src='lang/ru.js?v=10.5.1' type='text/javascript'></script> -->
+    <!-- <script src='lang/en.js?v=10.5.1' type='text/javascript'></script> -->
 
     <script type="text/javascript">
         $(function () {