graphdb-workbench 2.4.0-RC4 → 2.4.0-RC5

package/dist/css/bootstrap-graphdb-theme.css

@@ -7,6 +7,18 @@
     --autocomplete-background: hsla(var(--tertiary-color-hsl), 0.3);
     --autocomplete-background-selected: hsla(var(--tertiary-color-hsl), 0.5);
     --autocomplete-match: var(--secondary-color);
+    /* width of menu 15 + margin left 1 + margin right 2 => 18rem */
+    --menu-width-expanded: 18rem;
+    /* width of menu 4.375 + margin left 1 + margin right 2 => 7.375 */
+    --menu-width-collapsed: 7.375rem;
+    /* menu width in general */
+    --menu-width: var(--menu-width-expanded);
+    /* max usable content width not considering the menu and margins */
+    --max-width-minus-menu: calc(100% - var(--menu-width));
+}
+
+:root.menu-collapsed {
+    --menu-width: var(--menu-width-collapsed);
 }
 
 /*-------------------------------------------------------------
@@ -512,7 +524,7 @@ a:focus, a:hover {
 
 .main-container {
     margin-left: 15rem;
-    padding: 3rem 2rem 0 2rem;
+    padding: 0 2rem 3rem 2rem;
     /*max-width: 1600px; Removed because of the collapse of the menu*/
     /*-moz-transition: margin-left 0.2s ease-in;  !* FF4+ *!*/
     /*-o-transition: margin-left 0.2s ease-in;  !* Opera 10.5+ *!*/
@@ -548,12 +560,6 @@ a:focus, a:hover {
     height: 26px !important;
 }
 
