Package org.eclipse.php.internal.ui.editor.configuration

Examples of org.eclipse.php.internal.ui.editor.configuration.StructuredDocumentDamagerRepairer


        });



        if (contentTypes != null) {
            StructuredDocumentDamagerRepairer dr = null;

            for (int i = 0; i < contentTypes.length; i++) {
                if (fHighlighter != null) {
                    LineStyleProvider provider = fHighlighter
                            .getProvider(contentTypes[i]);
                    if (provider == null)
                        continue;

                    dr = new StructuredDocumentDamagerRepairer(provider);
                    dr.setDocument(sourceViewer.getDocument());
                    reconciler.setDamager(dr, contentTypes[i]);
                    reconciler.setRepairer(dr, contentTypes[i]);
                }
            }
        }
View Full Code Here

TOP

Related Classes of org.eclipse.php.internal.ui.editor.configuration.StructuredDocumentDamagerRepairer

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.