Hint's display name should be bold.
authorJan Lahoda <jlahoda@netbeans.org>
Tue, 23 Oct 2012 23:35:19 +0200
changeset 1789214d27c4e2f30
parent 17891 e8f8c95c7819
child 17893 663af7e9300d
Hint's display name should be bold.
javahints.generate/src/org/netbeans/modules/javahints/generate/GenerateHintWiki.java
     1.1 --- a/javahints.generate/src/org/netbeans/modules/javahints/generate/GenerateHintWiki.java	Tue Oct 23 14:33:27 2012 +0200
     1.2 +++ b/javahints.generate/src/org/netbeans/modules/javahints/generate/GenerateHintWiki.java	Tue Oct 23 23:35:19 2012 +0200
     1.3 @@ -108,7 +108,7 @@
     1.4              });
     1.5  
     1.6              for (HintMetadata hm : categoryEntry.getValue()) {
     1.7 -                out.print(";" + hm.displayName);
     1.8 +                out.print(";'''" + hm.displayName + "'''");
     1.9                  if (!hm.enabled) {
    1.10                      out.print("<span style='padding-left: 3em;font-size: 80%;color: #204a87'>[ Disabled by default ]</span>");
    1.11                  }