|
<component name="ProjectRunConfigurationManager">
<configuration default="false" name="jEdit" type="Application" factoryName="Application">
<log_file path="$PROJECT_DIR$/build/settings/activity.log" checked="false" skipped="true" show_all="false" alias="Activity Log" />
<extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
<option name="MAIN_CLASS_NAME" value="org.gjt.sp.jedit.jEdit" />
<option name="VM_PARAMETERS" value="-Xmx192M -Djedit.home=$PROJECT_DIR$" />
<option name="PROGRAM_PARAMETERS" value="-settings="$PROJECT_DIR$/build/settings"" />
<option name="WORKING_DIRECTORY" value="" />
<option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
<option name="ALTERNATIVE_JRE_PATH" value="" />
<option name="ENABLE_SWING_INSPECTOR" value="false" />
<option name="ENV_VARIABLES" />
<option name="PASS_PARENT_ENVS" value="true" />
<module name="jEdit" />
<envs />
<RunnerSettings RunnerId="Debug">
<option name="DEBUG_PORT" value="1341" />
<option name="TRANSPORT" value="0" />
<option name="LOCAL" value="true" />
</RunnerSettings>
<RunnerSettings RunnerId="JProfiler">
<option name="WINDOW" value="false" />
<option name="JVMPI" value="false" />
<option name="INTERPRETED" value="false" />
</RunnerSettings>
<RunnerSettings RunnerId="Run" />
<ConfigurationWrapper RunnerId="Debug" />
<ConfigurationWrapper RunnerId="JProfiler" />
<ConfigurationWrapper RunnerId="Run" />
<method>
<option name="AntTarget" enabled="false" antfile="file://$PROJECT_DIR$/build.xml" target="build" />
<option name="Run Ant target" value="true" />
</method>
</configuration>
</component>
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
