|
What this is
Other links
The source code/******************************************************************************* * Copyright (c) 2005, 2006 IBM Corporation and others. * 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: * IBM Corporation - initial API and implementation *******************************************************************************/ package org.eclipse.pde.internal.ui.compare; import org.eclipse.compare.CompareConfiguration; import org.eclipse.compare.contentmergeviewer.TextMergeViewer; import org.eclipse.jface.resource.JFaceResources; import org.eclipse.jface.text.IDocumentPartitioner; import org.eclipse.jface.text.TextViewer; import org.eclipse.jface.text.rules.FastPartitioner; import org.eclipse.jface.text.source.SourceViewer; import org.eclipse.pde.internal.ui.PDEUIMessages; import org.eclipse.pde.internal.ui.editor.text.*; import org.eclipse.swt.events.DisposeEvent; import org.eclipse.swt.graphics.Font; import org.eclipse.swt.widgets.Composite; public class ManifestContentMergeViewer extends TextMergeViewer { private IColorManager fColorManager; public ManifestContentMergeViewer(Composite parent, CompareConfiguration configuration) { super(parent, configuration); } protected void configureTextViewer(TextViewer textViewer) { if (textViewer instanceof SourceViewer) { if (fColorManager == null) fColorManager = ColorManager.getDefault(); ((SourceViewer) textViewer).configure(new ManifestConfiguration(fColorManager, null, getDocumentPartitioning())); Font font = JFaceResources.getFont(ManifestContentMergeViewer.class.getName()); if (font != null) ((SourceViewer) textViewer).getTextWidget().setFont(font); } } protected IDocumentPartitioner getDocumentPartitioner() { return new FastPartitioner(new ManifestPartitionScanner(), ManifestPartitionScanner.PARTITIONS); } protected String getDocumentPartitioning() { return ManifestPartitionScanner.MANIFEST_FILE_PARTITIONING; } public String getTitle() { return PDEUIMessages.ManifestContentMergeViewer_title; } protected void handleDispose(DisposeEvent event) { if (fColorManager != null) fColorManager.dispose(); super.handleDispose(event); } } |
... this post is sponsored by my books ... | |
![]() #1 New Release! |
![]() FP Best Seller |
Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.