public interface LanguageToolsConstants
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CATEGORY_CHOICE |
static java.lang.String |
CATEGORY_EDITOR |
static java.lang.String |
CATEGORY_GRAPH |
static java.lang.String |
CATEGORY_INPUT |
static java.lang.String |
CATEGORY_TABLE |
static java.lang.String |
LANGUAGE_TOOLS_PLUGIN_ID |
static java.lang.String |
TEXT_INPUT_VIEW_ID |
static java.lang.String |
TREEBANK_EDIT_VIEW_ID |
static java.lang.String |
TREEBANK_EXPLORER_SELECTION_CHANGED |
static java.lang.String |
TREEBANK_EXPLORER_VIEW_ID |
static java.lang.String |
TREEBANK_MANAGER_PERSPECTIVE_ID |
static java.lang.String |
TREEBANK_PROPERTIES_VIEW_ID |
static final java.lang.String LANGUAGE_TOOLS_PLUGIN_ID
static final java.lang.String TREEBANK_MANAGER_PERSPECTIVE_ID
static final java.lang.String TEXT_INPUT_VIEW_ID
static final java.lang.String TREEBANK_EXPLORER_VIEW_ID
static final java.lang.String TREEBANK_EDIT_VIEW_ID
static final java.lang.String TREEBANK_PROPERTIES_VIEW_ID
static final java.lang.String TREEBANK_EXPLORER_SELECTION_CHANGED
static final java.lang.String CATEGORY_EDITOR
static final java.lang.String CATEGORY_INPUT
static final java.lang.String CATEGORY_GRAPH
static final java.lang.String CATEGORY_TABLE
static final java.lang.String CATEGORY_CHOICE