--- a/test/langtools/jdk/javadoc/doclet/testTopOption/TestTopOption.java	Wed Nov 27 12:18:40 2019 +0100
+++ b/test/langtools/jdk/javadoc/doclet/testTopOption/TestTopOption.java	Wed Nov 27 13:08:16 2019 +0100
@@ -23,7 +23,7 @@
 
 /*
  * @test
- * @bug      6227616 8043186 8196202
+ * @bug      6227616 8043186 8196202 8223378
  * @summary  Test the new -top option.
  * @author   jamieh
  * @library  ../../lib
@@ -87,6 +87,30 @@
                 "help-doc.html");
     }
 
+    @Test
+    public void testNoNavbar() {
+        javadoc("-overview", testSrc("overview.html"),
+                "-use",
+                "-top", "TOP TEXT",
+                "-nonavbar",
+                "-d", "out-3",
+                "-sourcepath", testSrc,
+                "pkg");
+        checkExit(Exit.OK);
+
+        checkTopText(
+                "pkg/AnnotationType.html",
+                "pkg/class-use/AnnotationType.html",
+                "pkg/Cl.html",
+                "pkg/class-use/Cl.html",
+                "pkg/package-summary.html",
+                "pkg/package-use.html",
+                "index.html",
+                "overview-tree.html",
+                "constant-values.html",
+                "help-doc.html");
+    }
+
     void checkTopText(String... files) {
         for (String file : files) {
             checkOutput(file, true, "TOP TEXT");