mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-18 08:50:57 +07:00
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
3 lines
1.1 KiB
HTML
3 lines
1.1 KiB
HTML
<html><head><base href="placeholder"></head><body><div class="bottom"><icon src="AllIcons.Nodes.Class"> <a href="psi_element://Test"><code><span style="color:#000000;">Test</span></code></a></div><div class='definition'><pre><span style="color:#000080;font-weight:bold;">public</span> <span style="color:#000080;font-weight:bold;">void</span> <span style="color:#000000;">foo</span><span style="">(</span><br> <span style="color:#808000;">@</span><a href="psi_element://java.lang.Deprecated"><code><span style="color:#808000;">Deprecated</span></code></a> <a href="psi_element://java.lang.String"><code><span style="color:#000000;">String</span></code></a> <span style="color:#000000;">s</span><span style="">,</span>
|
|
<span style="color:#808000;">@</span><a href="psi_element://java.lang.Deprecated"><code><span style="color:#808000;">Deprecated</span></code></a> <a href="psi_element://java.lang.String"><code><span style="color:#000000;">String</span></code></a> <span style="color:#000000;">p</span><br><span style="">)</span></pre></div><table class='sections'><p></table>
|