mirror of
https://github.com/corda/corda.git
synced 2024-12-26 08:01:09 +00:00
22 lines
1.2 KiB
XML
22 lines
1.2 KiB
XML
|
<component name="ProjectRunConfigurationManager">
|
||
|
|
<configuration default="false" name="explorer" type="TORNADOFX_RUNCONFIGURATION" factoryName="TornadoFX Configuration Factory" run-type="App" live-views="false" live-stylesheets="false" dump-stylesheets="false">
|
||
|
|
<extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
|
||
|
|
<option name="RUN_TYPE" value="App" />
|
||
|
|
<option name="VIEW_CLASS_NAME" />
|
||
|
|
<option name="LIVE_STYLESHEETS" value="false" />
|
||
|
|
<option name="DUMP_STYLESHEETS" value="false" />
|
||
|
|
<option name="LIVE_VIEWS" value="false" />
|
||
|
|
<option name="MAIN_CLASS_NAME" value="com.r3corda.explorer.Main" />
|
||
|
|
<option name="VM_PARAMETERS" value="" />
|
||
|
|
<option name="PROGRAM_PARAMETERS" value="" />
|
||
|
|
<option name="WORKING_DIRECTORY" value="file://$PROJECT_DIR$" />
|
||
|
|
<option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
|
||
|
|
<option name="ALTERNATIVE_JRE_PATH" />
|
||
|
|
<option name="ENABLE_SWING_INSPECTOR" value="false" />
|
||
|
|
<option name="ENV_VARIABLES" />
|
||
|
|
<option name="PASS_PARENT_ENVS" value="true" />
|
||
|
|
<module name="explorer_main" />
|
||
|
|
<envs />
|
||
|
|
<method />
|
||
|
|
</configuration>
|
||
|
|
</component>
|