blob: a0091db45804018021e33e0ff97ecbfd4007ea35 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.2"?>
<plugin>
<extension
point="org.eclipse.dltk.validators.core.validator">
<validatorType
class="org.eclipse.dltk.validators.internal.externalchecker.core.ExternalCheckerType"
id="org.eclipse.dltk.validators.core.externalChecker"
nature="#">
</validatorType>
</extension>
<extension
id="externalcheckerproblem"
name="%extension.name.externalCheckerProblem"
point="org.eclipse.core.resources.markers">
<super
type="org.eclipse.core.resources.problemmarker">
</super>
<super
type="org.eclipse.core.resources.textmarker">
</super>
<persistent
value="true">
</persistent>
</extension>
<extension
point="org.eclipse.core.runtime.preferences">
<initializer
class="org.eclipse.dltk.validators.internal.externalchecker.core.WildcardsPreferenceInitializer">
</initializer>
</extension>
<extension
point="org.eclipse.dltk.validators.ui.validatorConfigPage">
<validatorConfigPage
class="org.eclipse.dltk.validators.internal.externalchecker.ui.ExternalCheckerConfigurationPage"
id="org.eclipse.dltk.validators.core.externalChecker">
</validatorConfigPage>
</extension>
<extension
point="org.eclipse.dltk.validators.ui.validatorConsoleTracker">
<validatorConsoleTracker
class="org.eclipse.dltk.validators.internal.externalchecker.ui.ExternalCheckerConsoleTracker">
</validatorConsoleTracker>
</extension>
</plugin>