4 * Created on: Apr 2, 2014
8 #ifndef CONFIG_KEYWORDS_H_
9 #define CONFIG_KEYWORDS_H_
12 * Hardcoded xml entities of plugin-*.xml
14 const static char* NODE_WORKBENCH = "workbench";
15 const static char* NODE_GROUP = "group";
16 const static char* NODE_FEATURE = "feature";
17 const static char* NODE_SOURCE = "source";
20 const static char* WDG_DOUBLEVALUE = "doublevalue";
21 const static char* WDG_BOOLVALUE = "boolvalue";
23 const static char* WDG_INFO = "label";
24 const static char* WDG_GROUP = "groupbox";
25 const static char* WDG_CHECK_GROUP = "check_groupbox";
26 const static char* WDG_TOOLBOX = "toolbox";
27 const static char* WDG_TOOLBOX_BOX = "box";
28 const static char* WDG_SWITCH = "switch";
29 const static char* WDG_SWITCH_CASE = "case";
30 const static char* WDG_SELECTOR = "selector";
32 //Specific widget containers
33 const static char* WDG_POINT_SELECTOR = "point_selector";
34 const static char* WDG_POINT2D_DISTANCE = "point2ddistance";
36 const static char* WDG_FEATURE_SELECTOR = "feature_selector";
37 const static char* WDG_FEATURE_OR_ATTRIBUTE_SELECTOR = "feature_or_attribute_selector";
38 const static char* WDG_DOUBLEVALUE_EDITOR = "doublevalue_editor";
40 const static char* _ID = "id";
41 //const static char* WORKBENCH_ID = "id";
42 //const static char* GROUP_ID = "id";
43 //const static char* FEATURE_ID = "id";
44 const static char* FEATURE_TEXT = "title";
45 const static char* FEATURE_TOOLTIP = "tooltip";
46 const static char* FEATURE_ICON = "icon";
47 const static char* FEATURE_KEYSEQUENCE = "keysequence";
48 const static char* FEATURE_NESTED = "nested";
49 const static char* FEATURE_INTERNAL = "internal";
50 const static char* SOURCE_FILE = "path";
52 const static char* PREVIOUS_FEATURE_PARAM = "previous_feature_param";
54 // doublevalue properties:
55 const static char* INFO_WDG_TEXT = FEATURE_TEXT;
56 const static char* INFO_WDG_TOOLTIP = FEATURE_TOOLTIP;
57 const static char* DOUBLE_WDG_MIN = "min";
58 const static char* DOUBLE_WDG_MAX = "max";
59 const static char* DOUBLE_WDG_STEP = "step";
60 const static char* DOUBLE_WDG_DFLT = "default";
62 //toolbox/switch properties
63 const static char* CONTAINER_PAGE_NAME = "title";
67 * Hardcoded xml entities of plugins.xml
69 const static char* NODE_PLUGIN = "plugin";
70 const static char* NODE_PLUGINS = "plugins";
72 const static char* PLUGINS_MODULE = "module";
73 const static char* PLUGIN_CONFIG = "configuration";
74 const static char* PLUGIN_LIBRARY = "library";
76 #endif /* CONFIG_KEYWORDS_H_ */