Merge pull request #34593 from phillip-kruger/dev-ui-header-fix

Dev UI: Add Extension name in header page
quarkusio · Jul 7, 2023 · 89bacac · 89bacac
2 parents 0362e1c + afbacc4
commit 89bacac
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/...ons/vertx-http/dev-ui-resources/src/main/resources/dev-ui/controller/router-controller.js b/...ons/vertx-http/dev-ui-resources/src/main/resources/dev-ui/controller/router-controller.js
@@ -41,12 +41,18 @@ export class RouterController {
     }
 
     getCurrentTitle(){
+        let dot = "\u00B7";
         let p = this.getCurrentPage();
         if(p){
             if(p.namespaceLabel){
                 return p.namespaceLabel;
             }else {
-                return p.title;
+                let md = this.getCurrentMetaData();
+                if(md && md.extensionName){
+                    return md.extensionName + " " + dot + " " + p.title;
+                }else {
+                    return p.title;
+                }
             }
         }
         return null;