-.active-operation {
-    position: fixed;
-    top: 0;
-    left: 50vw;
-}
-
 .dropdown-menu-center {
     left: 50% !important;
     right: auto !important;
@@ -561,17 +567,6 @@ a:focus, a:hover {
     transform: translate(-50%, 0) !important;
 }
 
-@media (max-width: 1000px) {
-    .active-operation {
-        left: 30vw;
-    }
-}
-
-.btn.active-operation {
-    padding: 0 !important;
-    border: 0 !important;
-}
-
 /*-------------------------------------------------------------
 	Headings
 -------------------------------------------------------------*/
@@ -595,6 +590,7 @@ h1 .btn {
 .main-menu {
     width: 15rem;
     position: fixed;
+    top: 0;
     font-weight: 400;
     z-index: 1010;
     margin: 0;
@@ -818,11 +814,13 @@ main menu height*/
 }
 
 .small-logo {
-    height: auto;
+    width: 50px;
+    height: 50px;
 }
 
 .big-logo {
-    height: auto;
+    width: 180px;
+    height: 50px;
 }
 
 .container-fluid.main-container.expanded {
@@ -1047,8 +1045,7 @@ main menu height*/
 
 .btn [class^="icon-"] {
     font-size: 1.4em;
-    vertical-align: -0.25em;
-    line-height: 0.8;
+    line-height: 0.75;
     display: inline-block;
 }
 
@@ -1094,6 +1091,10 @@ main menu height*/
     right: 3px;
 }
 
+.status-bar .dropdown-menu-right {
+    right: 0;
+}
+
 /* collapse button */
 .btn.collapsed [class^=icon-]{
     transform: rotate(180deg);
@@ -1113,17 +1114,39 @@ h3 [class^=icon-] {
 	status bar
 -------------------------------------------------------------*/
 .status-bar {
-    position: fixed;
+    display: flex;
+    flex-wrap: wrap-reverse;
+    justify-content: flex-end;
+    gap: 0.25em;
+    position: sticky;
     top: 0;
-    right: 2rem;
-    font-size: 0.9em;
-    z-index: 1015;
+    padding-bottom: 0.5em;
+    width: max-content;
+    max-width: var(--max-width-minus-menu);
+    margin-left: auto;
+    margin-right: 2em;
+    font-size: 1.1em;
+    /* below pageslide (position: absolute, z-index: 1000) */
+    z-index: 999;
     -moz-transition: all 0.1s ease-out; /* FF4+ */
     -o-transition: all 0.1s ease-out; /* Opera 10.5+ */
     -webkit-transition: all 0.1s ease-out; /* Saf3.2+, Chrome */
     transition: all 0.1s ease-out;
 }
 
+/* Hides gap when no monitoring, this doesn't work with :empty */
+.status-bar operations-statuses-monitor:not(:has(div)) {
+    display: none;
+}
+
+.status-bar .btn {
+    font-size: inherit;
+}
+
+.status-bar .btn-group .dropdown-toggle {
+    margin-right: 0;
+}
+
 /*-------------------------------------------------------------
 	sticky footer
 -------------------------------------------------------------*/
@@ -1161,7 +1184,7 @@ footer.footer .container-fluid.main-container p {
 }
 
 .open > .btn-secondary.dropdown-toggle [class^="icon-"] {
-    color: var(--icon-on-primary-color) !important;
+    color: var(--icon-on-primary-color);
 }
 
 .btn-secondary.dropdown-toggle [class^="icon-"] {
@@ -2795,3 +2818,39 @@ input[name=namespace] {
 .rzslider .rz-selection {
     background: var(--secondary-color) !important;
 }
+
+.login-form {
+    max-width: 600px;
+    padding-top: 4em;
+    margin: auto;
+}
+
+.btn-fade-warning {
+    animation: fade-button 2s infinite;
+    --fade-color: var(--color-warning-medium);
+}
+
+.btn-fade-danger {
+    animation: fade-button 2s infinite;
+    --fade-color: var(--color-danger-medium);
+}
+
+.btn-fade-warning:hover, .btn-fade-danger:hover {
+    background-color: var(--fade-color) !important;
+    border-color: var(--fade-color) !important;
+}
+
+@keyframes fade-button {
+    from {
+        background-color: #EBEBEB;
+        border-color: #EBEBEB;
+    }
+    50% {
+        background-color: var(--fade-color);
+        border-color: var(--fade-color);
+    }
+    to {
+        background-color: #EBEBEB;
+        border-color: #EBEBEB;
+    }
+}

package/dist/css/graphs-vizualizations.css

@@ -56,11 +56,12 @@
 }
 
 .toolbar-holder {
-    position: absolute;
-    right: 2.5em;
-    top: 4em;
+    position: relative;
+    top: -3em;
     z-index: 10;
     background-color: rgba(2552, 255, 255, 0.75);
+    width: max-content;
+    margin-left: auto;
 }
 
 .rdf-list .node-info {
@@ -105,10 +106,6 @@
     stroke-width: 1;
 }
 
-.rdf-info-side-panel.node-info.predicate-info {
-    max-width: none;
-}
-
 .rdf-info-side-panel.node-info.predicate-info .rdf-list {
     padding: 0;
 }

package/dist/css/operations-statuses-monitor.css

@@ -1,13 +1,30 @@
 .operations-statuses .operations-statuses-dropdown-toggle {
     display: flex;
-    background-color: #EBEBEB;
-    border-radius: 0;
-    border: 0;
+    gap: 0.75em;
+}
+
+.operations-statuses .operations-statuses-dropdown-toggle .caret {
+    margin-left: -0.75em;
+}
+
+.operations-statuses .operations-statuses-dropdown-toggle[aria-expanded="true"] {
+    background-color: #bbb !important;
+    border-color: #bbb !important;
 }
 
 .operations-statuses .operation-status-header {
     display: flex;
-    padding-right: 7px;
+}
+
+/* FontAwesome icons are different size, scale/pad them a bit */
+.operations-statuses div.fa {
+    padding-left: 3px;
+    padding-right: 3px;
+    font-size: 1.1em;
+}
+
+.operations-statuses-content .operation-status-content.row > * {
+    padding: 0;
 }
 
 .operations-statuses .operation-status-header img {
@@ -20,7 +37,6 @@
 
 .operations-statuses .running-operation-count sup {
     color: white;
-    border-radius: 2px;
     padding-left: 2px;
     padding-right: 2px;
     top: -1em;
@@ -32,27 +48,27 @@
     flex-direction: column;
     align-content: space-around;
     justify-content: space-around;
-    background-color: #EBEBEB;
+    background-color: #bbb;
     margin:0;
 }
 
 .operations-statuses .operation-status-content {
     display: flex;
-    background-color: #D4D4D4;
     margin: 5px 10px;
     align-items: center;
     justify-content: space-around;
     cursor: pointer;
     text-decoration: none;
     width: auto;
+    gap: 0.5em;
 }
 
-.operations-statuses .last-operation {
-    margin-bottom: 10px;
+.operations-statuses-content li:last-child {
+    margin-bottom: 5px;
 }
 
-.operations-statuses .first-operation {
-    margin-top: 10px;
+.operations-statuses li:first-child {
+    margin-top: 5px;
 }
 
 .operations-statuses .operation-status-content:hover {
@@ -64,12 +80,15 @@
 }
 
 .operations-statuses .operation-status-label {
-    min-width: 250px;
     padding: 5px;
     line-height: 0;
     text-align: start;
 }
 
+.operations-statuses .operation-number {
+    min-width: 50px;
+}
+
 .operations-statuses .operation-status-running-operation-count {
     color: white;
     border-radius: 2px;
@@ -79,6 +98,14 @@
     font-size: 75%;
 }
 
-.operations-statuses .operation-status-content .icon-external {
-    padding: 4px;
+.status-information {
+    color: var(--color-info-dark) !important;
+}
+
+.status-warning {
+    color: var(--color-warning-dark) !important;
+}
+
+.status-critical {
+    color: var(--color-danger-dark) !important;
 }

package/dist/css/rdf-details-side-panel.css

@@ -5,6 +5,13 @@
     box-shadow: -1px 3px 10px 0 rgba(0, 0, 0, 0.3);
     /* force it because pageslide sets the top:0 property inline and we need to override it */
     top: 45px !important;
+    /* adapt to view width but at least 300px, menu size ignored for all practical screen sizes */
+    max-width: max(300px, 25vw);
+}
+
+.rdf-info-side-panel-expanded {
+    /* adapt width according to available space but not more than 800px */
+    max-width: min(800px, 100% - var(--menu-width));
 }
 
 .rdf-list {

package/dist/css/rdf-resource-search.css

@@ -1,5 +1,10 @@
 .search-rdf-btn {
   display: block;
+  border: 0;
+}
+
+.search-rdf-btn .icon-search {
+  font-size: 1.7em;
 }
 
 .close-rdf-search-btn{

package/dist/i18n/locale-en.json

@@ -1917,20 +1917,13 @@
     "ttyg.settings.topk.tooltip": "Number of results returned to the chat bot when it requests more information. More results will provide more information but they may also introduce noise.",
     "ttyg.settings.echo.vector.query": "Echo vector query",
     "ttyg.settings.echo.vector.query.tooltip": "If enabled the bot will use the generated queries as feedback to the GPT API.",
-    "global.operations_statuses.queries.title": "Running query",
-    "global.operations_statuses.queries.title.plural": "Running queries",
-    "global.operations_statuses.updates.title": "Running update",
-    "global.operations_statuses.updates.title.plural": "Running updates",
-    "global.operations_statuses.imports.title": "Running import",
-    "global.operations_statuses.imports.title.plural": "Running imports",
+    "global.operations_statuses.queries.title": "Running queries",
+    "global.operations_statuses.updates.title": "Running updates",
+    "global.operations_statuses.imports.title": "Running imports",
     "global.operations_statuses.CREATE_BACKUP_IN_PROGRESS.title": "Creating backup",
-    "global.operations_statuses.CREATE_BACKUP_IN_PROGRESS.title.plural": "Creating backups",
     "global.operations_statuses.RESTORE_BACKUP_IN_PROGRESS.title": "Restoring backup",
-    "global.operations_statuses.RESTORE_BACKUP_IN_PROGRESS.title.plural": "Restoring backups",
     "global.operations_statuses.CREATE_CLOUD_BACKUP_IN_PROGRESS.title": "Creating cloud backup",
-    "global.operations_statuses.CREATE_CLOUD_BACKUP_IN_PROGRESS.title.plural": "Creating cloud backups",
     "global.operations_statuses.RESTORE_CLOUD_BACKUP_IN_PROGRESS.title": "Restoring cloud backup",
-    "global.operations_statuses.RESTORE_CLOUD_BACKUP_IN_PROGRESS.title.plural": "Restoring cloud backups",
     "global.operations_statuses.IN_SYNC.title": "In sync",
     "global.operations_statuses.RECOVERING.title": "Recovering",
     "global.operations_statuses.OUT_OF_SYNC.title": "Out of sync",

package/dist/i18n/locale-fr.json

@@ -1904,20 +1904,13 @@
     "ttyg.settings.topk.tooltip": "Nombre de résultats renvoyés au chatbot lorsqu'il demande plus d'informations. Plus de résultats fourniront plus d'informations mais ils peuvent également introduire du bruit.",
     "ttyg.settings.echo.vector.query": "Écho à la requête vectorielle",
     "ttyg.settings.echo.vector.query.tooltip": "S'il est activé, le bot utilisera les requêtes générées comme retour à l'API GPT.",
-    "global.operations_statuses.queries.title": "Exécution de requête",
-    "global.operations_statuses.queries.title.plural": "Exécution de requêtes",
-    "global.operations_statuses.updates.title": "Exécution de mise à jour",
-    "global.operations_statuses.updates.title.plural": "Exécution de mises à jour",
-    "global.operations_statuses.imports.title": "Exécution d'importation",
-    "global.operations_statuses.imports.title.plural": "Exécution d'importations",
+    "global.operations_statuses.queries.title": "Exécution de requêtes",
+    "global.operations_statuses.updates.title": "Exécution de mises à jour",
+    "global.operations_statuses.imports.title": "Exécution d'importations",
     "global.operations_statuses.CREATE_BACKUP_IN_PROGRESS.title": "Création de sauvegarde en cours",
-    "global.operations_statuses.CREATE_BACKUP_IN_PROGRESS.title.plural": "Création de sauvegardes en cours",
     "global.operations_statuses.RESTORE_BACKUP_IN_PROGRESS.title": "Restauration de sauvegarde en cours",
-    "global.operations_statuses.RESTORE_BACKUP_IN_PROGRESS.title.plural": "Restauration de sauvegardes en cours",
     "global.operations_statuses.CREATE_CLOUD_BACKUP_IN_PROGRESS.title": "Création de sauvegarde cloud en cours",
-    "global.operations_statuses.CREATE_CLOUD_BACKUP_IN_PROGRESS.title.plural": "Création de sauvegardes cloud en cours",
     "global.operations_statuses.RESTORE_CLOUD_BACKUP_IN_PROGRESS.title": "Restauration de sauvegarde cloud en cours",
-    "global.operations_statuses.RESTORE_CLOUD_BACKUP_IN_PROGRESS.title.plural": "Restauration de sauvegardes cloud en cours",
     "global.operations_statuses.IN_SYNC.title": "Synchronisé",
     "global.operations_statuses.RECOVERING.title": "Récupération en cours",
     "global.operations_statuses.OUT_OF_SYNC.title": "Désynchronisé",

package/dist/index.html

@@ -13,73 +13,85 @@
 
     <link rel="apple-touch-icon-precomposed" href="icon.png">
 
-    <script src="plugin-registry.js?v=2.4.0-RC4"></script>
-    <script src="plugins.js?v=2.4.0-RC4"></script>
-<link rel="shortcut icon" href="icon.png"><link href="vendor.d1c629ceaacea40a5f4a.css" rel="stylesheet"><link href="main.268656904f8e722f5489.css" rel="stylesheet"></head>
+    <script src="plugin-registry.js?v=2.4.0-RC5"></script>
+    <script src="plugins.js?v=2.4.0-RC5"></script>
+<link rel="shortcut icon" href="icon.png"><link href="vendor.d1c629ceaacea40a5f4a.css" rel="stylesheet"><link href="main.ef1675ae9664feabc0d4.css" rel="stylesheet"></head>
 
 <body>
 
 <div class="status-bar bg-white" ng-hide="!showMainManuAndStatusBar()" ng-cloak>
-    <operations-statuses-monitor class="active-operation"></operations-statuses-monitor>
-    <div class="btn-group btn-group-lg" role="group" aria-label="Button group with nested dropdown">
+    <!-- Looking glass search icon -->
+    <rdf-resource-search></rdf-resource-search>
 
-        <div class="btn alert alert-warning no-icon" ng-if="!getLicense().valid && showLicense()"
+    <!-- Invalid/expired license notification -->
+    <div ng-if="!getLicense().valid && showLicense()">
+        <a class="btn btn-fade-danger no-icon" ng-href="license"
              gdb-tooltip="{{getLicense().message}}" tooltip-placement="bottom">
             <span class="icon-warning"></span> {{'no.valid.license.warning' | translate}}
-            <a ng-show="!isLicenseHardcoded()" href="license/register" class="btn btn-secondary btn-sm" style="margin: -5px 0 -5px 0">{{'set.label' | translate}}</a>
-        </div>
+        </a>
+    </div>
 
-        <div id="guideResume" class="btn-group" role="group" ng-if="guidePaused" gdb-tooltip="{{'guide.button.guide-resume' | translate}}" tooltip-placement="bottom">
-            <a class="btn btn-lg btn-secondary" ng-click="resumeGuide()"><span class="icon-play text-primary"></span> {{'guide.button.guide-paused' | translate}}</a>
-        </div>
-        <rdf-resource-search class="float-xs-left p-0"></rdf-resource-search>
-        <div id="repositorySelectDropdown" class="btn-group" role="group" ng-show="!embedded">
-            <button id="btnReposGroup" type="button" class="btn btn-lg btn-secondary dropdown-toggle"
-                    data-toggle="dropdown" aria-haspopup="true" aria-expanded="false" guide-selector="repositoriesGroupButton">
-                <span ng-mouseover="setPopoverRepo(getActiveRepositoryObject())" popover-popup-delay="1000" popover-trigger="mouseenter" popover-placement="left-bottom"
-                      uib-popover-template="popoverTemplate" popover-title="{{'security.repository.title' | translate}} {{getActiveRepositoryObject().id}}" ng-if="getActiveRepository()"
-                      guide-selector="repository-{{getActiveRepositoryObject().id}}-button"
-                      class="active-repository">
-                    <em ng-class="'icon-repo-' + getActiveRepositoryObject().type" class="icon-1-5x"></em>
-                    {{getActiveRepository()}}{{ getActiveRepositoryShortLocation() }}
-                </span>
-                <span class="no-selected-repository" ng-if="!getActiveRepository() && getReadableRepositories().length">{{'choose.repo' | translate}}</span>
-                <span class="no-repositories" ng-if="!getActiveRepository() && !getReadableRepositories().length">{{'no.accessible.repos.warning' | translate}}</span>
-            </button>
-            <ul class="dropdown-menu dropdown-menu-right pre-scrollable" aria-labelledby="dropdownMenuButton">
-                <li ng-repeat="repository in getReadableRepositories() | orderBy: ['location', 'id']"
-                    ng-if="!isRepoActive(repository)"
-                    ng-mouseover="setPopoverRepo(repository)" popover-popup-delay="500"
-                    popover-trigger="mouseenter" popover-placement="left"
-                    uib-popover-template="popoverTemplate" popover-title="{{'security.repository.title' | translate}} {{repository.id}}">
-                    <a class="dropdown-item" ng-click="setRepository(repository)" guide-selector="repository-{{repository.id}}-button">
-                        <em ng-class="'icon-repo-' + repository.type" class="icon-1-5x"></em>
-                        <span class="multiline-text">
-						    {{repository.id}} <br/>
-						    <small ng-show="!isLoadingLocation() && hasActiveLocation() && (!isSecurityEnabled() || isUserLoggedIn() || isFreeAccessEnabled())">{{repository.location ? repository.location : 'Local'}}</small>
-					    </span>
-                    </a>
-                </li>
-            </ul>
-        </div>
-        <div class="btn-group" role="group" ng-if="isSecurityEnabled() && isUserLoggedIn()">
-            <button id="btnGroupDrop2" type="button" class="btn btn-lg btn-secondary dropdown-toggle"
-                    data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
-                <span class="icon-user text-primary"></span>
-                {{principal.username}}
-            </button>
-            <div class="dropdown-menu dropdown-menu-right" aria-labelledby="btnUserGroup">
-                <a class="dropdown-item" href="settings">{{'menu.my.settings.label' | translate}}</a>
-                <a class="dropdown-item" ng-click="logout()" title="{{'sign.out.label' | translate}}" ng-href="./login" ng-if="!hasExternalAuthUser()">{{'logout.label' | translate}}</a>
-            </div>
-        </div>
-        <div class="btn-group" ng-show="isSecurityEnabled() && !isUserLoggedIn() && !isCurrentPath('login')">
-            <a class="btn btn-lg btn-secondary" href="./login" ng-href="./login">
-                <span class="icon-arrow-right text-primary"></span> {{'view.login.title' | translate}}
-            </a>
+    <!-- Guide pause/resume -->
+    <div id="guideResume" class="btn-group" role="group" ng-if="guidePaused" gdb-tooltip="{{'guide.button.guide-resume' | translate}}" tooltip-placement="bottom">
+        <a class="btn btn-secondary" ng-click="resumeGuide()"><span class="icon-play"></span> {{'guide.button.guide-paused' | translate}}</a>
+    </div>
+
+    <!-- Monitoring overview and monitoring details dropdown -->
+    <operations-statuses-monitor></operations-statuses-monitor>
+
+    <!-- Current repository and repository selection dropdown -->
+    <div id="repositorySelectDropdown" class="btn-group" role="group" ng-show="!embedded">
+        <button id="btnReposGroup" type="button" class="btn btn-secondary dropdown-toggle"
+                data-toggle="dropdown" aria-haspopup="true" aria-expanded="false" guide-selector="repositoriesGroupButton">
+            <span ng-mouseover="setPopoverRepo(getActiveRepositoryObject())" popover-popup-delay="1000" popover-trigger="mouseenter" popover-placement="left-bottom"
+                  uib-popover-template="popoverTemplate" popover-title="{{'security.repository.title' | translate}} {{getActiveRepositoryObject().id}}" ng-if="getActiveRepository()"
+                  guide-selector="repository-{{getActiveRepositoryObject().id}}-button"
+                  class="active-repository">
+                <em ng-class="'icon-repo-' + getActiveRepositoryObject().type"></em>
+                {{getActiveRepository()}}{{ getActiveRepositoryShortLocation() }}
+            </span>
+            <span class="no-selected-repository" ng-if="!getActiveRepository() && getReadableRepositories().length">{{'choose.repo' | translate}}</span>
+            <span class="no-repositories" ng-if="!getActiveRepository() && !getReadableRepositories().length">{{'no.accessible.repos.warning' | translate}}</span>
+        </button>
+        <ul class="dropdown-menu dropdown-menu-right pre-scrollable" aria-labelledby="dropdownMenuButton">
+            <li ng-repeat="repository in getReadableRepositories() | orderBy: ['location', 'id']"
+                ng-if="!isRepoActive(repository)"
+                ng-mouseover="setPopoverRepo(repository)" popover-popup-delay="500"
+                popover-trigger="mouseenter" popover-placement="left"
+                uib-popover-template="popoverTemplate" popover-title="{{'security.repository.title' | translate}} {{repository.id}}">
+                <a class="dropdown-item" ng-click="setRepository(repository)" guide-selector="repository-{{repository.id}}-button">
+                    <em ng-class="'icon-repo-' + repository.type" class="icon-1-5x"></em>
+                    <span class="multiline-text">
+                        {{repository.id}} <br/>
+                        <small ng-show="!isLoadingLocation() && hasActiveLocation() && (!isSecurityEnabled() || isUserLoggedIn() || isFreeAccessEnabled())">{{repository.location ? repository.location : 'Local'}}</small>
+                    </span>
+                </a>
+            </li>
+        </ul>
+    </div>
+
+    <!-- Logged user and settings/logout dropdown -->
+    <div class="btn-group" role="group" ng-if="isSecurityEnabled() && isUserLoggedIn()">
+        <button id="btnGroupDrop2" type="button" class="btn btn-secondary dropdown-toggle"
+                data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
+            <span class="icon-user"></span>
+            {{principal.username}}
+        </button>
+        <div class="dropdown-menu dropdown-menu-right" aria-labelledby="btnUserGroup">
+            <a class="dropdown-item" href="settings">{{'menu.my.settings.label' | translate}}</a>
+            <a class="dropdown-item" ng-click="logout()" title="{{'sign.out.label' | translate}}" ng-href="./login" ng-if="!hasExternalAuthUser()">{{'logout.label' | translate}}</a>
         </div>
-        <language-selector></language-selector>
     </div>
+
+    <!-- Login button -->
+    <div ng-if="isSecurityEnabled() && !isUserLoggedIn() && !isCurrentPath('login')">
+        <a class="btn btn-secondary" href="./login" ng-href="./login">
+            <span class="icon-arrow-right"></span> {{'view.login.title' | translate}}
+        </a>
+    </div>
+
+    <!-- Current language and language selection dropdown -->
+    <language-selector></language-selector>
 </div>
 
 <ul class="main-menu" ng-cloak ng-show="!embedded">
@@ -88,11 +100,11 @@
             <em class="icon-caret-left"></em>
         </span>
         <a class="menu-element-root" ng-href="./" href="./" ng-click="selected = -1">
-            <svg class="big-logo" width="180" height="50">
+            <svg class="big-logo">
                 <desc>GraphDB logo</desc>
                 <use href="img/graphdb-logo.741abf3e3881e1566e4504c9f00b91c0.svg#Layer_1"></use>
             </svg>
-            <svg class="small-logo" width="58" height="58">
+            <svg class="small-logo">
                 <desc>GraphDB logo</desc>
                 <use href="img/graphdb-logo-sq.3a5fb4b3f1e0e248dc308da1bf4de9f8.svg#Layer_1"></use>
             </svg>
@@ -152,6 +164,6 @@
     <object data="img/graphdb-splash.1ef2940889acddc03c7defb3f9f41f8d.svg"></object>
     <div>GraphDB Workbench is loading...</div>
 </div>
-<script type="text/javascript" src="vendor.627c422eb658d286fa62.bundle.js"></script><script type="text/javascript" src="main.34b9127de6103da85a3d.bundle.js"></script><script type="text/javascript" src="bundle.2f1a1566e5af7ad08c7e.bundle.js"></script></body>
+<script type="text/javascript" src="vendor.627c422eb658d286fa62.bundle.js"></script><script type="text/javascript" src="main.34b9127de6103da85a3d.bundle.js"></script><script type="text/javascript" src="bundle.9270374dffa4437895d3.bundle.js"></script></body>
 
 </html>

package/dist/js/angular/chatgpt/templates/chat.html

@@ -93,7 +93,7 @@
                 <form>
                     <div class="mb-2 d-flex">
                         <input class="form-control" ng-model="question" type="text">
-                        <button class="btn btn-primary" ng-click="ask()">{{ 'ttyg.ask.button' | translate }}</button>
+                        <button class="btn btn-primary" ng-disabled="loading" ng-click="ask()">{{ 'ttyg.ask.button' | translate }}</button>
                     </div>
                 </form>
             </div>

package/dist/js/angular/core/directives/languageselector/templates/languageSelector.html

@@ -1,10 +1,10 @@
 <div class="btn-group" role="group" ng-if="languages.length > 0">
     <button id="languageGroupDrop" type="button"
-            class="btn btn-lg btn-secondary dropdown-toggle translate-button"
+            class="btn btn-secondary dropdown-toggle translate-button"
             data-toggle="dropdown" aria-haspopup="true" aria-expanded="false"
             tooltip-placement="left"
             gdb-tooltip="{{ 'current.language.tooltip' | translate }}: {{selectedLang.name}}">
-        <span class="icon-translation icon-1-5x text-primary"></span>
+        <span class="icon-translation icon-1-5x"></span>
         {{selectedLang.key}}
     </button>
     <ul class="dropdown-menu dropdown-menu-right pre-scrollable" aria-labelledby="languageGroupDrop">