public class SearchResultsConstants
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
APPLY_BUTTON_ID |
static boolean |
BOOLEAN_FALSE |
static boolean |
BOOLEAN_TRUE |
static SearchResultsButtonAttr[] |
BUTTON_ATTR |
static int |
CANCEL_BUTTON_ID |
static java.lang.String |
DEFAULT_TITLE |
static java.lang.String |
ERRMSG_BUTTON_ATTR_TABLE_LOAD_ERROR |
static java.lang.String |
ERRMSG_FIELD_ATTR_TABLE_LOAD_ERROR |
static java.lang.String |
ERRMSG_UNRECOGNIZED_BUTTON_ID_1 |
static SearchResultsFieldAttr[] |
FIELD_ATTR |
static java.lang.String |
GENERAL_HELP_FRAME_TITLE |
static java.lang.String |
GENERAL_HELP_INFO_TEXT |
static java.lang.String |
GENERAL_SEARCH_TITLE_LITERAL_1 |
static java.lang.String |
GUI_EDIT_MENU_COPY_ITEM_TEXT |
static java.lang.String |
GUI_EDIT_MENU_CUT_ITEM_TEXT |
static java.lang.String |
GUI_EDIT_MENU_PASTE_ITEM_TEXT |
static int |
HELP_BUTTON_ID |
static int |
MINUS_BUTTON_ID |
static int |
NBR_BUTTONS |
static int |
PA_BUTTON_ID |
static int |
PLUS_BUTTON_ID |
static java.lang.String |
POPUP_ERROR_MESSAGE_TITLE |
static java.lang.String |
SEARCH_RESULTS_ERROR_TITLE |
static java.lang.String |
SEARCH_RESULTS_POPUP_APPLY_BUTTON_CAPTION |
static java.lang.String |
SEARCH_RESULTS_POPUP_SELECTION_CAPTION |
static int |
SEARCH_SELECTION_FIELD_ID |
static java.lang.String |
SELECTION_NO_SEARCH_RUN_YET_LITERAL |
static int |
SO_BUTTON_ID |
static java.lang.String |
STEP_SEARCH_TITLE_LITERAL_1 |
static java.lang.String |
STEP_SEARCH_TITLE_STEP_LITERAL |
static java.lang.String |
STRING_FALSE |
static java.lang.String |
STRING_TRUE |
static java.lang.String |
TITLE_LOC_AFTER_LITERAL |
static java.lang.String |
TITLE_STMT_LITERAL |
static java.lang.String |
TITLE_THEOREM_LITERAL |
static java.lang.String |
TOOL_TIP_APPLY |
static java.lang.String |
TOOL_TIP_CANCEL |
static java.lang.String |
TOOL_TIP_HELP |
static java.lang.String |
TOOL_TIP_MINUS |
static java.lang.String |
TOOL_TIP_PA |
static java.lang.String |
TOOL_TIP_PLUS |
static java.lang.String |
TOOL_TIP_SEARCH_SELECTION |
static java.lang.String |
TOOL_TIP_SO |
Constructor and Description |
---|
SearchResultsConstants() |
public static final int SEARCH_SELECTION_FIELD_ID
public static java.lang.String STRING_TRUE
public static java.lang.String STRING_FALSE
public static boolean BOOLEAN_TRUE
public static boolean BOOLEAN_FALSE
public static final java.lang.String TOOL_TIP_SEARCH_SELECTION
public static final SearchResultsFieldAttr[] FIELD_ATTR
public static final int APPLY_BUTTON_ID
public static final int CANCEL_BUTTON_ID
public static final int PA_BUTTON_ID
public static final int SO_BUTTON_ID
public static final int HELP_BUTTON_ID
public static final int PLUS_BUTTON_ID
public static final int MINUS_BUTTON_ID
public static final int NBR_BUTTONS
public static final java.lang.String TOOL_TIP_APPLY
public static final java.lang.String TOOL_TIP_CANCEL
public static final java.lang.String TOOL_TIP_PA
public static final java.lang.String TOOL_TIP_SO
public static final java.lang.String TOOL_TIP_HELP
public static final java.lang.String TOOL_TIP_PLUS
public static final java.lang.String TOOL_TIP_MINUS
public static final SearchResultsButtonAttr[] BUTTON_ATTR
public static final java.lang.String GUI_EDIT_MENU_CUT_ITEM_TEXT
public static final java.lang.String GUI_EDIT_MENU_COPY_ITEM_TEXT
public static final java.lang.String GUI_EDIT_MENU_PASTE_ITEM_TEXT
public static final java.lang.String SEARCH_RESULTS_ERROR_TITLE
public static final java.lang.String ERRMSG_FIELD_ATTR_TABLE_LOAD_ERROR
public static final java.lang.String ERRMSG_BUTTON_ATTR_TABLE_LOAD_ERROR
public static final java.lang.String ERRMSG_UNRECOGNIZED_BUTTON_ID_1
public static final java.lang.String SELECTION_NO_SEARCH_RUN_YET_LITERAL
public static final java.lang.String STEP_SEARCH_TITLE_LITERAL_1
public static final java.lang.String GENERAL_SEARCH_TITLE_LITERAL_1
public static final java.lang.String STEP_SEARCH_TITLE_STEP_LITERAL
public static final java.lang.String TITLE_THEOREM_LITERAL
public static final java.lang.String TITLE_LOC_AFTER_LITERAL
public static final java.lang.String TITLE_STMT_LITERAL
public static final java.lang.String DEFAULT_TITLE
public static final java.lang.String POPUP_ERROR_MESSAGE_TITLE
public static final java.lang.String SEARCH_RESULTS_POPUP_APPLY_BUTTON_CAPTION
public static final java.lang.String SEARCH_RESULTS_POPUP_SELECTION_CAPTION
public static final java.lang.String GENERAL_HELP_FRAME_TITLE
public static final java.lang.String GENERAL_HELP_INFO_TEXT