{\r
if(!isElementNode(theNode))\r
return false;\r
- // it's parent is "feature" or "source"\r
- if(!hasParent(theNode, NODE_FEATURE, NODE_SOURCE, \r
+ // it's parent is "feature" or "source" or a page ("box", "case")\r
+ if(!hasParent(theNode, NODE_FEATURE, NODE_SOURCE, WDG_GROUP,\r
WDG_TOOLBOX_BOX, WDG_SWITCH_CASE, NULL))\r
return false;\r
\r