| /*=============================================================================# |
| # Copyright (c) 2012, 2019 Stephan Wahlbrink and others. |
| # |
| # This program and the accompanying materials are made available under the |
| # terms of the Eclipse Public License 2.0 which is available at |
| # https://www.eclipse.org/legal/epl-2.0, or the Apache License, Version 2.0 |
| # which is available at https://www.apache.org/licenses/LICENSE-2.0. |
| # |
| # SPDX-License-Identifier: EPL-2.0 OR Apache-2.0 |
| # |
| # Contributors: |
| # Stephan Wahlbrink <sw@wahlbrink.eu> - initial API and implementation |
| #=============================================================================*/ |
| |
| package org.eclipse.statet.r.ui.editors; |
| |
| import org.eclipse.statet.ecommons.preferences.core.Preference.BooleanPref; |
| |
| import org.eclipse.statet.internal.r.ui.RUIPreferenceInitializer; |
| |
| |
| public class REditorBuild { |
| |
| |
| public static final String GROUP_ID = "r/r.editor/build.options"; //$NON-NLS-1$ |
| |
| |
| public static final BooleanPref PROBLEMCHECKING_ENABLED_PREF = new BooleanPref( |
| RUIPreferenceInitializer.REDITOR_NODE, "ProblemChecking.enabled"); //$NON-NLS-1$ |
| |
| |
| public static final String ERROR_ANNOTATION_TYPE = "org.eclipse.statet.r.ui.error"; //$NON-NLS-1$ |
| public static final String WARNING_ANNOTATION_TYPE = "org.eclipse.statet.r.ui.warning"; //$NON-NLS-1$ |
| public static final String INFO_ANNOTATION_TYPE = "org.eclipse.statet.r.ui.info"; //$NON-NLS-1$ |
| |
| } |
