org.eclipse.rcptt.ui.editors.ecl.EditorToolkit.java Source code

Java tutorial

Introduction

Here is the source code for org.eclipse.rcptt.ui.editors.ecl.EditorToolkit.java

Source

/*******************************************************************************
 * Copyright (c) 2009, 2014 Xored Software Inc 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:
 *     Xored Software Inc - initial API and implementation and/or initial documentation
 *******************************************************************************/
package org.eclipse.rcptt.ui.editors.ecl;

import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.resource.JFaceResources;
import org.eclipse.jface.text.rules.IPartitionTokenScanner;

public abstract class EditorToolkit {

    private final ColorManager colorManager = new ColorManager();

    public ColorManager getColorManager() {
        return colorManager;
    }

    public String getEditorTextFont() {
        return JFaceResources.TEXT_FONT;
    }

    public abstract IPreferenceStore getPreferenceStore();

    public abstract String[] getContentTypes();

    public abstract EnhancedRuleScanner getScanner(String ct);

    public abstract String[] getPartitions();

    public abstract IPartitionTokenScanner getPartitionScanner();

    public void dispose() {
        colorManager.dispose();
    }
}