src/Config/Config_Keywords.h

   1 /*
   2  * Config_Keywords.h
   3  *
   4  *  Created on: Apr 2, 2014
   5  *      Author: sbh
   6  */
   7
   8 #ifndef CONFIG_KEYWORDS_H_
   9 #define CONFIG_KEYWORDS_H_
  10
  11 /*
  12  * Hardcoded xml entities of plugin-*.xml
  13  */
  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";
  18
  19 //Widgets
  20 const static char* WDG_DOUBLEVALUE = "doublevalue";
  21 const static char* WDG_BOOLVALUE = "boolvalue";
  22 //Widget containers
  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";
  31
  32 //Specific widget containers
  33 const static char* WDG_POINT_SELECTOR = "point_selector";
  34 const static char* WDG_POINT2D_DISTANCE = "point2ddistance";
  35
  36 const static char* WDG_FEATURE_SELECTOR = "feature_selector";
  37
  38 const static char* _ID = "id";
  39 //const static char* WORKBENCH_ID = "id";
  40 //const static char* GROUP_ID = "id";
  41 //const static char* FEATURE_ID = "id";
  42 const static char* FEATURE_TEXT = "title";
  43 const static char* FEATURE_TOOLTIP = "tooltip";
  44 const static char* FEATURE_ICON = "icon";
  45 const static char* FEATURE_KEYSEQUENCE = "keysequence";
  46 const static char* FEATURE_NESTED = "nested";
  47 const static char* FEATURE_INTERNAL = "internal";
  48 const static char* SOURCE_FILE = "path";
  49
  50
  51 // doublevalue properties:
  52 const static char* INFO_WDG_TEXT = FEATURE_TEXT;
  53 const static char* INFO_WDG_TOOLTIP = FEATURE_TOOLTIP;
  54 const static char* DOUBLE_WDG_MIN = "min";
  55 const static char* DOUBLE_WDG_MAX = "max";
  56 const static char* DOUBLE_WDG_STEP = "step";
  57 const static char* DOUBLE_WDG_DFLT = "default";
  58
  59 //toolbox/switch properties
  60 const static char* CONTAINER_PAGE_NAME = "title";
  61
  62
  63 /*
  64  * Hardcoded xml entities of plugins.xml
  65  */
  66 const static char* NODE_PLUGIN = "plugin";
  67 const static char* NODE_PLUGINS = "plugins";
  68
  69 const static char* PLUGINS_MODULE = "module";
  70 const static char* PLUGIN_CONFIG = "configuration";
  71 const static char* PLUGIN_LIBRARY = "library";
  72
  73 #endif /* CONFIG_KEYWORDS_H_ */