mirror of
https://github.com/processing/processing4.git
synced 2026-02-16 11:55:38 +01:00
Core improvement to avoid any unecessary builds. Really speeds up workspaces with more than a few projects.
This commit is contained in:
@@ -25,18 +25,33 @@
|
||||
</run>
|
||||
</builder>
|
||||
</extension>
|
||||
<extension
|
||||
id="processingMarker"
|
||||
name="Processing Parent Marker"
|
||||
point="org.eclipse.core.resources.markers">
|
||||
<persistent value="true" />
|
||||
<super
|
||||
type="org.eclipse.core.resources.marker">
|
||||
</super>
|
||||
</extension>
|
||||
<extension
|
||||
id="preprocError"
|
||||
name="Processing Preprocessor Problem Marker"
|
||||
point="org.eclipse.core.resources.markers">
|
||||
<persistent value="true" />
|
||||
<super type="org.eclipse.core.resources.problemmarker" />
|
||||
<super
|
||||
type="processing.plugin.core.processingMarker">
|
||||
</super>
|
||||
</extension>
|
||||
<extension
|
||||
id="compileError"
|
||||
name="Processing Compile Problem Marker"
|
||||
point="org.eclipse.core.resources.markers">
|
||||
<persistent value="true" />
|
||||
<super type="org.eclipse.core.resources.problemmarker" />
|
||||
<super type="processing.plugin.core.processingMarker" />
|
||||
<super
|
||||
type="org.eclipse.core.resources.problemmarker">
|
||||
</super>
|
||||
</extension>
|
||||
</plugin>
|
||||
|
||||
Reference in New Issue
Block a user