Render short type names in quick documentation and navigation

2014-06-04 21:08:21 +04:00
parent 57fc2c8301
commit 2d72b5afc7
13 changed files with 46 additions and 30 deletions
@@ -75,6 +75,11 @@ public interface DescriptorRenderer extends Renderer<DeclarationDescriptor> {
            .setWithDefinedIn(false)
            .setTextFormat(TextFormat.HTML).build();

+    DescriptorRenderer HTML_NAMES_WITH_SHORT_TYPES = new DescriptorRendererBuilder()
+            .setWithDefinedIn(false)
+            .setShortNames(true)
+            .setTextFormat(TextFormat.HTML).build();
+
    DescriptorRenderer HTML = new DescriptorRendererBuilder().setTextFormat(TextFormat.HTML).build();

    DescriptorRenderer HTML_FOR_UNINFERRED_TYPE_PARAMS = new DescriptorRendererBuilder()