private void connectPartitioner(IDocument document) { FastMarkupPartitioner partitioner = new FastMarkupPartitioner(); partitioner.setMarkupLanguage(markupLanguage == null ? null : markupLanguage.clone()); partitioner.connect(document); document.setDocumentPartitioner(partitioner); }
private void configurePartitioning(IDocument document) { FastMarkupPartitioner partitioner = new FastMarkupPartitioner(); partitioner.setMarkupLanguage(markupLanguage.clone()); partitioner.connect(document); document.setDocumentPartitioner(partitioner); }
/** * Configure partitioning on a document using the specified markup language. * * @param document * the document that should have its partitioning configured * @param markupLanguage * the markup language to use, or null */ public static void configurePartitioning(IDocument document, MarkupLanguage markupLanguage) { FastMarkupPartitioner partitioner = new FastMarkupPartitioner(); partitioner.setMarkupLanguage(markupLanguage == null ? null : markupLanguage.clone()); partitioner.connect(document); document.setDocumentPartitioner(partitioner); } }
public Object getInformation2(ITextViewer textViewer, IRegion subject) { if (outline == null) { // If the outline was not set then parse it. This can happen in a task editor if (markupLanguage != null) { IDocument document = textViewer.getDocument(); if (document != null && document.getLength() > 0) { MarkupLanguage language = markupLanguage.clone(); OutlineParser outlineParser = new OutlineParser(); outlineParser.setMarkupLanguage(language.clone()); String markup = document.get(); final OutlineItem outline = outlineParser.parse(markup); if (MarkupSourceViewerConfiguration.this.file != null) { outline.setResourcePath(MarkupSourceViewerConfiguration.this.file.getFullPath().toString()); } return outline; } } } return outline; }
: new NoSplittingStrategy(); SplittingOutlineParser outlineParser = new SplittingOutlineParser(); outlineParser.setMarkupLanguage(markupLanguage.clone()); outlineParser.setSplittingStrategy(splittingStrategy); SplitOutlineItem item = outlineParser.parse(markupContent);
private void updateOutlineNow() { if (!outlineDirty) { return; } if (!isSourceViewerValid()) { return; } // we maintain the outline even if the outline page is not in use, which allows us to use the outline for // content assist and other things MarkupLanguage markupLanguage = getMarkupLanguage(); if (markupLanguage == null) { return; } final MarkupLanguage language = markupLanguage.clone(); final String content = document.get(); final int contentGeneration; synchronized (MarkupEditor.this) { contentGeneration = documentGeneration; } outlineParser.setMarkupLanguage(language); OutlineItem rootItem = outlineParser.parse(content); updateOutline(contentGeneration, rootItem); }
markupLanguage = markupLanguage.clone(); markupLanguage.setEnableMacros(true); markupLanguage.setBlocksOnly(false);
return; final MarkupLanguage language = markupLanguage.clone();
private void updateOutlineNow() { if (!outlineDirty) { return; } if (getSourceViewer().getTextWidget().isDisposed()) { return; } // we maintain the outline even if the outline page is not in use, which allows us to use the outline for // content assist and other things MarkupLanguage markupLanguage = getMarkupLanguage(); if (markupLanguage == null) { return; } final MarkupLanguage language = markupLanguage.clone(); final String content = document.get(); final int contentGeneration; synchronized (WikiTextSourceEditor.this) { contentGeneration = documentGeneration; initializeOutlineParser(); } outlineParser.setMarkupLanguage(language); OutlineItem rootItem = outlineParser.parse(content); updateOutline(contentGeneration, rootItem); }
return; final MarkupLanguage language = markupLanguage.clone();