mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
use inherited text attributes for Map key in Groovy
This commit is contained in:
@@ -29,10 +29,4 @@
|
||||
<option name="FONT_TYPE" value="1"/>
|
||||
</value>
|
||||
</option>
|
||||
<option name="Map key">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="008000"/>
|
||||
<option name="FONT_TYPE" value="0"/>
|
||||
</value>
|
||||
</option>
|
||||
</list>
|
||||
|
||||
Reference in New Issue
Block a user