explorer_body.RdYou usually don't want to call this module explicitly.
explorer_body_ui(id) explorer_body(input, output, session, .values, .children_r, .root_node_r, .explorer_classes, .explorer_class_returns, .explorer_rvs, .addable_explorer_classes_r, .visible_explorer_classes_r, .label_list)
| id | Module id. |
|---|---|
| input, output, session | Called by |
| .values | The |
| .children_r |
|
| .root_node_r | A |
| .explorer_classes | A |
| .explorer_rvs | |
| .addable_explorer_classes_r | A |
| .visible_explorer_classes_r | A |
| .label_list | A |
#' .explorer_rvs must provide the following elements:
current_node | ExplorerNode, which is currently
selected in explorer. |
contextmenued_node | ExplorerNode, which has been
last contextmenued. |
module_ids | List with one entry per
unique explorer class. |