Default theme's DEFAULT_PARAMETER should fallback to IDENTIFIER, just like in Darcula.
This fixes issues where an external highlighter returns a DEFAULT_PARAMETER highlighting, but a wrong highlighting is applied instead. This happens because looking up the key in the scheme finds the empty DEFAULT_PARAMETER value with null colors, thus we fallback to the other highlighter's colors, which may be incorrect.
GitOrigin-RevId: ea4fb9fccf4f164c677d1eb5ce09638c0c402b49
Remove ChainIterable usages from quick documentation and replace with HtmlChunk/HtmlBuilder.
I18ize some fragments.
GitOrigin-RevId: c9b1197efcb17de92361426759a7840ee1be8e4b
It's not necessary as in Quick Documentation a definition is wrapped in
<pre/> tag according to new guide lines, and in tooltips line breaks are
preserved thanks to UIUtil.getHtmlBody() used in HintUtil.prepareHintText().
Similarly to how it's done for Java and other languages parameters are
wrapped and aligned always if there are more than one of them. Also, the
need to wrap the return type annotation is detected naively by checking
whether the length of the last line containing it exceeds 80 characters.
* normalize capitalization
* get rid of excess <code/> tags inside <pre/>
* use the same way to get links to classes
* always show fully qualified names of definition classes
* don't add base classes for definition classes
applying with the following precedence rules:
Docstring: doc parameter of property() call, docstring of the actual
accessor, docstring of the getter.
Definition: actual accessor, getter.
