Searched refs:dtdTextTools (Results 1 – 3 of 3) sorted by relevance
42 private DTDTextTools dtdTextTools; field in XMLPlugin67 if (dtdTextTools != null) { in stop()68 dtdTextTools.dispose(); in stop()69 dtdTextTools = null; in stop()117 if (dtdTextTools == null) { in getDTDTextTools()118 dtdTextTools = new DTDTextTools(getPreferenceStore()); in getDTDTextTools()120 return dtdTextTools; in getDTDTextTools()
33 private DTDTextTools dtdTextTools; field in DTDConfiguration40 dtdTextTools = tools; in DTDConfiguration()90 dr = new DefaultDamagerRepairer(dtdTextTools.getDTDTextScanner()); in getPresentationReconciler()97 dr = new DefaultDamagerRepairer(dtdTextTools.getXMLPIScanner()); in getPresentationReconciler()102 dr = new DefaultDamagerRepairer(dtdTextTools.getXMLCommentScanner()); in getPresentationReconciler()107 dr = new DefaultDamagerRepairer(dtdTextTools.getXMLDeclScanner()); in getPresentationReconciler()112 dr = new DefaultDamagerRepairer(dtdTextTools.getDTDConditionalScanner()); in getPresentationReconciler()
44 DTDTextTools dtdTextTools = XMLPlugin.getDefault().getDTDTextTools(); in initializeEditor() local46 setSourceViewerConfiguration(new DTDConfiguration(dtdTextTools)); in initializeEditor()