Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 344130

Summary:	Document provider should provide API to query refresh capability
Product:	[Eclipse Project] Platform	Reporter:	Dani Megert <daniel_megert>
Component:	Text	Assignee:	Dani Megert <daniel_megert>
Status:	RESOLVED WONTFIX	QA Contact:
Severity:	enhancement
Priority:	P3	CC:	daniel_megert
Version:	3.7	Keywords:	api
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:

Description Dani Megert

2011-04-28 10:09:54 EDT

3.7.

To fix bug 248068 we added AbstractDecoratedTextEditor.handleEditorInputChanged() which queries the refresh preference from Platform Resources. We should add API to the document provider that allows to query its refresh capability and then move the code into AbstractTextEditor.handleEditorInputChanged().

Comment 1 Dani Megert

2012-08-23 10:02:36 EDT

We can do this (reopen this bug) if there's a real requirement for it.