Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
Copyright (c) 2008 itemis AG ( 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 /
 package org.eclipse.xtext.ui.editor.syntaxcoloring;

Dennis H´┐Żbner - Initial contribution and API
	public static final String SYNTAX_COLORER_PREFERENCE_TAG = "syntaxColorer";
	public static final String TOKEN_STYLES_PREFERENCE_TAG = "tokenStyles";
	public static final String COLOR_SUFFIX = "color";
	public static final String BACKGROUNDCOLOR_SUFFIX = "bgColor";
	public static final String STYLE_SUFFIX = "style";
	public static final String FONT_SUFFIX = "font";
//	public static final String PREF_TASK_PRIORITIES = "xtext.taskTags"; //$NON-NLS-1$;
//	public static final String PREF_TASK_TAGS = "xtext.taskPriorities"; //$NON-NLS-1$
//	public static final String PREF_TASK_CASE_SENSITIVE = "xtext.taskCaseSensitive"; //$NON-NLS-1$
//	public static final String PRIORITY_HIGH = "HIGH"; //$NON-NLS-1$;
//	public static final String PRIORITY_NORMAL = "NORMAL"; //$NON-NLS-1$L;
//	public static final String PRIORITY_LOW = "LOW"; //$NON-NLS-1$
//	public static final String DEFAULT_TASK_TAGS = "TODO,FIXME,XXX";
//	public static final String DEFAULT_TASK_PRIORITIES = "NORMAL,HIGH,NORMAL";
New to GrepCode? Check out our FAQ X