Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'rpm/org.eclipse.linuxtools.rpm.ui.editor/src/org/eclipse/linuxtools/rpm/ui/editor/SpecfileDocumentProvider.java')
-rw-r--r--rpm/org.eclipse.linuxtools.rpm.ui.editor/src/org/eclipse/linuxtools/rpm/ui/editor/SpecfileDocumentProvider.java34
1 files changed, 34 insertions, 0 deletions
diff --git a/rpm/org.eclipse.linuxtools.rpm.ui.editor/src/org/eclipse/linuxtools/rpm/ui/editor/SpecfileDocumentProvider.java b/rpm/org.eclipse.linuxtools.rpm.ui.editor/src/org/eclipse/linuxtools/rpm/ui/editor/SpecfileDocumentProvider.java
new file mode 100644
index 0000000000..d974b076eb
--- /dev/null
+++ b/rpm/org.eclipse.linuxtools.rpm.ui.editor/src/org/eclipse/linuxtools/rpm/ui/editor/SpecfileDocumentProvider.java
@@ -0,0 +1,34 @@
+/*******************************************************************************
+ * Copyright (c) 2007-2009 Red Hat, Inc.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Red Hat - initial API and implementation
+ *******************************************************************************/
+
+package org.eclipse.linuxtools.rpm.ui.editor;
+
+import org.eclipse.jface.text.IDocument;
+import org.eclipse.linuxtools.rpm.ui.editor.scanners.SpecfilePartitionScanner;
+import org.eclipse.ui.editors.text.TextFileDocumentProvider;
+
+public class SpecfileDocumentProvider extends TextFileDocumentProvider {
+
+ private IDocument document;
+
+ @Override
+ public IDocument getDocument(Object element) {
+ document = super.getDocument(element);
+ if (document != null && document.getDocumentPartitioner() == null) {
+ SpecfilePartitioner partitioner = new SpecfilePartitioner(
+ new SpecfilePartitionScanner(),
+ SpecfilePartitionScanner.SPEC_PARTITION_TYPES);
+ partitioner.connect(document, false);
+ document.setDocumentPartitioner(partitioner);
+ }
+ return document;
+ }
+} \ No newline at end of file

Back to the top