Community
Participate
Working Groups
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.