Bug 13091

Summary:	Schema editor text widget does not refresh
Product:	[Eclipse Project] PDE	Reporter:	Vlad Klicnik <klicnik>
Component:	UI	Assignee:	Dejan Glozic <dejan>
Status:	RESOLVED FIXED	QA Contact:
Severity:	normal
Priority:	P1
Version:	2.0
Target Milestone:	2.0 M6
Hardware:	PC
OS:	Windows 2000
Whiteboard:

Description Vlad Klicnik

2002-04-09 13:05:03 EDT

20020402 Win2K

I have made changes to the source page, switch to documentation tab, the editor 
does not refresh.

Comment 1 Dejan Glozic

2002-04-16 17:46:44 EDT

must fix

Comment 2 Dejan Glozic

2002-04-30 18:24:57 EDT

The doc section was not listening to model changes (WORLD_CHANGED type in 
particular). Added.