Community
Participate
Working Groups
Version: 3.8.0 Build id: I20110823-0925 Steps 1. new workspace 2. remove all EE descriptions you have installed 3. check out org.eclipse.ui.navigator 4. wait for a build you get an error marker for no ee descriptions (OK) 5. edit any file in ui.navigator and save - you get another error marker for no ee descriptions (BAD)
I guess we simply don't clean up the existing marker. I'll take a look.
(In reply to comment #1) > I guess we simply don't clean up the existing marker. > I'll take a look. I have a fix, but git won't seem to let me push it to master *or* create a patch for it. The fix is to add the following snippet to our cleanupUsageMarkers(..) method: if(resource.getType() != IResource.PROJECT) { IProject pj = resource.getProject(); if(pj != null) { pj.deleteMarkers(IApiMarkerConstants.API_USAGE_PROBLEM_MARKER, false, IResource.DEPTH_ZERO); } }
(In reply to comment #2) > I have a fix, but git won't seem to let me push it to master *or* create a > patch for it. Did you commit your changes? You can't make a patch unless you've committed your changes to your branch.
(In reply to comment #3) > (In reply to comment #2) > > I have a fix, but git won't seem to let me push it to master *or* create a > > patch for it. > > Did you commit your changes? You can't make a patch unless you've committed > your changes to your branch. Yup, I committed to my local repo and am met with an NPE each time I use the patch wizard for git. I tried sync'ing and another pull + merge but it still will not allow me to push to master. Created bug 355732 for the NPEs.
Use the git command line tool to commit and push your change.
It appears that my fix made it into master somehow...marking this fixed now.
Verified in I20110913-2000