Bug 40747

Summary:	[api] Move BufferedDocumentScanner to jface.text
Product:	[Eclipse Project] JDT	Reporter:	Roel De Meester <demeester_roel>
Component:	Text	Assignee:	JDT-Text-Inbox <jdt-text-inbox>
Status:	ASSIGNED ---	QA Contact:
Severity:	enhancement
Priority:	P3
Version:	3.0
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:

Description Roel De Meester

2003-07-25 04:50:36 EDT

The jdt.ui.FastJavaPartitionScanner uses a BufferedDocumentScanner to
access the Documentcharacters. 
This BufferedDocumentScanner is now also in jdt.ui
I'm also using this BufferedDocumentScanner for writing a propertiesfile
editor, but since I do no want to depend on the whole JDT plugin I've
copy/pasted the BufferedDocumentScanner to my own plugin. IMHO, Moving the
Scanner to jface.text would make reuse simpler.