Fixes issue 'Too long title in header'

See also gwtproject/gwt-site#113 Change-Id: I120b902ad82f9773453f65c7f41436e8084745e3
gwtproject · May 1, 2020 · 912e5ae · 912e5ae
1 parent 384218d
commit 912e5ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/com/google/gwt/site/webapp/client/GWTProjectEntryPoint.java b/src/main/java/com/google/gwt/site/webapp/client/GWTProjectEntryPoint.java
@@ -150,7 +150,7 @@ public boolean f(Element e, int index) {
     liParents.add(selectedItem).not(selectedItem.parent()).addClass("active");
 
     // Change the page title for easy bookmarking
-    $("title").text("[GWT] " + subMenuItem.text());
+    $("title").text("[GWT] " + subMenuItem.children("a").text() + " - " + selectedItem.text());
 
     boolean homePage = isHomePage(path);
     boolean overviewPage = isOverviewPage(path);