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
In cases when there are many overloads it's not only poorly readable, but also
very computationally intensive as we need to evaluate the type of each of them.
GitOrigin-RevId: 7fff7930fa1dc6c41d06720f5c8d16e0ea87fc14
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().