/*=============================================================================#
# Copyright (c) 2015-2016 Stephan Wahlbrink (WalWare.de) 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:
# Stephan Wahlbrink - initial API and implementation
#=============================================================================*/
package de.walware.docmlet.tex.ui;
public class TexUI {
public static final String PLUGIN_ID= "de.walware.docmlet.tex.ui"; //$NON-NLS-1$
public static final String EDITOR_CONTEXT_ID= "de.walware.docmlet.tex.contexts.TexEditor"; //$NON-NLS-1$
public static final String BASE_PREF_PAGE_ID= "de.walware.docmlet.tex.preferencePages.Tex"; //$NON-NLS-1$
public static final String EDITOR_PREF_PAGE_ID= "de.walware.docmlet.tex.preferencePages.TexEditor"; //$NON-NLS-1$
}