You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tapestry.apache.org by bo...@apache.org on 2014/02/25 03:32:42 UTC

[2/2] git commit: Made section heading in xdoc part of javadoc an

element instead of a too-small element

Made section heading in xdoc part of javadoc an <h3> element instead of
a too-small <b> element

Project: http://git-wip-us.apache.org/repos/asf/tapestry-5/repo
Commit: http://git-wip-us.apache.org/repos/asf/tapestry-5/commit/707665e1
Tree: http://git-wip-us.apache.org/repos/asf/tapestry-5/tree/707665e1
Diff: http://git-wip-us.apache.org/repos/asf/tapestry-5/diff/707665e1

Branch: refs/heads/master
Commit: 707665e17bf8e0e92e2a22d9e278f452b3e1bcb6
Parents: 27db806
Author: Bob Harner <bo...@apache.org>
Authored: Mon Feb 24 21:31:21 2014 -0500
Committer: Bob Harner <bo...@apache.org>
Committed: Mon Feb 24 21:31:21 2014 -0500

----------------------------------------------------------------------
 .../src/main/java/org/apache/tapestry5/javadoc/XDocStreamer.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
----------------------------------------------------------------------


http://git-wip-us.apache.org/repos/asf/tapestry-5/blob/707665e1/tapestry-javadoc/src/main/java/org/apache/tapestry5/javadoc/XDocStreamer.java
----------------------------------------------------------------------
diff --git a/tapestry-javadoc/src/main/java/org/apache/tapestry5/javadoc/XDocStreamer.java b/tapestry-javadoc/src/main/java/org/apache/tapestry5/javadoc/XDocStreamer.java
index 3cfd99d..5d6235b 100644
--- a/tapestry-javadoc/src/main/java/org/apache/tapestry5/javadoc/XDocStreamer.java
+++ b/tapestry-javadoc/src/main/java/org/apache/tapestry5/javadoc/XDocStreamer.java
@@ -164,7 +164,7 @@ public class XDocStreamer
                 // More JavaDoc ugliness; this makes sections fit in well with the main
                 // output.
 
-                write(String.format("<dt><b>%s:</b></dt><dd>", name));
+                write(String.format("<dt><h3>%s</h3></dt><dd>", name));
 
                 endElementHandlers.push(writeClose("dd"));