The following forum message was posted by piotr_dobrogost at http://sourceforge.net/projects/pydev/forums/forum/293649/topic/4601942:
[quote]It should be OK [/quote]
Well I think I phrased my question wrong. What I meant is this; I think that
error markers' removal should be done when one cleans PyDev project. There's
nothing wrong with current way of invoking it but I think many (most?) people
would expect this removal to occur when they clean project.
|