| /*=============================================================================# |
| # Copyright (c) 2006, 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.nico.ui; |
| |
| import java.util.EnumSet; |
| |
| import org.eclipse.swt.graphics.RGB; |
| |
| import org.eclipse.statet.ecommons.preferences.core.Preference; |
| import org.eclipse.statet.ecommons.preferences.core.Preference.IntPref; |
| import org.eclipse.statet.ecommons.preferences.ui.RGBPref; |
| |
| import org.eclipse.statet.nico.core.runtime.SubmitType; |
| |
| |
| public class NicoUIPreferences { |
| |
| |
| public static final String QUALIFIER= NicoUI.BUNDLE_ID + "/console"; //$NON-NLS-1$ |
| |
| public static final String OUTPUT_QUALIFIER= QUALIFIER + "/output"; //$NON-NLS-1$ |
| |
| |
| public static final Preference<Integer> OUTPUT_CHARLIMIT_PREF= new IntPref( |
| OUTPUT_QUALIFIER, "CharLimit.num"); //$NON-NLS-1$ |
| |
| |
| public static final String OUTPUT_INFO_STREAM_ROOT_KEY= "InfoStream"; //$NON-NLS-1$ |
| public static final String OUTPUT_STD_INPUT_STREAM_ROOT_KEY= "StdInputStream"; //$NON-NLS-1$ |
| public static final String OUTPUT_STD_OUTPUT_ROOT_KEY= "StdOutputStream"; //$NON-NLS-1$ |
| public static final String OUTPUT_STD_ERROR_STREAM_ROOT_KEY= "StdErrorStream"; //$NON-NLS-1$ |
| public static final String OUTPUT_SYSTEM_OUTPUT_STREAM_ROOT_KEY= "SystemOutputStream"; //$NON-NLS-1$ |
| |
| public static final String OUTPUT_FILTER_SUBMITTYPES_INCLUDE_KEY= "Filter.SubmitTypes.include"; //$NON-NLS-1$ |
| public static final Preference<EnumSet<SubmitType>> OUTPUT_FILTER_SUBMITTYPES_INCLUDE_PREF= new Preference.EnumSetPref<>( |
| OUTPUT_QUALIFIER, OUTPUT_FILTER_SUBMITTYPES_INCLUDE_KEY, SubmitType.class ); |
| |
| public static final String OUTPUT_OTHER_TASKS_BACKGROUND_ROOT_KEY= "OtherTasks.Background"; //$NON-NLS-1$ |
| public static final String OUTPUT_OTHER_TASKS_BACKGROUND_COLOR_KEY= OUTPUT_OTHER_TASKS_BACKGROUND_ROOT_KEY + ".color"; //$NON-NLS-1$ |
| public static final Preference<RGB> OUTPUT_OTHER_TASKS_BACKGROUND_COLOR_PREF= new RGBPref( |
| OUTPUT_QUALIFIER, OUTPUT_OTHER_TASKS_BACKGROUND_COLOR_KEY ); |
| |
| |
| } |