This Bugzilla instance is deprecated, and most Eclipse projects now use GitHub or Eclipse GitLab. Please see the deprecation plan for details.
Bug 401712 - [Markers] Problems view should not update tree unless visible
Summary: [Markers] Problems view should not update tree unless visible
Status: RESOLVED FIXED
Alias: None
Product: Platform
Classification: Eclipse Project
Component: IDE (show other bugs)
Version: 4.3   Edit
Hardware: All All
: P2 normal (vote)
Target Milestone: 4.4 M6   Edit
Assignee: Dani Megert CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2013-02-25 10:27 EST by Markus Keller CLA
Modified: 2014-02-24 08:28 EST (History)
3 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Markus Keller CLA 2013-02-25 10:27:39 EST 
I20130219-0811, follow-up to bug 401632 comment 2

The Problems should not update its tree unless the view is visible. Note that simply applying bug 401632 comment 1 is not the right solution, since this would break the fixes for bug 170244 and bug 297337.

The updating of the view icon and tooltip must continue if the view is minimized/hidden, but the tree updates should be suspended. When the view becomes visible again and a tree update was skipped, then a refresh must be forced.
Comment 1 Dani Megert CLA 2014-02-24 08:28:24 EST 
Fixed with http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=2061b2ae38440c5c4d291000944104a7d218416e

To fix this I had to add ExtendedMarkersView.isVisible() as workaround for bug 401632.