2016-09-20 12:42:01 +00:00
|
|
|
<component name="ProjectRunConfigurationManager">
|
2017-09-22 16:36:03 +00:00
|
|
|
<configuration default="false" name="Explorer - GUI" type="TORNADOFX_RUNCONFIGURATION" factoryName="TornadoFX Configuration Factory" run-type="App" live-views="false" live-stylesheets="false" dump-stylesheets="false">
|
2016-09-20 12:42:01 +00:00
|
|
|
<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" />
|
2016-11-11 09:31:52 +00:00
|
|
|
<option name="MAIN_CLASS_NAME" value="net.corda.explorer.Main" />
|
2016-09-20 12:42:01 +00:00
|
|
|
<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>
|
