mirror of
https://github.com/openjdk/jdk.git
synced 2026-02-01 22:18:23 +00:00
9baf436fd6
Add support for 'jtreg.home' property; fix code width to be 80; disable import optimizations Reviewed-by: vromero
18 lines
582 B
XML
18 lines
582 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project version="4">
|
|
<component name="ProjectCodeStyleSettingsManager">
|
|
<option name="PER_PROJECT_SETTINGS">
|
|
<value>
|
|
<option name="CLASS_COUNT_TO_USE_IMPORT_ON_DEMAND" value="999" />
|
|
<option name="NAMES_COUNT_TO_USE_IMPORT_ON_DEMAND" value="999" />
|
|
<option name="RIGHT_MARGIN" value="80" />
|
|
<XML>
|
|
<option name="XML_LEGACY_SETTINGS_IMPORTED" value="true" />
|
|
</XML>
|
|
</value>
|
|
</option>
|
|
<option name="USE_PER_PROJECT_SETTINGS" value="true" />
|
|
</component>
|
|
</project>
|
|
|